Programming Languages And Operational Semantics

Semantics of Programming Languages: Structures and Techniques eBooks & eLearning

Posted by advisors at Jan. 22, 2015

Semantics of Programming Languages: Structures and Techniques By Carl A Gunter
1992 | 442 Pages | ISBN: 0262071436 | DJVU | 4 MB

Details

Semantics with applications: a formal introduction eBooks & eLearning

Posted by insetes at Nov. 5, 2018

Semantics with applications: a formal introduction By Hanne Riis Nielson, Flemming Nielson
1999 | 250 Pages | ISBN: 0471929808 | PDF | 1 MB

Details

Action Semantics eBooks & eLearning

Posted by MoneyRich at Feb. 9, 2015

Action Semantics (Cambridge Tracts in Theoretical Computer Science) by Peter D. Mosses
English | Jan 19, 2010 | ISBN: 0511569866 | 393 pages | PDF | 7 MB

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 its comprehensibility and accessibility, and especially in the usefulness of its semantic descriptions of realistic programming languages.

Details

Modern Programming Languages: A Practical Introduction eBooks & eLearning

Posted by hill0 at Feb. 21, 2018

Details

Design Concepts in Programming Languages eBooks & eLearning

Posted by tot167 at Oct. 12, 2008

Franklyn A. Turbak, David K. Gifford “Design Concepts in Programming Languages"
The MIT Press | 2008-08-31 | ISBN: 0262201755 | 1200 pages | PDF | 4,5 MB

Details