Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Class Notes for CS 819A4 -Spring 2003 8. Information Hiding and the Hypothetical
 

Summary: 175
Class Notes for CS 819A4 - Spring 2003
8. Information Hiding and the Hypothetical
Frame Rule
John C. Reynolds
Department of Computer Science
Carnegie Mellon University
Revised May 23, 2003
c
2003 John C. Reynolds

176
Parameterless Proper Procedures (with free variables)
Let k 1 ; : : : ; k n be identi ers that stand for commands. We intro-
duce judgements containing hypotheses about these identi ers:
fp 1 g k 1 fq 1 g; : : : ; fp n g k n fq n g ` fpg c fqg:
Then
; fp i g k i fq i g; 0 ` fp i g k i fq i g;
and
; fp n g k n fq n g ` fpg c fqg fp n g c n fq n g

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

 

Collections: Mathematics