komorowski%MIT-OZ@sri-unix.UUCP (03/24/84)
From: Jan <komorowski@MIT-OZ> [Forwarded from the MIT bboard by Laws@SRI-AI.] SEMINAR LOGIC PROGRAM DERIVATION Danny Krizanc Harvard University Tuesday, April 3, 1984 4 PM Aiken G23 Danny will present a work he has done in my course Technology of Logic Programming on program transformation. The method of Burstall and Darlington is translated into resolution-based theorem proving and applied to logic programs. The method is subsequently extended beyond the limits of the functional approach.
komorowski%MIT-OZ@sri-unix.UUCP (03/24/84)
From: Jan <komorowski@MIT-OZ> [Forwarded from the MIT bboard by Laws@SRI-AI.] COLLQUIUM APPLICATION OF PROLOG TO GENERATION OF TEST DATA FROM ALGEBRAIC SPECIFICATIONS Prof. Marie-Claude Gaudel Universite de Paris-Sud Monday, April 9, 1984 4 PM Aiken Lecture Hall Tea in Pierce 213 at 3:30 ABSTRACT: Functional testing or "black-box testing has been recognized for a long time as an important aspect of software validation. With the emrgence of formal specification methods it becomes possible to found functional testing on a rigorous basis. This lecture presents a method of generating sets of test data from algebraic specifications. The method has been impelemted using Prolog. It turns out that Prolog is avery well-suited tool for generating sets of test data in this context. Host : Professor Henryk Jan Komorowski