Formal types and their application to dynamic arrays in PASCAL
| Autor: | Sergei Pokrovsky |
|---|---|
| Rok vydání: | 1976 |
| Předmět: |
Theoretical computer science
Computer science Programming language Object language Pascal (programming language) computer.software_genre Computer Graphics and Computer-Aided Design Very high-level programming language Language primitive Procedural programming High-level programming language Programming language specification Modular programming Programming domain First-generation programming language computer Software computer.programming_language |
| Zdroj: | ACM SIGPLAN Notices. 11:36-42 |
| ISSN: | 1558-1160 0362-1340 |
| Popis: | The formal type concept is presented as a means to uniformly introduce in the PASCAL language the dynamic array facility (which may be done as a pure extention) and formal procedure [4] specifications (which would require some changes in the standard language [1]). |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|