Format:
Online-Ressource (X, 496 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540372608
Series Statement:
Lecture notes in computer science 54
Content:
Section I the common programming language effort of the department of defense -- Section II data types -- Section III parallel processing, machine dependency and program verification -- Section IV programming language specifications, optimization and run-time support systems -- A note on "pointers" -- Some issues in data types and type checking -- Models of data objects and data types -- Encapsulated data types and generic procedures -- Run-time checking of data access in pascal-like languages -- A language design for structured concurrency -- Language features for parallel processing and resource control -- Separate definition and compilation in lis and its implementation -- Requirements for real-time languages -- Remarks on the impact of program verification on language design -- Target computer independent optimization procedures for metacompilers -- The need for optimization standards -- A reminder for language designers -- The tinman and communications applications -- Programming language design issues -- Parallel processing and modular software construction -- After-dinner speech -- Tinman needed characteristics.
Note:
Literaturangaben
Additional Edition:
ISBN 354008360X
Additional Edition:
ISBN 038708360X
Additional Edition:
ISBN 9783540083603
Additional Edition:
Druckausg. Design and implementation of programming languages Berlin : Springer, 1977 ISBN 354008360X
Additional Edition:
ISBN 038708360X
Language:
English
Subjects:
Computer Science
,
Economics
Keywords:
Programmiersprache
;
Programmiersprache
;
Programmiersprache
;
Entwurf
;
Ausführung
;
Programmiersprache
;
Implementierung
;
Informatik
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink