Formal Semantics of Programming Languages | Zendy

Peter D. Mosses | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Formal Semantics of Programming Languages

Author(s) -

Peter D. Mosses

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.12.012

Subject(s) - programming language , computer science , semantics (computer science) , modularity (biology) , formal semantics (linguistics) , action semantics , operational semantics , denotational semantics , programming language theory , fifth generation programming language , programming paradigm , genetics , biology

These notes give an overview of the main frameworks that have been developed for specifying the formal semantics of programming languages. Some of the pragmatic aspects of semantic descriptions are discussed, including modularity, and potential applicability to visual and modelling languages. References to the literature provide starting points for further study

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research