Action semantics-directed prototyping
- 31 October 1993
- journal article
- Published by Elsevier in Computer Languages
- Vol. 19 (4) , 213-233
- https://doi.org/10.1016/0096-0551(93)90008-o
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Provably Correct Compiler GenerationDAIMI Report Series, 1992
- An Introduction to Action SemanticsDAIMI Report Series, 1991
- Category-sorted algebra-based action semanticsTheoretical Computer Science, 1990
- Strictness analysis for higher-order functionsScience of Computer Programming, 1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Control Flow Aspects of Semantics-Directed CompilingACM Transactions on Programming Languages and Systems, 1983