Shapiro, E. (1983) Algorithmic Program Debugging. Cambridge, MA, MIT Press.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Molecular Computing Machines - Yaakov Benenson Ehud Self-citation (Shapiro) (Correct)
No context found.
Shapiro, E. Algorithmic Program Debugging; MIT Press: Cambridge, MA, 1982.
A Polynomial Approach to the - Constructive Induction Of (Correct)
No context found.
Shapiro, E. (1983) Algorithmic Program Debugging. Cambridge, MA, MIT Press.
Consistency-based diagnosis of configuration knowledge.. - Felfernig, Friedrich.. (2004) (7 citations) (Correct)
No context found.
E. Shapiro, Algorithmic Program Debugging, MIT Press, Cambridge, MA, 1983.
Integrity Constraints in ILP using a Monte - Carlo Approach Al'ipio (Correct)
No context found.
Shapiro, E. Y., (1982) Algorithmic Program Debugging, MIT Press, Cambridge MA.
Active Relational Rule Learning in a Constrained Confidence-Rated.. - Hoche (2004) (Correct)
No context found.
Shapiro, E. (1983). Algorithmic Program Debugging. MIT Press, Camebridge, MA.
Molecular Structure Databases - Darrell Conklin In (Correct)
No context found.
Shapiro, E. Y. 1983. Algorithmic program debugging. The MIT Press.
From Extensional to Intensional Knowledge: Inductive Logic.. - Flach (1998) (1 citation) (Correct)
No context found.
E.Y. Shapiro. Algorithmic program debugging. MIT Press, 1983.
Towards Program Synthesis From A Small Example Set - Lubo Popelnsk Masaryk (1994) (1 citation) (Correct)
No context found.
Shapiro Y.: Algorithmic Program Debugging. MIT Press, 1983.
On the Role of Functional-logic Languages for the.. - Herranz-Nieva.. (2000) (Correct)
No context found.
E.Y. Shapiro. Algorithmic Program Debugging. The MIT Press, 1982.
Dynamic Value-Based Diagnosis System for Assembler Programs - Lin, Jiang, Fan, Zhang (Correct)
No context found.
E. Shapiro (1983). Algorithmic program debugging, MIT Press, Cambridge, MA.
Towards a Model for Automated Fault Localization in - Vhdl Designs Exploring (Correct)
No context found.
Ehud Shapiro, Algorithmic Program Debugging, MIT Press, Cambridge, Massachusetts, 1983.
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) (Correct)
No context found.
Ehud Y. Shapiro. Algorithmic Program Debugging. MIT Press, Cambridge, MA, 1983.
From Symptom to Cause: Localizing Errors in Counterexample.. - Ball, Naik, Rajamani (2003) (19 citations) (Correct)
No context found.
E. Y. Shapiro. Algorithmic Program Debugging. MIT Press, 1982. ACM Distinguished Dissertation.
An Assertion Language for Constraint Logic Programs - Puebla, Bueno, Hermenegildo (2000) (4 citations) (Correct)
No context found.
27 E. Shapiro. Algorithmic Program Debugging. ACM Distiguished Dissertation. MIT Press, 1982.
A Debugging Scheme for Declarative Equation Based Modeling.. - Bunus, Fritzson (2002) (Correct)
No context found.
Shapiro Ehud Y. Algorithmic Program Debugging. MIT Press (May). 1982.
An Assertion Language for Debugging of Constraint Logic.. - Puebla, Bueno.. (1997) (Correct)
No context found.
E. Shapiro. Algorithmic Program Debugging. ACM Distiguished Dissertation. MIT Press, 1982.
Debugging of Constraint Programs: The DiSCiPl.. - Deransart.. (Correct)
No context found.
12 E.Y. Shapiro. Algorithmic Program Debugging. The MIT Press, 1982.
Probabilistic Inductive Logic Programming - De Raedt, Kersting (2004) (1 citation) (Correct)
No context found.
E. Shapiro. Algorithmic Program Debugging. MIT Press, 1983.
Idempotent I/O for safe - Time Travel Zoltan (Correct)
No context found.
Ehud Y. Shapiro. Algorithmic Program Debugging. The MIT Press, Cambridge, Mass., 1983.
From Symptom to Cause: Localizing Errors in Counterexample.. - Ball, Naik, Rajamani (2003) (19 citations) (Correct)
No context found.
E. Y. Shapiro. Algorithmic Program Debugging.MIT Press, 1982. ACM Distinguished Dissertation.
Learning Inequated Range Restricted Horn Expressions - Arias, Khardon (2000) (1 citation) (Correct)
No context found.
E. Y. Shapiro. Algorithmic Program Debugging. MIT Press, Cambridge, MA, 1983.
Causes and Effects in Computer Programs - Zeller (2003) (Correct)
No context found.
Ehud Y. Shapiro. Algorithmic Program Debugging. PhD thesis, MIT Press, 1982. ACM Distinguished Dissertation.
Cluster-based Concept Invention for Statistical Relational.. - Popescul, Ungar (2004) (Correct)
No context found.
E. Shapiro. Algorithmic Program Debugging. MIT Press, 1983.
Deploying Ontologies in Software Design - Kalfoglou (2000) (Correct)
No context found.
E.Y. Shapiro. Algorithmic Program Debugging. MIT Press, 1983.
A New Algorithm for Learning Range Restricted Horn Expressions - Arias, Khardon (2000) (1 citation) (Correct)
No context found.
E. Y. Shapiro. Algorithmic Program Debugging. MIT Press, Cambridge, MA, 1983.
First 50 documents Next 50
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