Umfang:
Online-Ressource
ISBN:
9783540389330
Serie:
Lecture Notes in Computer Science 177
Inhalt:
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.
Anmerkung:
Literaturangaben
Weitere Ausg.:
ISBN 9783540133780
Weitere Ausg.:
Buchausg. u.d.T. Bekič, Hans Programming languages and their definition Berlin : Springer, 1984 ISBN 354013378X
Weitere Ausg.:
ISBN 038713378X
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Programmiersprache
;
Programmiersprache
;
Definition
;
Bekič, Hans 1936-1982
;
Programmiersprache
;
Semantik
;
Programmiersprache
;
Formale Beschreibung
;
Programmiersprache
;
Programmiersprache
;
Programmiersprache
;
Definition
;
Bekič, Hans 1936-1982
;
Programmiersprache
;
Semantik
;
Aufsatzsammlung
;
Bibliografie
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink