| 
|
QuoteRef: tennRD8_1976
topics >
all references >
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
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
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)