Share
VIDEOS 1 TO 50
Syntax Vs Semantics - Programming Languages
Syntax Vs Semantics - Programming Languages
Published: 2012/06/03
Channel: Udacity
Programming Languages: Semantics
Programming Languages: Semantics
Published: 2014/01/24
Channel: rucomputerscience
Semantics (computer science)
Semantics (computer science)
Published: 2016/01/22
Channel: WikiAudio
Lesson 1.5: Syntax and Semantics
Lesson 1.5: Syntax and Semantics
Published: 2015/06/13
Channel: Fitzle LLC
Formal Semantics - Programming Languages
Formal Semantics - Programming Languages
Published: 2012/06/03
Channel: Udacity
2. Operational Semantics
2. Operational Semantics
Published: 2013/10/31
Channel: Arnaldo Pedro Figueira Figueira
What is an Ontology
What is an Ontology
Published: 2011/04/04
Channel: SpryKnowledge
Syntax vs Semantics (Philosophical Distinctions)
Syntax vs Semantics (Philosophical Distinctions)
Published: 2015/09/20
Channel: Carneades.org
Denotational semantics
Denotational semantics
Published: 2015/12/30
Channel: Audiopedia
1. Semantics Overview
1. Semantics Overview
Published: 2013/10/31
Channel: Arnaldo Pedro Figueira Figueira
Programming Language   Operational Semantics
Programming Language Operational Semantics
Published: 2016/02/20
Channel: JOMARI VICTOR Hugo
Computational Semantics Computer Science Assignments & Homework Help
Computational Semantics Computer Science Assignments & Homework Help
Published: 2017/02/02
Channel: ComputerScienceAssignmentsHelp.Com
What Are Semantic Networks?
What Are Semantic Networks?
Published: 2014/05/23
Channel: Aidan Wood
CppCon 2015: John Lakos “Value Semantics: It ain
CppCon 2015: John Lakos “Value Semantics: It ain't about the syntax!, Part I"
Published: 2015/10/16
Channel: CppCon
Denotational Semantics The Scott Strachey Approach to Programming Language Theory Computer Science S
Denotational Semantics The Scott Strachey Approach to Programming Language Theory Computer Science S
Published: 2015/12/01
Channel: kyla
An Introduction to the Semantic Web
An Introduction to the Semantic Web
Published: 2016/03/07
Channel: Cambridge Semantics
Winter School on Denotational Semantics (30 Jan - 3 Feb, 2017) - Lecture 1
Winter School on Denotational Semantics (30 Jan - 3 Feb, 2017) - Lecture 1
Published: 2017/03/12
Channel: JetBrainsTV Russia
DPL Week 2 - 03 Operational Semantics
DPL Week 2 - 03 Operational Semantics
Published: 2012/10/11
Channel: Nat Tuck
Denotational Semantics The Scott Strachey Approach to Programming Language Theory Computer Science S
Denotational Semantics The Scott Strachey Approach to Programming Language Theory Computer Science S
Published: 2015/12/17
Channel: randy
Jean Yang on An Axiomatic Basis for Computer Programming
Jean Yang on An Axiomatic Basis for Computer Programming
Published: 2014/12/26
Channel: PapersWeLove
Syntax Vs Semantics Solution - Programming Languages
Syntax Vs Semantics Solution - Programming Languages
Published: 2012/06/03
Channel: Udacity
Denotational semantics
Denotational semantics
Published: 2016/01/22
Channel: WikiAudio
PROG1093 Project: Describing Syntax and Semantics
PROG1093 Project: Describing Syntax and Semantics
Published: 2016/11/10
Channel: Windelle John Vega
Semantics Computer Science Assignments & Homework help
Semantics Computer Science Assignments & Homework help
Published: 2017/01/25
Channel: ComputerScienceAssignmentsHelp.Com
Denotational Semantics The Scott Strachey Approach to Programming Language Theory Computer Science S
Denotational Semantics The Scott Strachey Approach to Programming Language Theory Computer Science S
Published: 2016/04/23
Channel: shawna
Denotational Semantics The Scott Strachey Approach to Programming Language Theory Computer Science S
Denotational Semantics The Scott Strachey Approach to Programming Language Theory Computer Science S
Published: 2015/11/13
Channel: George Anderson
Denotational Semantics The Scott Strachey Approach to Programming Language Theory Computer Science S
Denotational Semantics The Scott Strachey Approach to Programming Language Theory Computer Science S
Published: 2017/01/18
Channel: Summer Neilson
Memory: Connectionism and Semantic Networks
Memory: Connectionism and Semantic Networks
Published: 2014/09/09
Channel: East Tennessee State University
CSE 340 S16: 2-22-16 "Semantics Pt. 2"
CSE 340 S16: 2-22-16 "Semantics Pt. 2"
Published: 2016/02/23
Channel: Adam Doupé
Towards Universal Semantic Communication
Towards Universal Semantic Communication
Published: 2012/03/02
Channel: Purdue University
14 Denotational Cost Semantics for Functional Languages with Inductive Types
14 Denotational Cost Semantics for Functional Languages with Inductive Types
Published: 2015/09/03
Channel: ICFP Video
Semantic Indexing of Unstructured Documents Using Taxonomies and Ontologies
Semantic Indexing of Unstructured Documents Using Taxonomies and Ontologies
Published: 2013/08/08
Channel: AllegroGraph
SEM114 - Theories of Word Meaning
SEM114 - Theories of Word Meaning
Published: 2013/04/03
Channel: The Virtual Linguistics Campus
Semantic Analysis Phase : Introduction
Semantic Analysis Phase : Introduction
Published: 2014/04/06
Channel: Go GATE IIT
Code Comments, Operators, Syntax and Semantics
Code Comments, Operators, Syntax and Semantics
Published: 2016/06/30
Channel: TakeIT OnBoard
Semantics of Digital Circuits Lecture Notes in Computer Science
Semantics of Digital Circuits Lecture Notes in Computer Science
Published: 2017/06/03
Channel: Jake Wilson
Dynamic Semantics of Programming Languages and Applications to Testing
Dynamic Semantics of Programming Languages and Applications to Testing
Published: 2016/09/06
Channel: Microsoft Research
CSE 340 F16: 10-12-16 "Semantics Pt. 8 and Types Pt. 1"
CSE 340 F16: 10-12-16 "Semantics Pt. 8 and Types Pt. 1"
Published: 2016/10/12
Channel: Adam Doupé
The Lost Art of Denotational Semantics
The Lost Art of Denotational Semantics
Published: 2016/01/04
Channel: Parleys
CSE 340 F16: 9-26-16 "Semantics Pt. 3"
CSE 340 F16: 9-26-16 "Semantics Pt. 3"
Published: 2016/09/27
Channel: Adam Doupé
Lambda Jam 2015 - Conal Elliott - Denotational Design: From Meanings To Programs
Lambda Jam 2015 - Conal Elliott - Denotational Design: From Meanings To Programs
Published: 2015/10/18
Channel: YOW! Conferences
CSE 340 10-5-15 Lecture: "Semantics Pt. 5 and Types Pt. 1"
CSE 340 10-5-15 Lecture: "Semantics Pt. 5 and Types Pt. 1"
Published: 2015/10/06
Channel: Adam Doupé
PLSE Seminar Series N Foster, "Cantor Meets Scott: Semantic Foundations for Probabilistic Networks"
PLSE Seminar Series N Foster, "Cantor Meets Scott: Semantic Foundations for Probabilistic Networks"
Published: 2016/12/06
Channel: Paul G. Allen School
Towards a Semantic Language of Mathematics
Towards a Semantic Language of Mathematics
Published: 2016/12/20
Channel: Wolfram
CSE 340 S16: 3-4-16 "Semantics Pt. 7"
CSE 340 S16: 3-4-16 "Semantics Pt. 7"
Published: 2016/03/04
Channel: Adam Doupé
lexical, syntactic, semantic and logical errors
lexical, syntactic, semantic and logical errors
Published: 2015/01/19
Channel: Shri Ram Programming Academy
[Mathematical Linguistics] Quantifier Raising and Logical Form
[Mathematical Linguistics] Quantifier Raising and Logical Form
Published: 2016/06/01
Channel: TheTrevTutor
Mod-04 Lec-03 Syntax and Semantics of CTL
Mod-04 Lec-03 Syntax and Semantics of CTL
Published: 2013/02/15
Channel: nptelhrd
MarkLogic Semantics: When RDF Alone is Not Enough
MarkLogic Semantics: When RDF Alone is Not Enough
Published: 2015/04/28
Channel: MarkLogic
HTML semantics: lists
HTML semantics: lists
Published: 2015/01/17
Channel: Thomas Bradley
NEXT
GO TO RESULTS [51 .. 100]

