Erwan Jahier, Mireille Ducassé, Olivier Ridoux  Home/Search
Context Related
| irisa.fr/lande/duc...elopstr2000.ps.gz cs.man.ac.uk/pub/T...0061jahier.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: irisa.fr/lande/...ireille_Ducasse (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Byrd's box model is a fine grained Prolog execution model that can be the basis of high level debugging tools. In this article, we provide a formal specification of Byrd's box model, based on an already existing operational and denotational continuation semantics for Prolog with cut. We show how this specification can be extended to specify richer Prolog trace models. To be able to experiment with various Prolog trace models, we translate these specifications into Prolog. This ... (Update)
Context of citations to this paper: More
...6 concludes. Related work includes that of Mycroft and Sharp [6, 7] on statically allocated functional languages, Jahier, Ducasse and Ridoux [5] on the semantics of Byrd Boxes and Charatonik, Gordon and Talbot [3] on the more general case of ambients with nite control. 2...
Cited by: More
Statically Allocated Prolog - Hardware Byrd Boxes - Mycroft (Correct)
Similar documents (at the sentence level):
12.5%: Specifying Trace Models With a Continuation Semantics - Jahier, Ducassé (Correct)
Active bibliography (related documents): More All
1.1: Specifying Byrd's Box Model with a Continuation Semantics - Jahier, Ducassé.. (2000) (Correct)
0.5: Generic Program Monitoring by Trace Analysis - Jahier, al. (2002) (Correct)
0.3: A general trace query mechanism based on Prolog - Ducassé (Correct)
Similar documents based on text: More All
0.6: An automated debugger for Mercury - Morphine 0.1 User and.. - Ducassé, Jahier (Correct)
0.6: An automated debugger for Mercury - Opium-M 0.1 User and.. - Ducassé, al. (Correct)
0.4: A Generic Approach to Monitor Program Executions - Jahier, Ducassé (1999) (Correct)
BibTeX entry: (Update)
Jahier, E., Ducasse, M. and Ridoux, O. Specifying Prolog Trace Models with a Continuation Semantics. Lecture Notes in Computer Science: LOPSTR Selected Papers, vol. 2042, Springer-Verlag, 2000. http://citeseer.ist.psu.edu/article/jahier00specifying.html More
@article{ jahier01specifying,
author = "Erwan Jahier and Mireille Ducass{\'e} and Olivier Ridoux",
title = "Specifying Prolog Trace Models with a Continuation Semantics",
journal = "Lecture Notes in Computer Science",
volume = "2042",
pages = "165--??",
year = "2001",
url = "citeseer.ist.psu.edu/article/jahier00specifying.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
233 Natural semantics (context) - Kahn - 1987
166 An overview of Prolog (context) - Nadathur, Miller - 1988
129 Transformation of logic programs: Foundations and techniques (context) - Pettorossi, Proietti - 1994
49 Denotational and operational semantics for Prolog - Debray, Mishra - 1988
48 Stepwise development of operational and denotational semanti.. (context) - Jones, Mycroft - 1984
47 The PSG system: From formal language definition to interacti.. (context) - Bahlke, Snelting - 1986
47 A logic programming approach to manipulating formulas and pr.. - Miller, Nadathur - 1987
39 Understanding the control flow of Prolog programs (context) - Byrd - 1980
28 A new approach to debugging optimized code (context) - Brooks, Hansen et al. - 1992
23 Semantics preserving transformation rules for Prolog (context) - Proietti, Pettorossi - 1991
20 Monitoring semantics: a formal framework for specifying (context) - Kishon, Hudak et al. - 1991
17 The compilation of Prolog and its execution with MALI - Brisset, Ridoux - 1992
14 Semantics-directed generation of a prolog compiler (context) - Consel, Khoo - 1991
13 ACM Transactions on Programming Languages and Systems (context) - Nicholson, Foo et al. - 1989
13 Continuation semantics for Prolog with cut - de Bruin, de Vink - 1989
12 Continuations in Prolog (context) - Brisset, Ridoux - 1993
10 Generating program animators from programming language seman.. (context) - Berry - 1991
9 A powerful Prolog trace package (context) - Eisenstadt - 1984
8 Semantics directed program execution monitoring (context) - Kishon, Hudak - 1995
8 Special issue on Synthesis (context) - Ducass'e, An et al. - 1999
7 A generator for language-specific debugging systems (context) - Bahlke, Moritz et al. - 1987
6 Correctness Proofs of Compilers and Debuggers: an Approach B.. (context) - Silva - 1991
6 Operational semantics of a focusing debugger - Bernstein, Stark - 1995
6 Tracing Prolog programs by source instrumentation is efficie.. (context) - Ducass'e, Noy'e - 2000
5 What's in a trace: The box model revisited - Tobermann, Beckstein - 1993
5 A generic approach to monitor program executions - Jahier, Ducass'e - 1999
4 A pragmatic reconstruction of Prolog (context) - Belleann'ee, Brisset et al. - 1999
4 Prolog computation model BPM and its debugger PROEDIT (context) - Moroshita, Numao - 1986
2 A matrix model for the flow of control in Prolog programs wi.. (context) - Matos - 1994
2 a Prolog Debugger for a refined box model (context) - Schleiermacher, Winkler et al. - 1990
Documents on the same site (http://www.irisa.fr/lande/ducasse/Mireille_Ducasse.html): More
Benchmarking a distributed intrusion detection system.. - Abily, Ducassé (2000) (Correct)
Handling Generic Intrusion Signatures is not Trivial - Pouzol, Ducassé (2000) (Correct)
Proof Obligations of the B Formal Method: Local Proofs Ensure.. - Ducassé, Rozé (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC