Specification and correctness proof of a WAM extension with abstract type constraints

Formal Aspects of Computing

Volumn 8, Issue 4, 1996, Pages 428-462

  Beierle, C ^a   Borger, E ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; STRESSES;

ABSTRACT MACHINE; COMPILATION; TYPING; UNIFICATION;

LOGIC PROGRAMMING;

EID: 0030352309     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01213533     Document Type: Article

References (0)