WIKIPEDIA ARTICLE

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages. It does so by evaluating the meaning of syntactically legal strings defined by a specific programming language, showing the computation involved. In such a case that the evaluation would be of syntactically illegal strings, the result would be non-computation. Semantics describes the processes a computer follows when executing a program in that specific language. This can be shown by describing the relationship between the input and output of a program, or an explanation of how the program will execute on a certain platform, hence creating a model of computation.

Formal semantics, for instance, helps to write compilers, better understand what a program is doing and to prove, e.g., that the following if statement

if 1 = 1 then S1 else S2

has the same effect as S1 alone.

Overview[edit]

The field of formal semantics encompasses all of the following:

  • The definition of semantic models
  • The relations between different semantic models
  • The relations between different approaches to meaning
  • 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, compilers and interpreters, program verification and model checking.

Approaches[edit]

There are many approaches to formal semantics; these belong to three major classes:

  • Denotational semantics, whereby each phrase in the language is interpreted as a denotation, i.e. a conceptual meaning that can be thought of abstractly. Such denotations are often mathematical objects inhabiting a mathematical space, but it is not a requirement that they should be so. As a practical necessity, denotations are described using some form of mathematical notation, which can in turn be formalized as a denotational metalanguage. For example, denotational semantics of functional languages often translate the language into domain theory. Denotational semantic descriptions can also serve as compositional translations from a programming language into the denotational metalanguage and used as a basis for designing compilers.
  • Operational semantics, whereby the execution of the language is described directly (rather than by translation). Operational semantics loosely corresponds to interpretation, although again the "implementation language" of the interpreter is generally a mathematical formalism. Operational semantics may define an abstract machine (such as the SECD machine), and give meaning to phrases by describing the transitions they induce on states of the machine. Alternatively, as with the pure lambda calculus, operational semantics can be defined via syntactic transformations on phrases of the language itself;
  • Axiomatic semantics, whereby one gives meaning to phrases by describing the logical axioms that apply to them. Axiomatic semantics makes no distinction between a phrase's meaning and the logical formulas that describe it; its meaning is exactly what can be proven about it in some logic. The canonical example of axiomatic semantics is Hoare logic.

