Detecting stack-based environments in denotational definitions
- 31 December 1988
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 11 (2) , 107-131
- https://doi.org/10.1016/0167-6423(88)90001-9
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- Denotational semantics: By D.A. Schmidt. Prentice-Hall, London, 1986, Price £15.95, ISBN 0 205 10450 9Science of Computer Programming, 1988
- Detecting stack-based environments in denotational definitionsScience of Computer Programming, 1988
- An experiment in partial evaluationACM SIGPLAN Notices, 1985
- Detecting global variables in denotational specificationsACM Transactions on Programming Languages and Systems, 1985
- Control Flow Aspects of Semantics-Directed CompilingACM Transactions on Programming Languages and Systems, 1983
- Formal specification and software development: By Dines BjØ and Cliff B. Jones. Prentice-Hall International Inc., London, 1992. x+501 pp.Science of Computer Programming, 1982
- Pebble games for studying storage sharingTheoretical Computer Science, 1982
- The serializability of concurrent database updatesJournal of the ACM, 1979
- Semantics of the Domain of Flow DiagramsJournal of the ACM, 1977
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973