Semantics of program based on trace (1). Trace and semantic objects

Ruan Jian Xue Bao/Journal of Software

Volumn 9, Issue 5, 1998, Pages 366-370

  Wang, Yangbin ^a   Lu, Ruzhan ^a  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

BATCH DATA PROCESSING; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; FORMAL LANGUAGES;

ALGOL LIKE LANGUAGES; SEMANTIC DOMAIN; TRACE;

COMPUTATIONAL LINGUISTICS;

EID: 0032282862     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (6)