The distinctions between the three broad classes of approaches can sometimes be vague, but all known approaches to formal semantics use the above techniques, or some combination thereof.

Apart from the choice between denotational, operational, or axiomatic approaches, most variation in formal semantic systems arises from the choice of supporting mathematical formalism.

Variations[edit]

Some variations of formal semantics include the following:

Describing relationships[edit]

For a variety of reasons, one might wish to describe the relationships between different formal semantics. For example:

  • To prove that a particular operational semantics for a language satisfies the logical formulas of an axiomatic semantics for that language. Such a proof demonstrates that it is "sound" to reason about a particular (operational) interpretation strategy using a particular (axiomatic) proof system.
  • To prove that operational semantics over a high-level machine is related by a simulation with the semantics over a low-level machine, whereby the low-level abstract machine contains more primitive operations than the high-level abstract machine definition of a given language. Such a proof demonstrates that the low-level machine "faithfully implements" the high-level machine.

It is also possible to relate multiple semantics through abstractions via the theory of abstract interpretation.

History[edit]

Robert W. Floyd is credited with founding the field of programming language semantics in Floyd (1967).[1]

See also[edit]

References[edit]

  1. ^ Knuth, Donald E. "Memorial Resolution: Robert W. Floyd (1936-2001)" (PDF). Stanford University Faculty Memorials. Stanford Historical Society. 

Further reading[edit]

Textbooks
Lecture notes

External links[edit]

Disclaimer

None of the audio/visual content is hosted on this site. All media is embedded from other sites such as GoogleVideo, Wikipedia, YouTube etc. Therefore, this site has no control over the copyright issues of the streaming media.

All issues concerning copyright violations should be aimed at the sites hosting the material. This site does not host any of the streaming media and the owner has not uploaded any of the material to the video hosting servers. Anyone can find the same content on Google Video or YouTube by themselves.

The owner of this site cannot know which documentaries are in public domain, which has been uploaded to e.g. YouTube by the owner and which has been uploaded without permission. The copyright owner must contact the source if he wants his material off the Internet completely.

Powered by YouTube
Wikipedia content is licensed under the GFDL and (CC) license