Bisimilarity for a first-order calculus of objects with subtyping

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1996, Pages 386-395

  Gordon, Andrew D ^a   Rees, Gareth D ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; ENCODING (SYMBOLS); EQUIVALENCE CLASSES; MATHEMATICAL MODELS; PROGRAMMING THEORY; THEOREM PROVING;

BISIMILARITY; CONTEXTUAL EQUIVALENCE; EQUATIONAL THEORY; FIRST ORDER CALCULUS; HOWE METHOD; LABELLED TRANSITION SYSTEM; OPERATIONAL EQUIVALENCE;

OBJECT ORIENTED PROGRAMMING;

EID: 0029709488     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/237721.237807     Document Type: Conference Paper

References (29)