CALENDAR@IBM-SJ.ARPA (02/28/86)
IBM Almaden Research Center
650 Harry Road
San Jose, CA 95120-6099
CALENDAR
March 3, 1986 - March 7, 1986
Computer EXPRESSING INTERESTING PROPERTIES OF PROGRAMS
Science IN PROPOSITIONAL TEMPORAL LOGIC
Seminar P. Wolper, AT&T Bell Labs and Stanford University
Tues., Mar. 4 We show that the class of properties of programs
10:30 A.M. expressible in propositional temporal logic
B1-413 can be substantially extended if we assume
the programs to be data-independent.
Basically, a program is data-independent if its
behavior does not depend on the specific data it
operates upon. Our results significantly extend
the applicability of program verification and
synthesis methods based on propositional
temporal logic.
Host: M. Vardi