03210nam 22005895 450 99646613550331620200705001639.03-540-38933-410.1007/BFb0048933(CKB)1000000000230358(SSID)ssj0000325928(PQKBManifestationID)11246864(PQKBTitleCode)TC0000325928(PQKBWorkID)10265288(PQKB)10136761(DE-He213)978-3-540-38933-0(PPN)15519027X(EXLCZ)99100000000023035820121227d1984 u| 0engurnn|008mamaatxtccrProgramming Languages and their Definition[electronic resource] Selected Papers /by H. Bekic ; edited by C. B. Jones1st ed. 1984.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1984.1 online resource (XXXII, 254 p.) Lecture Notes in Computer Science,0302-9743 ;177Bibliographic Level Mode of Issuance: Monograph3-540-13378-X 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.Lecture Notes in Computer Science,0302-9743 ;177Mathematical logicProgramming languages (Electronic computers)Computer logicMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical logic.Programming languages (Electronic computers).Computer logic.Mathematical Logic and Formal Languages.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.005.131Bekic Hauthttp://id.loc.gov/vocabulary/relators/aut54367Jones C. Bedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466135503316Programming languages and their Definition345376UNISA