Occurrences in debugger specifications
| Author(s) : | Yves Bertot, |
| Publisher : | N/A |
| Publication Date : | 1991 |
| ISSN : | N/A |
| Abstract : | We describe formal manipulations of programming language semantics that permit execution animation for interpreters. We first study the use of occurrences in the-calculus and we describe an implementation of the notion of residuals. We then describe applications in the development of interpreters for the lazy-calculus and the parallel language Occam. 1., |