Inheritance of proofs

Theory and Practice of Object Systems

Volumn 4, Issue 1, 1998, Pages 51-69

  Hofmann, Martin ^a   Naraschewski, Wolfgang ^a   Steffen, Martin ^a   Stroup, Terry ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; THEOREM PROVING;

CURRY HOWARD ISOMORPHISM; OBJECT ORIENTED VERIFICATION;

OBJECT ORIENTED PROGRAMMING;

EID: 0031702570     PISSN: 10743227     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1096-9942(1998)4:1<51::AID-TAPO4>3.0.CO;2-A     Document Type: Article

References (55)