Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10-11 September 1979
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | |
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colección: | Lecture notes in computer science
79 |
| Materias: | |
| Acceso en línea: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Language design and programming methodology, proceedings of a symposium held in Sydney, Australia, 10-11 September 1979, edited by Jeffrey M. Tobias, Berlin, Springer-Verlag, 1980, 255 p., Lecture notes in computer science, 0-387-09745-7 • Language Design and Programming Methodology, Texte imprimé, 9783662190654 |
Tabla de Contenidos:
- The module: A system structuring facility in high-level programming languages
- The evolution of the unix time-sharing system
- Pascal versus C : A subjective comparison
- Why recursion?
- On the prime example of programming
- Describing the complete effects of programs
- Pattern-matching commands
- A language for describing concepts as programs
- A human movement language for computer animation
- Algebraic specifications and transition graphs
- Dasim1: A practical exercise in data abstraction
- The design of a successor to pascal
- Dopls: A new type of programming language
- A personal computer based on a high-level language
- An experiment in software science
- A critique of modula
- A comparison of two notations for process communication.