Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in …
"110" Result
Sort By:
Humans naturally acquire languages that connect meanings with pronunciations. Paul M. Pietroski presents an account of these distinctive languages as generative procedures that respect substantive constraints. Children acquire meaningful lexical items that can be combined, in ce…
Control flow semantics
by Vink, Erik de, Bakker, Jacobus W. de
fromFoundations of computing series
0
Type: Book