Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Operational_semantics> ?p ?o }
- 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 wikiPageLength "13427".
- Operational_semantics wikiPageOutDegree "54".
- Operational_semantics wikiPageRevisionID "663295646".
- Operational_semantics wikiPageWikiLink ALGOL_68.
- Operational_semantics wikiPageWikiLink Abstract_machine.
- Operational_semantics wikiPageWikiLink Adriaan_van_Wijngaarden.
- Operational_semantics wikiPageWikiLink Algebraic_semantics_(computer_science).
- Operational_semantics wikiPageWikiLink Axiomatic_semantics.
- Operational_semantics wikiPageWikiLink Binary_relation.
- Operational_semantics wikiPageWikiLink Bisimulation.
- Operational_semantics wikiPageWikiLink Call-by-value.
- Operational_semantics wikiPageWikiLink Category:Formal_specification_languages.
- Operational_semantics wikiPageWikiLink Category:Logic_in_computer_science.
- Operational_semantics wikiPageWikiLink Category:Operational_semantics.
- Operational_semantics wikiPageWikiLink Category:Programming_language_semantics.
- Operational_semantics wikiPageWikiLink Computation.
- Operational_semantics wikiPageWikiLink Computer_Science.
- Operational_semantics wikiPageWikiLink Computer_science.
- Operational_semantics wikiPageWikiLink Concurrency_(computer_science).
- Operational_semantics wikiPageWikiLink Continuation.
- Operational_semantics wikiPageWikiLink Continuations.
- Operational_semantics wikiPageWikiLink Control_flow.
- Operational_semantics wikiPageWikiLink Dana_Scott.
- Operational_semantics wikiPageWikiLink Denotational_semantics.
- Operational_semantics wikiPageWikiLink Design_by_contract.
- Operational_semantics wikiPageWikiLink Divergence_(computer_science).
- Operational_semantics wikiPageWikiLink Equational_theory.
- Operational_semantics wikiPageWikiLink Evaluation_strategy.
- Operational_semantics wikiPageWikiLink Formal_semantics_of_programming_languages.
- Operational_semantics wikiPageWikiLink Formal_verification.
- Operational_semantics wikiPageWikiLink Functional_program.
- Operational_semantics wikiPageWikiLink Functional_programming.
- Operational_semantics wikiPageWikiLink Gilles_Kahn.
- Operational_semantics wikiPageWikiLink Gordon_Plotkin.
- Operational_semantics wikiPageWikiLink Inductive_definition.
- Operational_semantics wikiPageWikiLink Inference_rule.
- Operational_semantics wikiPageWikiLink Interpreter_semantics.
- Operational_semantics wikiPageWikiLink LISP.
- Operational_semantics wikiPageWikiLink Lambda_calculus.
- Operational_semantics wikiPageWikiLink Lisp_(programming_language).
- Operational_semantics wikiPageWikiLink Matthew_Hennessy.
- Operational_semantics wikiPageWikiLink Matthias_Felleisen.
- Operational_semantics wikiPageWikiLink Nondeterministic_algorithm.
- Operational_semantics wikiPageWikiLink Object-oriented.
- Operational_semantics wikiPageWikiLink Object-oriented_programming.
- Operational_semantics wikiPageWikiLink Program_state.
- Operational_semantics wikiPageWikiLink Program_transformation.
- Operational_semantics wikiPageWikiLink Recursive_definition.
- Operational_semantics wikiPageWikiLink Relation_(mathematics).
- Operational_semantics wikiPageWikiLink Rule_of_inference.
- Operational_semantics wikiPageWikiLink SECD_machine.
- Operational_semantics wikiPageWikiLink Semantics_(computer_science).
- Operational_semantics wikiPageWikiLink Simulation_preorder.
- Operational_semantics wikiPageWikiLink State_(computer_science).
- Operational_semantics wikiPageWikiLink State_transition_system.
- Operational_semantics wikiPageWikiLink Transition_system.
- Operational_semantics wikiPageWikiLink Type_safety.
- Operational_semantics wikiPageWikiLink Type_soundness.
- Operational_semantics wikiPageWikiLink Universal_algebra.
- Operational_semantics wikiPageWikiLinkText "Operational semantics".
- Operational_semantics wikiPageWikiLinkText "Operational semantics#Natural semantics".
- Operational_semantics wikiPageWikiLinkText "Operational semantics#Reduction semantics".
- Operational_semantics wikiPageWikiLinkText "Operational semantics#Small-step semantics".
- Operational_semantics wikiPageWikiLinkText "Operational semantics#Structural operational semantics".
- Operational_semantics wikiPageWikiLinkText "Operational_semantics#Reduction_contexts".
- Operational_semantics wikiPageWikiLinkText "Operationally".
- Operational_semantics wikiPageWikiLinkText "operational semantics".
- Operational_semantics wikiPageWikiLinkText "operational".
- Operational_semantics wikiPageWikiLinkText "semantics".
- Operational_semantics wikiPageWikiLinkText "structural operational semantics".
- Operational_semantics hasPhotoCollection Operational_semantics.
- Operational_semantics wikiPageUsesTemplate Template:Authority_control.
- Operational_semantics wikiPageUsesTemplate Template:Expand_section.
- Operational_semantics wikiPageUsesTemplate Template:Reflist.
- 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 hypernym Category.
- Operational_semantics type Article.
- Operational_semantics type Language.
- Operational_semantics type TelevisionStation.
- Operational_semantics type Article.
- Operational_semantics type Language.
- Operational_semantics type Thing.
- 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 sameAs Operationelle_Semantik.
- Operational_semantics sameAs Λειτουργική_σημασιολογία.
- Operational_semantics sameAs Semántica_operacional.
- Operational_semantics sameAs Sémantique_opérationnelle.
- Operational_semantics sameAs Operacijska_semantika.
- Operational_semantics sameAs Semantica_operazionale.