Publications
Export 5 results:
Author Title Type [ Year
] Filters: Author is Salvatore Ruggieri [Clear All Filters]
, “Verification of Logic Programs”, J. Log. Program., vol. 39, pp. 125-176, 1999.
, “A Mediator Approach for Representing Knowledge”, Intelligent Multimedia Presentation Systems. Human Computer Interaction Letters, 1 (1): 32-38, April 1998., 1998.
, “Weakest Preconditions for Pure Prolog Programs”, Inf. Process. Lett., vol. 67, pp. 145-150, 1998.
, “Verification of Meta-Interpreters”, J. Log. Comput., vol. 7, pp. 267-303, 1997.
, “A Case Study in Logic Program Verification: the Vanilla Metainterpreter”, in GULP-PRODE, 1995, pp. 643-654.