Formal operational semantics for SOFL

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

Volumn , Issue , 1997, Pages 52-61

  Ho Stuart, Chris ^a   Liu, Shaoying ^a  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FLOWCHARTING; OBJECT ORIENTED PROGRAMMING; PETRI NETS; SOFTWARE ENGINEERING;

FORMAL OPERATIONAL SEMANTICS; STRUCTURED OBJECT FORMAL LANGUAGE (SOFL);

FORMAL LANGUAGES;

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

References (9)