Specification-based code generation

Proceedings of the Hawaii International Conference on System Science

Volumn 2, Issue , 1990, Pages 165-173

  Antoy, Sergio ^a   Forcheri, Paola ^a   Molfino, Maria Teresa ^a  

^a Northern Virginia Graduate Center   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES, SYMBOLIC; COMPUTER PROGRAMMING LANGUAGES; COMPUTER PROGRAMMING--ALGORITHMS;

ALGEBRAIC SPECIFICATIONS; CODE GENERATION; RECURSIVE REDUCTION STRATEGIES;

COMPUTER SOFTWARE;

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

References (34)