Author of the publication

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

An Algorithm for Optimal Back-Striding in Prolog.. ICLP, page 147-158. MIT Press, (1990)A New Computation Rule for Prolog., and . Inf. Process. Lett., 27 (5): 249-252 (1988)A Look-Ahead Interpreter for Sequential Prolog and Its Implementation., and . FSTTCS, volume 287 of Lecture Notes in Computer Science, page 470-484. Springer, (1987)Network of browsers - a multi-processor computer., and . Parallel and Distributed Computing and Networks, page 416-421. IASTED/ACTA Press, (2004)A data-flow language for specifying business data processing applications., and . FPCA, page 203-212. ACM, (1981)Binary Translation: Static, Dynamic, Retargetable?, and . ICSM, page 340-349. IEEE Computer Society, (1996)Extension of Weakest Precondition Formalism to a Low Level Language., , and . FSTTCS, volume 287 of Lecture Notes in Computer Science, page 485-499. Springer, (1987)Model Checking an Object-Oriented Design., and . ICEIS (3), page 605-608. (2004)An Improved Data-Dependency-Based Backtracking Scheme for Prolog., , and . Inf. Process. Lett., 31 (4): 185-189 (1989)Automatic Retargetable Code Generation: A New Technique., and . FSTTCS, volume 241 of Lecture Notes in Computer Science, page 57-80. Springer, (1986)