PROGRAMMING LANGUAGE CONSTRUCTS FOR WHICH IT IS IMPOSSIBLE TO OBTAIN GOOD HOARE AXIOM SYSTEMS.

J Assoc Comput Mach

Volumn 26, Issue 1, 1978, Pages 129-147

  Clarke Jr , Edmund Melson ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

EID: 0017793502     PISSN: 00045411     EISSN: None     Source Type: Journal    
DOI: 10.1145/322108.322121     Document Type: Conference Paper

References (17)