Description |
1 online resource (x, 496 pages) |
Series |
Lecture notes in computer science ; 54 |
|
Lecture notes in computer science ; 54.
|
Contents |
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 |
Bibliography |
Includes bibliographical references |
Notes |
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL |
|
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL |
|
Print version record |
Subject |
Programming languages (Electronic computers) -- Congresses
|
|
Programming languages (Electronic computers)
|
|
Programmeertalen.
|
Genre/Form |
Conference papers and proceedings
|
Form |
Electronic book
|
Author |
Williams, John H., 1939-
|
|
Fisher, David A., 1942-
|
|
United States. Department of Defense
|
ISBN |
9783540372608 |
|
3540372601 |
|