Formal Semantics Of Programming Languages

The formal semantics of a language is given by a Mathematical Model to represent the possible computations described by the language.

There are many approaches to providing a formal semantics for programming languages. The three main classes of approach are:

Denotational Semantics , including Domain Theory ;

Operational Semantics , such as Abstract Machine Models , most famously the SECD Machine .

Axiomatic Semantics , for example Predicate Transformer Semantics and Algebraic Semantics ;

Other approaches include, for instance:

Action Semantics , which is a kind of hybrid of denotational and operational semantics;

Attribute Grammar s, used also for augmenting Regular or Context-free Grammars with Context-sensitive conditions, and for code generation;

Categorical Semantics (also called Functorial Semantics ), which is most easily understood as an algebraic semantics (and so is an axiomatic semantics), but which can also be understood as a kind of denotational semantics, and indeed familiarity with category theory is today a requirement for understanding most work in denotational semantics;

Concurrency Semantics , for example based on the Actor Model and Process Calculi ;

Game Semantics was proposed as a kind of denotational semantics, but it has a dynamical aspect that allows it to be understood as a kind of operational semantics.

Different formal semantics may be linked through Abstractions within the theory of Abstract Interpretation .

The field of formal semantics also studies the relations between different models, the relations between different approaches to meaning, and the relation between computation and the underlying mathematical structures, from fields such as Logic , Set Theory , Model Theory , Category Theory , etc.

It has close links with other areas of Computer Science such as Programming Language Design , Type Theory , Compiler s and Interpreter s, Program Verification and Model Checking .

EXTERNAL LINKS

Semantics with Applications

	CATEGORIES ABOUT FORMAL SEMANTICS OF PROGRAMMING LANGUAGES

	formal methods

	logic in computer science

	theoretical computer science

	formal specification languages

	formal semantics of programming languages

	semantics

	APPAREL
	BABY
	BEAUTY
	BOOKS
	CAR TOYS
	CELL PHONES
	DVD'S
	ELECTRONICS
	GOURMET FOOD
	GROCERIES
	HEALTH & PERSONAL
	HOME & GARDEN
	JEWELRY
	MUSIC
	MUSIC INSTRUMENTS
	OFFICE PRODUCTS
	SOFTWARE
	SPORTING GOODS
	TOOLS & HARDWARE
	TOYS
	VIDEO GAMES
	SHOPPING HOME

	MORE SHOPPING...

Information About

Formal Semantics Of Programming Languages