About: Operational semantics

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Category of formal programming language semantics

Property	Value
dbo:description	category of formal programming language semantics (en) Metasprache zur Definition von Operationsketten auf Zustandsräume (de)
dbo:wikiPageExternalLink	http://homepages.inf.ed.ac.uk/gdp/publications/Origins_SOS.pdf http://homepages.inf.ed.ac.uk/gdp/publications/sos_jlap.pdf http://citeseer.ist.psu.edu/673965.html http://vestein.arb-phys.uni-dortmund.de/~wb/RR/rr.pdf https://www.cs.tcd.ie/matthew.hennessy/splexternal2015/resources/sembookWiley.pdf
dbo:wikiPageWikiLink	dbr:Abstract_machine dbr:Axiomatic_semantics dbr:Functional_programming dbr:Lambda_calculus dbr:Dana_Scott dbr:Mathematical_proof dbr:Control_flow dbr:Matthew_Hennessy dbr:Matthias_Felleisen dbc:Logic_in_computer_science dbr:Formal_language dbr:Concurrency_(computer_science) dbr:Design_by_contract dbr:Computation dbc:Programming_language_semantics dbr:SECD_machine dbr:Gordon_Plotkin dbr:Denotational_semantics dbr:Program_transformation dbr:Programming_language dbr:Computer_program dbr:Semantics_(computer_science) dbr:Adriaan_van_Wijngaarden dbr:Lisp_(programming_language) dbr:Simulation_preorder dbc:Operational_semantics dbr:Friedman dbr:Bisimulation dbc:Formal_specification_languages dbr:Divergence_(computer_science) dbr:Formal_verification dbr:ML_(programming_language) dbr:Execution_(computing) dbr:Gilles_Kahn dbr:ALGOL_68 dbr:Algebraic_semantics_(computer_science) dbr:Nondeterministic_algorithm dbr:Relation_(mathematics) dbr:Formal_semantics_of_programming_languages dbr:Computer_Science dbr:Object-oriented dbr:Equational_theory dbr:Call_by_value dbr:Program_state dbr:First-class_continuations dbr:State_transition_system dbr:Call_by_name dbr:Algol_68 dbr:Inductive_definition dbr:Inference_rule dbr:Type_soundness
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Commons_category-inline dbt:Semantics dbt:Nobreak dbt:Short_description
dct:subject	dbc:Logic_in_computer_science dbc:Programming_language_semantics dbc:Operational_semantics dbc:Formal_specification_languages
gold:hypernym	dbr:Category
rdfs:label	Operational semantics (en) دلالات التشغيل (ar) Λειτουργική σημασιολογία (el) Semántica operacional (es) Operationelle Semantik (de) Sémantique opérationnelle (fr) Semantica operazionale (it) 操作的意味論 (ja) Semântica operacional (pt) Операційна семантика (uk) 操作语义学 (zh)
owl:sameAs	freebase:Operational semantics http://d-nb.info/gnd/4221249-2 wikidata:Operational semantics dbpedia-it:Operational semantics dbpedia-de:Operational semantics dbpedia-fr:Operational semantics dbpedia-tr:Operational semantics dbpedia-zh:Operational semantics dbpedia-ja:Operational semantics dbpedia-pt:Operational semantics dbpedia-es:Operational semantics dbpedia-el:Operational semantics dbpedia-ar:Operational semantics dbpedia-hr:Operational semantics dbpedia-sh:Operational semantics dbpedia-sr:Operational semantics dbpedia-uk:Operational semantics dbpedia-global:Operational semantics yago-res:Operational semantics dbr:Operational semantics
prov:wasDerivedFrom	wikipedia-en:Operational_semantics?oldid=1267597967&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Operational_semantics
is dbo:knownFor of	dbr:Matthias_Felleisen dbr:Gordon_Plotkin dbr:Chris_Verhoef
is dbo:wikiPageRedirects of	dbr:Structural_operational_semantics dbr:Structured_operational_semantics dbr:Structured_operational_semantics dbr:Big-step_operational_semantics dbr:Big-step_semantics dbr:Big_Step_Semantics dbr:Big_step_operational_semantics dbr:Big_step_semantics dbr:Natural_semantics dbr:Reduction_context dbr:Reduction_semantics dbr:Small-step_operational_semantics dbr:Small-step_semantics dbr:Small_Step_Semantics dbr:Small_step_operational_semantics dbr:Small_step_semantics
is dbo:wikiPageWikiLink of	dbr:Li_Wei_(computer_scientist) dbr:Type_safety dbr:Axiomatic_semantics dbr:List_of_functional_programming_topics dbr:History_of_the_Actor_model dbr:Reification_(computer_science) dbr:Functional_programming dbr:Closure_(computer_programming) dbr:Communicating_sequential_processes dbr:Rule_Interchange_Format dbr:ECMAScript dbr:Standard_ML dbr:Formal_methods dbr:Priority_queue dbr:Quantum_programming dbr:Type_erasure dbr:C_standard_library dbr:Matthias_Felleisen dbr:Peter_Mosses dbr:Static_program_analysis dbr:Parameter_(computer_programming) dbr:Vienna_Development_Method dbr:Abstract_data_type dbr:SECD_machine dbr:Gordon_Plotkin dbr:Denotational_semantics dbr:Programming_language_specification dbr:Transition_system dbr:Action_semantics dbr:Actor_model_and_process_calculi_history dbr:David_Watt_(computer_scientist) dbr:List_of_pioneers_in_computer_science dbr:Semantics_(computer_science) dbr:Turing_Award dbr:Unifying_Theories_of_Programming dbr:Simulation dbr:Actor_model dbr:Bisimulation dbr:PEPA dbr:POPLmark_challenge dbr:Formal_verification dbr:Interpreter_(computing) dbr:Semantics dbr:Graph_rewriting dbr:Glossary_of_computer_science dbr:Value_restriction dbr:Simply_typed_lambda_calculus dbr:Structured_program_theorem dbr:Denotation dbr:Algebraic_Logic_Functional_programming_language dbr:Algebraic_semantics_(computer_science) dbr:Bunched_logic dbr:Binary_combinatory_logic dbr:List_of_programming_language_researchers dbr:Simulation_(computer_science) dbr:Programming_language_theory dbr:Symbolic_simulation dbr:Behavior_tree dbr:Luca_Cardelli dbr:Baby_Modula-3 dbr:Execution_model dbr:Janus_(time-reversible_computing_programming_language) dbr:Krivine_machine dbr:RCOS_(computer_sciences) dbr:IBM_Laboratory_Vienna dbr:Term_graph dbr:Structural_operational_semantics dbr:Verification_condition_generator dbr:Jan_Friso_Groote dbr:Matching_logic dbr:Structured_operational_semantics dbr:Big-step_operational_semantics dbr:Big-step_semantics dbr:Big_Step_Semantics dbr:Big_step_operational_semantics dbr:Big_step_semantics dbr:Natural_semantics dbr:Reduction_context dbr:Reduction_semantics dbr:Small-step_operational_semantics dbr:Small-step_semantics dbr:Small_Step_Semantics dbr:Small_step_operational_semantics dbr:Small_step_semantics
is dbp:knownFor of	dbr:Gordon_Plotkin dbr:Chris_Verhoef
is foaf:primaryTopic of	wikipedia-en:Operational_semantics