Author of the publication

The Use of Assertions in Algorithmic Debugging.

, , and . FGCS, page 573-581. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Unification-Free Execution of Logic Programs., and . SLP, page 78-86. IEEE-CS, (1985)Parametric Descriptive Types for CLP., , and . JFPLC, page 239-256. Hermes, (2001)Reduction goals in bottom-up recognition.. Automatentheorie und Formale Sprachen, volume 2 of Lecture Notes in Computer Science, page 294-300. Springer, (1973)A Contribution to Error Recovery.. MFCS, volume 32 of Lecture Notes in Computer Science, page 302-307. Springer, (1975)A Logic Programming Framework for Rough Sets., and . Rough Sets and Current Trends in Computing, volume 2475 of Lecture Notes in Computer Science, page 205-212. Springer, (2002)Modélisation du flot de données par des schémas d'attributs dans les programmes logiques., and . SPLT, (1984)Living with Inconsistency and Taming Nonmonotonicity., and . Datalog, volume 6702 of Lecture Notes in Computer Science, page 384-398. Springer, (2010)Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems., , and . PLILP, volume 631 of Lecture Notes in Computer Science, page 428-442. Springer, (1992)Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging., , and . AADEBUG, volume 749 of Lecture Notes in Computer Science, page 350-367. Springer, (1993)Two Aspects of Directional Types., and . ICLP, page 747-761. MIT Press, (1995)