SYMBOLIC SEMANTICS AND PROGRAM REDUCTION.

IEEE Transactions on Software Engineering

Volumn SE-11, Issue 8, 1985, Pages 784-794

  Ambriola, Vincenzo ^a   Giannotti, Fosca ^a   Pedreschi, Dino ^a   Turini, Franco ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

ABSTRACT DATA TYPES; FUNCTIONAL PROGRAMS; PROGRAM TRANSFORMATIONS; SYMBOLIC EVALUATION;

AUTOMATA THEORY;

EID: 0022103804     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1985.232527     Document Type: Article

References (17)