Programming Languages and their Definition [[electronic resource] ] : Selected Papers / / by H. Bekic ; edited by C. B. Jones

• Autore: Bekic H
• 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
• Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 177