About: Operational semantics

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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://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 http://homepages.inf.ed.ac.uk/gdp/publications/Origins_SOS.pdf http://homepages.inf.ed.ac.uk/gdp/publications/sos_jlap.pdf
dbo:wikiPageWikiLink	dbr:Call_by_value dbr:First-class_continuations dbr:Gilles_Kahn dbc:Logic_in_computer_science dbr:ALGOL_68 dbr:Adriaan_van_Wijngaarden dbr:Lisp_(programming_language) dbr:ML_(programming_language) dbr:Programming_language dbr:Abstract_machine dbr:Computation dbr:Program_transformation dbc:Programming_language_semantics dbr:Formal_language dbr:Formal_verification dbr:Mathematical_proof dbr:Dana_Scott dbr:Denotational_semantics dbr:Semantics_(computer_science) dbr:Bisimulation dbr:Control_flow dbr:Algebraic_semantics_(computer_science) dbr:Concurrency_(computer_science) dbr:Computer_program dbr:Design_by_contract dbr:Functional_programming dbr:Gordon_Plotkin dbr:Lambda_calculus dbr:SECD_machine dbr:Matthias_Felleisen dbr:Nondeterministic_algorithm dbr:Axiomatic_semantics dbr:Relation_(mathematics) dbr:Execution_(computing) dbr:Divergence_(computer_science) dbc:Operational_semantics dbr:Matthew_Hennessy dbc:Formal_specification_languages dbr:Computer_Science dbr:Program_state dbr:Friedman dbr:Equational_theory dbr:Simulation_preorder dbr:Algol_68 dbr:Formal_semantics_of_programming_languages dbr:Call_by_name dbr:Inductive_definition dbr:Inference_rule dbr:Type_soundness dbr:Object-oriented dbr:State_transition_system
dbp:wikiPageUsesTemplate	dbt:Semantics dbt:Authority_control dbt:Commons_category-inline dbt:Nobreak dbt:Reflist 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
rdf:type	owl:Thing owl:Thing
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	http://d-nb.info/gnd/4221249-2 freebase:Operational semantics wikidata:Operational semantics dbpedia-de:Operational semantics dbpedia-es:Operational semantics dbpedia-it:Operational semantics dbpedia-tr:Operational semantics dbpedia-fr:Operational semantics dbpedia-ja:Operational semantics dbpedia-pt:Operational semantics dbpedia-zh: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
prov:wasDerivedFrom	wikipedia-en:Operational_semantics?oldid=1303147635&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Operational_semantics
is dbo:knownFor of	dbr:Chris_Verhoef dbr:Gordon_Plotkin dbr:Matthias_Felleisen
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:Semantics dbr:Priority_queue dbr:Behavior_tree dbr:Algebraic_Logic_Functional_programming_language dbr:List_of_programming_language_researchers dbr:Structural_operational_semantics dbr:Static_program_analysis dbr:Denotation dbr:Rule_Interchange_Format dbr:ECMAScript dbr:Turing_Award dbr:Closure_(computer_programming) dbr:Abstract_data_type dbr:Krivine_machine dbr:Simulation_(computer_science) dbr:Formal_verification dbr:PEPA dbr:Standard_ML dbr:Denotational_semantics dbr:Peter_Mosses dbr:Semantics_(computer_science) dbr:Bisimulation dbr:IBM_Laboratory_Vienna dbr:Vienna_Development_Method dbr:Algebraic_semantics_(computer_science) dbr:Formal_methods dbr:Execution_model dbr:Simulation dbr:Interpreter_(computing) dbr:C_standard_library dbr:Matching_logic dbr:Communicating_sequential_processes dbr:Actor_model dbr:Functional_programming dbr:Gordon_Plotkin dbr:SECD_machine dbr:Simply_typed_lambda_calculus dbr:List_of_pioneers_in_computer_science dbr:Baby_Modula-3 dbr:Type_safety dbr:Transition_system dbr:Unifying_Theories_of_Programming dbr:Quantum_programming dbr:Matthias_Felleisen dbr:Reification_(computer_science) dbr:Structured_program_theorem dbr:David_Watt_(computer_scientist) dbr:Axiomatic_semantics dbr:Parameter_(computer_programming) dbr:Li_Wei_(computer_scientist) dbr:Luca_Cardelli dbr:Programming_language_theory dbr:Bunched_logic dbr:Jan_Friso_Groote dbr:Graph_rewriting dbr:Binary_combinatory_logic dbr:List_of_functional_programming_topics dbr:RCOS_(computer_sciences) dbr:Type_erasure dbr:Janus_(time-reversible_computing_programming_language) dbr:Programming_language_specification dbr:Symbolic_simulation dbr:POPLmark_challenge dbr:History_of_the_Actor_model dbr:Term_graph dbr:Glossary_of_computer_science dbr:Value_restriction dbr:Verification_condition_generator dbr:Action_semantics dbr:Actor_model_and_process_calculi_history 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:Chris_Verhoef dbr:Gordon_Plotkin
is foaf:primaryTopic of	wikipedia-en:Operational_semantics