Custom cover image
Custom cover image

Programming Languages and Their Definition : H. Bekič (1936–1982) / edited by C. B. Jones

By: Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 177Publisher: Berlin, Heidelberg : Springer-Verlag, 1984Description: Online-RessourceISBN:
  • 9783540389330
Subject(s): Genre/Form: Additional physical formats: 9783540133780 | Buchausg. u.d.T.: Programming languages and their definition. Berlin : Springer, 1984. XXXII, 254 S.DDC classification:
  • 001.64/24 19
  • 005.131 23
LOC classification:
  • QA76.7
DOI: DOI: 10.1007/BFb0048933Online resources: Summary: 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.PPN: PPN: 1649202040Package identifier: Produktsigel: ZDB-1-SLN | ZDB-2-LNC | ZDB-2-SCS | ZDB-2-BAE | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT