Map
Index
Random
Help
th

Quote: program structures are semantically convertible if both compute the same function from the same set of primitive actions and predicates

topics > all references > references i-l > QuoteRef: ledgHF11_1975 , p. 632 [



Topic:
transformation of programs
Group:
program control

Note

two structures are semantically convertible if both compute the same function using the same set of primitive actions and predicates.


Related Topics up

Topic: transformation of programs (27 items)
Group: program control   (27 topics, 547 quotes)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.