Unifying Theories of Programming

Unifying Theories of Programming je knjiga o programskoj semantici.

Koristi AI

Sadržaj

1. 8 odnosi: Algebarska semantika, C. A. R. Hoare, Denotacijska semantika, Formalna semantika programskih jezika, Operacijska semantika, Računalni program, Računalo, 1998..

2. Knjige iz računarstva

Algebarska semantika

Algebarska semantika programskog jezika je oblik aksiomatske semantike zasnovan na algebarskim zakonima za opisivanje i zaključivanje o programskoj semantici na formalan način.

Pogledaj Unifying Theories of Programming i Algebarska semantika

C. A. R. Hoare

Sir Charles Antony Richard Hoare (Tony Hoare ili C.A.R. Hoare, rođen 11. siječnja, 1934.) je britanski računalni znanstvenik, najpoznatiji po razvitku quicksorta, najpopularnijeg algoritam sortiranja, 1960. Također je razvio Hoare logiku, te formalni jezik Communicating Sequential Processes (CSP), korišten za specificiranje interakcija konkurentnih procesa (uključujući problem večerajućih filozofa te kao inspiracija za programski jezik Occam.

Pogledaj Unifying Theories of Programming i C. A. R. Hoare

Denotacijska semantika

U računarstvu, denotacijska semantika ili denotativna semantikaKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str.

Pogledaj Unifying Theories of Programming i Denotacijska semantika

Formalna semantika programskih jezika

U teoretskom računarstvu, formalna semantika je disciplina koja se bavi rigoroznim matematičkim proučavanjem značenja programskih jezika i modela računanja.

Pogledaj Unifying Theories of Programming i Formalna semantika programskih jezika

Operacijska semantika

U računarstvu, operacijska semantika je način davanja značenja računalnim programima na matematički rigorozan način.

Pogledaj Unifying Theories of Programming i Operacijska semantika

Računalni program

Računalni program je skup uputa računalu što treba učiniti i kako to izvesti.

Pogledaj Unifying Theories of Programming i Računalni program

Računalo

right Računalo, razgovorno poznato i kao kompjutor ili kompjuter, uređaj je koji služi za izvršavanje matematičkih operacija ili kontrolnih operacija koje se mogu izraziti u numeričkom ili logičkom obliku.

Pogledaj Unifying Theories of Programming i Računalo

1998.

1998. (rimski MCMXCVIII), bila je devedeset i sedma godina 20. stoljeća te devedsto devedeset i sedma godina 2. tisućljeća.

Pogledaj Unifying Theories of Programming i 1998.

Vidi također

Knjige iz računarstva

• Compilers: Principles, Techniques, and Tools
• Concepts, Techniques, and Models of Computer Programming
• Essentials of Programming Languages
• Structure and Interpretation of Computer Programs
• The Art of Computer Programming
• Unifying Theories of Programming

Unijapedija je koncept kartu ili semantičke mreže, organizirana kao enciklopedija - rječnik. To daje kratku definiciju svakog pojma i njegovih odnosa.

Ovo je div online mentalnu kartu koja služi kao temelj za dijagrame koncept. To je besplatan za korištenje i svaki članak ili dokument se može skinuti. To je alat, izvor ili referenca za studij, istraživanje, obrazovanje, učenje ili poučavanje, koji se može koristiti od strane nastavnika, nastavnika, učenika ili studenta; za akademsku svijetu: za škole, osnovno, srednje, gimnazije, srednje tehničke stupnja, koledž, sveučilište, preddiplomskih, diplomskih i doktorskih stupnjeva; za radove, izvješća, projekte, ideje, dokumentacije, ankete, sažetke, odnosno rada. Ovdje je definicija, objašnjenje, opis ili značenje svako bitnije na kojem trebate informacije, kao i popis njihovih povezanih koncepata kao riječnika. Dostupan u Hrvatski, Engleski, Španjolski, Portugalski, Japanski, Kineski, Francuski, Njemački, Talijanski, Polirati, Nizozemski, Ruski, Arapski, Hindski, Švedski, Ukrajinski, Mađarski, Katalonski, Češki, Hebrejski, Danski, Finski, Indonezijski, Norveški, Rumunjski, Turski, Vijetnamski, Korejski, Thai, Grčki, Bugarski, Slovački, Litvanski, Filipinac, Latvijski, Estonski i Slovenski Više jezicima.

Informacije se temelje na člancima s Wikipedije i drugim projektima Wikimedije i dostupne su pod licencom Creative Commons Imenovanje-Dijeli pod istim uvjetima.

Zaklada Wikimedia ne podržava niti je povezana s Unijapedija.

Google Play, Android i logotip Google Playa zaštitni su znaci tvrtke Google Inc.

Sva prava pridržana