- BEJS8 D. Bjorner, A. P. Ershov, and N. D. Jones. Partial Evaluation and Mixed Computation. North- Holland, 1988. Google ScholarDigital Library
- Con89 C. Consel. The Schism Manual. Yale University, New Haven, USA, 1989.Google Scholar
- Con90 C. Consel. Binding time analysis for higher order untyped functional languages. A CM Conference on Lisp and Functional Programming, pages 264- 272, 1990. Google ScholarDigital Library
- CP89 W. Cook and J. Palsberg. A denotational semantics of inheritance and its correctness. OOPSLA 1989, SIGPLAN Notices ~~:10, 89. Google ScholarDigital Library
- DFH88 R. Kent Dybvig, D. P. Friedman, and C. T. Haynes. Expansion-passing style: A general macro mechanism. In Lisp and Symbolic Computation, 1, pages 53-75. Kluwer Academic Publishers, Netherlands, 1988.Google Scholar
- DMS84 N. M. Delisle, D. E. Menicosy, and M. D. Schwarts. Viewing a programming environment as a single tool. in Proc. o/ the A CM SIG- SOFT/SiGPLAN Software Engineering Symposium on Practical Software Development Environments, April 1984. ACM SIGPLAN Notices, Vol 19, No. 5, May 1984. Google ScholarDigital Library
- Gor79 M.J.C. Gordon. The Denotational Description o/Programming Languages. Springer, New York, 1979. Google ScholarDigital Library
- HO85 C.V. Hall and J. T. O'Donnell. Debugging in a side effect free programming environment. In Proc. 1985 SIGPLAN Symposium on Programming Languages and Programming environments, June 1985. Google ScholarDigital Library
- HW+90 P. Hudak, P. Wadler, et al. Report on the programming language haskell- a nonstrict, purely functional language. Tech. Report YALEU/DCS/RR-777, Yale University, April 1990.Google Scholar
- HY88 P. Hudak and J. Young. A collecting interpretation of expressions (without powerdomains). In Proceedings o/the 1988 A CM Symposium of Principles of Programming Languages. ACM, 1988. Google ScholarDigital Library
- KHC91 A. Kishon, P. Hudak, and C. Consel. Monitoring semantics: A formal framework for specifying, implementing and reasoning about execution monitors. Technical Report YALEU/DCS/RR- 850, Yale Univer~sity, New Haven, Connecticut, March 1991.Google ScholarDigital Library
- Kis91 A. Kishon. Monitoring Semantics: Theory and Practice of Semantics-directed Execution Monitoring. PhD thesis, Yale University, 1991. (Forthcoming). Google ScholarDigital Library
- Mog89 Eugenio Moggi. Computational lambda~calculus and monads. In Proceedings 1989 IEEE Symposium on Logic in Computer Science. IEEE, 1989. Google ScholarDigital Library
- OH88 J.T. O'Donnell and C. V. Hall. Debugging in applicative languages. In Lisp and Symbolic Computation, 1. Kluwer Academic Publishers, Netherlands, 1988.Google Scholar
- PN81 B. Plattner and J. Nievergelt. Monitoring program execution: A survey. IEEE Computer, pages 76-93, November 1981.Google Scholar
- Red88 U. Reddy. Objects as closures: Abstract semantics of object oriented languages. A CM Conference on Lisp and Functional Programming, 1988. Google ScholarDigital Library
- Rey72 J. C. Reynolds. Definitional interpreters for higher-order programming languages. Procs. A GM National Conference, pages 717-740, 1972. Google ScholarDigital Library
- Sch86 David A. Schmidt. Denotational Semantics. Win. C. Brown Publishers, Dubuque, Iowa, 1986.Google Scholar
- Sha82 E. Shapiro. Algorithmic Program Debugging. MIT Press, 1982. Google ScholarDigital Library
- SS89 S. Safra and E. Shapiro. Meta interpreters for real. In Concurrent Prolog, collected papers, volume 2. MiT Press, 1989. Google ScholarDigital Library
- Sto77 J.E. Stoy. Denotational Semantics: The Scott- Strachey Approach to Programming Language Theory. MIT Press, Cambridge, Massachusetts, 1977. Google ScholarDigital Library
- TA90 A.P. Tolmach and A. W. Appel. Debugging Standard ML without reverse engineering. In Proc. 1990 A CM Conference on Lisp and functional programming, June 1990. Google ScholarDigital Library
- Wad90 Philip L. Wadler. Comprehending monads. In Proceedings of the 1990 A CM Conference on Lisp and Functional Programming, 1990. Google ScholarDigital Library
Index Terms
- Monitoring semantics: a formal framework for specifying, implementing, and reasoning about execution monitors
Recommendations
A UTP semantics for Circus
AbstractCircus specifications define both data and behavioural aspects of systems using a combination of Z and CSP constructs. Previously, a denotational semantics has been given to Circus; however, a shallow embedding of Circus in Z, in which the mapping ...
Deriving Pretty-Big-Step Semantics from Small-Step Semantics
Proceedings of the 23rd European Symposium on Programming Languages and Systems - Volume 8410Big-step semantics for languages with abrupt termination and/or divergence suffer from a serious duplication problem, addressed by the novel 'pretty-big-step' style presented by Charguéraud at ESOP'13. Such rules are less concise than corresponding ...
Semantics and Runtime Monitoring of TLCharts
This paper describes the semi-formal semantics and a run-time monitoring technique for TLCharts, a visual specification language that combines the visual and intuitive appeal of non-deterministic Harel Statecharts with formal specifications written in ...
Comments