Occurrences in debugger specifications
Author: 
Yves BertotAuthors Info & Claims
References
[1]
J. HANNAN, D. MILLEa, "From Operational Semantics to Abstract Machines' Preliminary Results", Proceedings of the 1990 A CM Conference on Lisp and Functional Programming, Nice, France, June 1990, pp. 323-332.
[2]
H. BARENDREGT, The Lambda Calculus, Studies in Logic, North Holland (1984).
[3]
P. BoaaAS ET AL., "CENTAUR: the system", Proceedings of the ACM SIGSOFT'88: Third Symposium on Software Development Environments, Boston, Massachusetts, November 1988. (Also appears as INRIA Research Report no. 777.)
[4]
Y. BERTOT, "Implementation of an Interpreter for a Parallel Language in Centaur", Proceedings of the European Symposium On Programming, Copenhagen, Denmark, May 1990, pp. 57-69. (Also appears as INRIA Research Report no. 1076.)
[5]
M. SZABO, The Collected Papers of Gerhard Gentzen, Studies in Logic, North Holland, (1969).
[6]
S. ABRAMSKY, "The Lazy Lambda Calculus", Declarative Programming, D. Turner (Editor), Addison Wesley (1988).
[7]
D. CLEMENT, J. DEsPsYaoux, T. Dr.- srsYaoux, G. KAHN, "A Simple Applicative Language: Mini-ML", Proceedings of the 1986 ACM Conference on Lisp and Functional Programming, Cambridge, Massachusetts, August 1986.
[8]
INMOS LIMITED, OCCAM Programming Manual, Prentice Hall International Series in Computer Science (1984).
[9]
G. BOUDOL, "Computational semantics of term rewriting systems", Algebraic Methods in Semantics, M. Nivat, J. Reynolds (Editors), Cambridge University Press (1985).
[10]
T. DESPEYROUX, "Executable Specification of Static Semantics" Proceedings of ~;he International Symposium on Semantics of Data Types, June 1984, Sophia-Antipolis, France, Springer- Verlag LNCS 173.
[11]
I. ATTALI, P. FaANCHI-ZANNETTACCI, "Unification-free Execution of TYPOL Programs by Semantic Attributes Evaluation", Proceedings of the Fifth International Conference Symposium on Logic Programming, Seattle, The MIT Press, August 1988.
[12]
L. MARANGET, "Optimal Derivations in Weak Lambda-Calculi and in Orthogonal Terms Rewriting Systems.", Proceeding of the eightteenth A CM Symposium on Principles of Programming Languages, Orlando, Florida, January 1991, pp. 255-269.
Index Terms
- Occurrences in debugger specifications
Recommendations
The TLA Debugger
Software Engineering and Formal Methods. SEFM 2022 Collocated WorkshopsAbstractFormal methods have to meet developers where they are to achieve broad industrial adoption. Where is that? Today, many developers write software while debugging the program. This is the motivation for designing and developing a debugger for TLA. ...
Debugger Toolchain Validation via Cross-Level Debugging
ASPLOS '25: Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1Ensuring the correctness of debugger toolchains is of paramount importance, as they play a vital role in understanding and resolving programming errors during software development. Bugs hidden within these toolchains can significantly mislead developers. ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
June 1991
352 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/113446
- Editor:
- Richard L. Wexelblat
Copyright © 1991 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 May 1991
Published in SIGPLAN Volume 26, Issue 6
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations7Total Citations
- 360Total Downloads
- Downloads (Last 12 months)121
- Downloads (Last 6 weeks)21
Reflects downloads up to 08 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in