Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Operational_semantics> ?p ?o. }
Showing items 1 to 38 of
38
with 100 items per page.
- Operational_semantics abstract "Operational semantics are a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execution and procedures, rather than by attaching mathematical meanings to its terms (denotational semantics). Operational semantics are classified in two categories: structural operational semantics (or small-step semantics) formally describe how the individual steps of a computation take place in a computer-based system. By opposition natural semantics (or big-step semantics) describe how the overall results of the executions are obtained. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and denotational semantics.The operational semantics for a programming language describes how a valid program is interpreted as sequences of computational steps.These sequences then are the meaning of the program.In the context of functional programs, the final step in a terminatingsequence returns the value of the program. (In general there can be many return values for a single program,because the program could be nondeterministic, and even for a deterministic program there can be many computation sequences since the semantics may not specify exactly what sequence of operations arrives at that value.)The concept of operational semantics was used for the first time in defining the semantics of Algol 68.The following statement is a quote from the revised ALGOL 68 report:The meaning of a program in the strict language is explained in terms of a hypothetical computerwhich performs the set of actions which constitute the elaboration of that program. (Algol68, Section 2)The first use of the term "operational semantics" in its present meaning is attributed toDana Scott (Plotkin04).What follows is a quote from Scott's seminal paper on formal semantics,in which he mentions the "operational" aspects of semantics.It is all very well to aim for a more ‘abstract’ and a ‘cleaner’ approach tosemantics, but if the plan is to be any good, the operational aspects cannotbe completely ignored. (Scott70)Perhaps the first formal incarnation of operational semantics was the use of the lambda calculus to define the semantics of LISP by [ ].Abstract machines in the tradition of the SECD machine are also closely related.".
- Operational_semantics wikiPageExternalLink 673965.html.
- Operational_semantics wikiPageExternalLink Origins_SOS.pdf.
- Operational_semantics wikiPageExternalLink sos_jlap.pdf.
- Operational_semantics wikiPageExternalLink rr.pdf.
- Operational_semantics wikiPageExternalLink sembookWiley.pdf.
- Operational_semantics wikiPageID "270062".
- Operational_semantics wikiPageRevisionID "570248074".
- Operational_semantics hasPhotoCollection Operational_semantics.
- Operational_semantics subject Category:Formal_specification_languages.
- Operational_semantics subject Category:Logic_in_computer_science.
- Operational_semantics subject Category:Operational_semantics.
- Operational_semantics subject Category:Programming_language_semantics.
- Operational_semantics type Abstraction100002137.
- Operational_semantics type Communication100033020.
- Operational_semantics type FormalSpecificationLanguages.
- Operational_semantics type Language106282651.
- Operational_semantics comment "Operational semantics are a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execution and procedures, rather than by attaching mathematical meanings to its terms (denotational semantics).".
- Operational_semantics label "Operational semantics".
- Operational_semantics label "Operationelle Semantik".
- Operational_semantics label "Semántica operacional".
- Operational_semantics label "Semântica operacional".
- Operational_semantics label "Sémantique opérationnelle".
- Operational_semantics label "操作的意味論".
- Operational_semantics label "操作语义学".
- Operational_semantics sameAs Operationelle_Semantik.
- Operational_semantics sameAs Λειτουργική_σημασιολογία.
- Operational_semantics sameAs Semántica_operacional.
- Operational_semantics sameAs Sémantique_opérationnelle.
- Operational_semantics sameAs Semantica_operazionale.
- Operational_semantics sameAs 操作的意味論.
- Operational_semantics sameAs Semântica_operacional.
- Operational_semantics sameAs m.01nsy0.
- Operational_semantics sameAs Q1930895.
- Operational_semantics sameAs Q1930895.
- Operational_semantics sameAs Operational_semantics.
- Operational_semantics wasDerivedFrom Operational_semantics?oldid=570248074.
- Operational_semantics isPrimaryTopicOf Operational_semantics.