Skip header Section
Skip Bibliometrics Section
Pascal Compiler ValidationMay 1983
- Editors:
- Brian A. Wichmann,
- Z. J. Ciechanowicz
Abstract
No abstract available.
Cited By
Kats L, Vermaas R and Visser E Integrated language definition testing Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, (139-154)- Kats L, Vermaas R and Visser E (2011). Integrated language definition testing, ACM SIGPLAN Notices, 46:10, (139-154), Online publication date: 18-Oct-2011.
- Wirth N Recollections about the development of Pascal History of programming languages---II, (97-120)
- Wirth N Recollections about the development of Pascal The second ACM SIGPLAN conference on History of programming languages, (333-342)
- Wirth N (1993). Recollections about the development of Pascal, ACM SIGPLAN Notices, 28:3, (333-342), Online publication date: 1-Mar-1993.
- Armstrong J, Cho C, Shah S and Kosaraju C The VHDL validation suite Proceedings of the 27th ACM/IEEE Design Automation Conference, (2-7)
- King K and Crick D The development of a modula-2 validation suite Proceedings of the 28th annual ACM Southeast Regional Conference, (95-100)
Recommendations
Anatomy of a Small Pascal Compiler
An exceptionally compact Pascal Compiler was written. We explain how.
An algebraic specification of a Pascal compiler
There is a growing interest in abstract data types as a tool for specifying semantics of programming languages and for specifying translations. This paper present the first large scale experience in this area. An algebraic semantics of Pascal, using ...
The Intel labs Haskell research compiler
Haskell '13The Glasgow Haskell Compiler (GHC) is a well supported optimizing compiler for the Haskell programming language, along with its own extensions to the language and libraries. Haskell's lazy semantics imposes a runtime model which is in general difficult ...