A proposal for definitions in ALGOL
Recommendations
A modest proposal for vector extensions to ALGOL
Proceedings of the conference on Programming languages and compilers for parallel and vector machinesMachines that possess instructions that are actually “higher level” than high-level language statements require extensions to traditional programming language. This paper explores the kinds of extensions necessary for adequate access to the CDC STAR ...
Derivation of axiomatic definitions of programming languages from algorithmic definitions
Proceedings of ACM conference on Proving assertions about programsLanguage definitions by abstract interpreters are appropriate to the design and development of a language. Axiomatic definitions are more appropriate to proving program properties and verification of compilers. The proof methods of Manna and Ashcroft ...
Derivation of axiomatic definitions of programming languages from algorithmic definitions
Proceedings of ACM conference on Proving assertions about programsLanguage definitions by abstract interpreters are appropriate to the design and development of a language. Axiomatic definitions are more appropriate to proving program properties and verification of compilers. The proof methods of Manna and Ashcroft ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 196Total Downloads
- Downloads (Last 12 months)42
- Downloads (Last 6 weeks)6
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in