Denotational semantics for JSD

Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC

Volumn , Issue , 1997, Pages 72-80

  Yeung, W Lok ^a  

^a LINGNAN UNIVERSITY   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; DIFFERENTIATION (CALCULUS); FORMAL LOGIC;

COMMUNICATION SEQUENTIAL PROCESSES (CSP); DENOTATIONAL SEMANTICS; JACKSON SYSTEM DEVELOPMENT (JSD) METHOD;

COMPUTATIONAL LINGUISTICS;

EID: 0031354021     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)