Map
Index
Random
Help
th

QuoteRef: tennRD8_1976

topics > all references > ThesaHelp: references t-z



Topic:
formal methods and languages
Topic:
evaluation in an environment
ThesaHelp:
references t-z
ThesaHelp:
ACM references m-z
Topic:
procedures as data
Topic:
recursion
Topic:
referential transparency
Topic:
continuation
Topic:
semantics by an abstract machine
Topic:
exception handling by try..catch

Reference

Tennent, R.D., "The denotational semantics of programming languages", Communications of the ACM, 19, 8, pp. 437-453, August 1976. Google

Quotations
440 ;;Quote: referential transparency: expression can be replaced with another expression of same value
QuoteRef: tennRD8_1976 ;;440 abstraction expressions eg lambda expression whose value is a function with bound and free variables
QuoteRef: tennRD8_1976 ;;441 environment-- binding of values to identifiers
QuoteRef: tennRD8_1976 ;;443 goes into Scott's formulations of semantic functions
445 ;;Quote: allow side effects by semantic evaluation in terms of an environment and store
QuoteRef: tennRD8_1976 ;;446 change recursive functions into fixed-point form
447 ;;Quote: use continuations to handle side effects, abnormal exits, and gotos


Related Topics up

Topic: formal methods and languages (53 items)
Topic: evaluation in an environment (34 items)
ThesaHelp: references t-z (309 items)
ThesaHelp: ACM references m-z (280 items)
Topic: procedures as data (22 items)
Topic: recursion (16 items)
Topic: referential transparency (26 items)
Topic: continuation (16 items)
Topic: semantics by an abstract machine (38 items)
Topic: exception handling by try..catch (45 items)

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