Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
54 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Design and implementation of programming languages, proceedings of a DoD sponsored workshop, October, 1976, Ithaca, edited by John H. Williams and David A. Fisher, Berlin, Springer-Verlag, 1977, 1 volume (X-496 p.), Lecture notes in computer science, 0-387-08360-X • Design and Implementation of Programming Languages, Texte imprimé, 9783540083603 • Design and Implementation of Programming Languages, Texte imprimé, 9783662161388 |
Table des matières:
- 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.