Vai al contenuto principale della pagina
Autore: | Bekic H |
Titolo: | Programming Languages and their Definition [[electronic resource] ] : Selected Papers / / by H. Bekic ; edited by C. B. Jones |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1984 |
Edizione: | 1st ed. 1984. |
Descrizione fisica: | 1 online resource (XXXII, 254 p.) |
Disciplina: | 005.131 |
Soggetto topico: | Mathematical logic |
Programming languages (Electronic computers) | |
Computer logic | |
Mathematical Logic and Formal Languages | |
Programming Languages, Compilers, Interpreters | |
Logics and Meanings of Programs | |
Persona (resp. second.): | JonesC. B |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di contenuto: | Note on a test example for ALGOL60 compilers by D.E. Knuth -- The assignment to a type procedure identifier in ALGOL60 -- The meaning of names in PL/I -- Defining a language in its own terms -- Note on some problems concerning the PL/I manual and its re-writing -- Definable operations in general algebras, and the theory of automata and flowcharts -- Formalization of storage properties -- On the formal definition of programming languages -- A formal definition of a PL/I subset -- Mathematical semantics and compiler correctness -- Towards a mathematical theory of processes -- From comments arising from a lecture in Amsterdam, June 1972 -- The semantics of parallel processing -- Nondeterministic functions and the semantics of CSP -- Nondeterministic programs : An example -- A model of nondeterminism: Indexed sets and their equivalence. |
Titolo autorizzato: | Programming languages and their Definition |
ISBN: | 3-540-38933-4 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996466135503316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |