About: Semantics (computer science)

Property	Value
dbo:description	campo dell'informatica che studia rigorosamente il significato dei linguaggi di programmazione (it) дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей (ru) the field concerned with the rigorous mathematical study of the meaning of programming languages (en) área de estudo de ciência da computação (pt) 計算機科学の一分野 (ja) Metasprache zur Analyse oder Synthese von Bedeutungen in einer Sprache (de)
dbo:wikiPageExternalLink	http://cs.brown.edu/courses/cs173/2012/book/ https://web.archive.org/web/20070627041059/https:/www.cs.cmu.edu/~rwh/plbook/book.pdf https://books.google.com/books%3Fid=ynigSICJflYC http://www.cl.cam.ac.uk/~gw104/dens.pdf http://www.emu.edu.tr/aelci/Courses/D-318/D-318-Files/plbook/semantic.htm%7Curl-status=bot: https://web.archive.org/web/20150619164601/http:/www.emu.edu.tr/aelci/Courses/D-318/D-318-Files/plbook/semantic.htm%7Carchive-date=2015-06-19 https://archive.org/details/theoriesofprogra0000reyn https://books.google.com/books%3Fid=K7N7QgAACAAJ https://books.google.com/books%3Fid=oPi0yERDUeYC http://www.lix.polytechnique.fr/~catuscia/teaching/cg520/papers_and_books/Mitchell_book.ps.gz https://www.cs.tau.ac.il/~nachumd/term/FloydMeaning.pdf http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.pdf http://www.cs.uiowa.edu/~slonnegr/plf/Book/ https://www.cs.cmu.edu/~rwh/plbook/book.pdf
dbo:wikiPageWikiLink	dbr:Abstract_machine dbr:Axiomatic_semantics dbr:Model_checking dbr:Category_theory dbr:Command_(computing) dbr:Algebra dbr:Syntax_(programming_languages) dbr:Lambda_calculus dbr:Compiler dbr:Attribute_grammar dbr:Computational_semantics dbr:Formal_methods dbc:Formal_methods dbr:Set_theory dbr:Tony_Hoare dbr:Type_theory dbc:Logic_in_computer_science dbr:Abstract_interpretation dbr:Functional_programming_language dbr:Precondition dbr:Domain_theory dbr:Computation dbc:Programming_language_semantics dbr:SECD_machine dbr:Conditional_(computer_programming) dbr:Denotational_semantics dbr:Edsger_W._Dijkstra dbr:Game_theory dbr:Programming_language dbr:Action_semantics dbr:Axiom dbr:Computer_science dbr:Robert_W._Floyd dbr:Postcondition dbr:Ontology dbr:Simulation dbr:Mathematical_logic dbr:Model_theory dbr:Hoare_logic dbr:Operational_semantics dbr:Actor_model dbc:Formal_specification_languages dbr:Abstraction_(computer_science) dbr:Denotation_(semiotics) dbr:Formal_verification dbr:Interpreter_(computing) dbr:Metadata dbr:String_(computer_science) dbr:Execution_(computing) dbr:Predicate_transformer_semantics dbr:Ontology_(information_science) dbr:Algebraic_semantics_(computer_science) dbr:Programming_language_theory dbr:Model_of_computation dbr:Concurrency_semantics dbr:Semantic_technology dbr:Formal_semantics_(logic) dbr:Semantic_equivalence dbr:Game_semantics dbr:Formal_semantics_(linguistics) dbr:Program_verification dbr:Process_calculi dbr:Context-free_languages dbr:Context-sensitive_languages dbr:Regular_languages dbr:Categorical_semantics dbr:Computer_platform dbr:Program_semantics dbr:Programming_language_design dbr:Programming_language_syntax
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_web dbt:Reflist dbt:R dbt:Refend dbt:Refbegin dbt:Semantics dbt:Cn dbt:Confuse dbt:Formal_languages dbt:Short_description
dct:subject	dbc:Formal_methods dbc:Logic_in_computer_science dbc:Programming_language_semantics dbc:Formal_specification_languages
gold:hypernym	dbr:Field
rdfs:label	Semantics (computer science) (en) علم الدلالة الشكلي (ar) Formale Semantik (de) Sémantika programovacích jazyků (cs) Τυπική σημασιολογία των γλωσσών προγραμματισμού (el) Sémantique des langages de programmation (fr) Semántica de lenguajes de programación (es) プログラム意味論 (ja) Semantica formale (it) Semântica formal (pt) Семантика (программирование) (ru) Семантика мов програмування (uk) 形式语义学 (zh)
owl:differentFrom	dbr:Computational_semantics
owl:sameAs	freebase:Semantics (computer science) yago-res:Semantics (computer science) wikidata:Semantics (computer science) dbpedia-it:Semantics (computer science) dbpedia-de:Semantics (computer science) dbpedia-fr:Semantics (computer science) dbpedia-zh:Semantics (computer science) dbpedia-ja:Semantics (computer science) dbpedia-pt:Semantics (computer science) dbpedia-es:Semantics (computer science) dbpedia-fa:Semantics (computer science) dbpedia-ru:Semantics (computer science) dbpedia-el:Semantics (computer science) dbpedia-als:Semantics (computer science) dbpedia-ar:Semantics (computer science) dbpedia-az:Semantics (computer science) dbpedia-cs:Semantics (computer science) dbpedia-cv:Semantics (computer science) dbpedia-hr:Semantics (computer science) dbpedia-mk:Semantics (computer science) dbpedia-sr:Semantics (computer science) dbpedia-uk:Semantics (computer science) dbpedia-global:Semantics (computer science) dbr:Semantics (computer science)
prov:wasDerivedFrom	wikipedia-en:Semantics_(computer_science)?oldid=1289674427&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Semantics_(computer_science)
is dbo:academicDiscipline of	dbr:Alexandra_Silva dbr:Valeria_de_Paiva dbr:Klaus_Peter_Jantke
is dbo:knownFor of	dbr:Dana_Scott
is dbo:wikiPageDisambiguates of	dbr:Semantics_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Formal_semantics_of_programming_languages dbr:Formal_semantics_of_programming_languages dbr:Semantics_of_programming_languages dbr:Semantics_of_programming_languages dbr:Program_semantics dbr:Programming_language_semantics
is dbo:wikiPageWikiLink of	dbr:DocBook dbr:Prolog_syntax_and_semantics dbr:Jolie_(programming_language) dbr:Mariangiola_Dezani-Ciancaglini dbr:Category_theory dbr:Geocode dbr:Monad_(functional_programming) dbr:Syntax_(programming_languages) dbr:Lambda_calculus dbr:Compiler dbr:MPEG-7 dbr:JavaScript_syntax dbr:Reserved_word dbr:Marta_Kwiatkowska dbr:Set_theory dbr:Haskell dbr:Ronald_J._Brachman dbr:Rosetta-lang dbr:Statement_(computer_science) dbr:Programming_idiom dbr:Formal_semantics dbr:Department_of_Informatics,_University_of_Oslo dbr:Principle_of_compositionality dbr:Canonical_link_element dbr:Pico_(programming_language) dbr:WikiProfessional dbr:High-level_programming_language dbr:Thread_(computing) dbr:Operator_(computer_programming) dbr:Abstract_data_type dbr:Compiler-compiler dbr:While_loop dbr:Semantic_HTML dbr:David_Gries dbr:Dialectic dbr:Programming_language dbr:Case_sensitivity dbr:Low-level_programming_language dbr:Data_type dbr:Runtime_system dbr:Laboratory_for_Foundations_of_Computer_Science dbr:Computer_science dbr:Computer_program dbr:Communication_protocol dbr:Peter_Landin dbr:Robert_W._Floyd dbr:Scripting_language dbr:John_C._Reynolds dbr:Applicative_programming_language dbr:Tag_(metadata) dbr:Co-simulation dbr:Operational_semantics dbr:DE-9IM dbr:Web_Ontology_Language dbr:Hardware_acceleration dbr:Rice's_theorem dbr:PHP_syntax_and_semantics dbr:PL/C dbr:Law_of_triviality dbr:Semantics dbr:Glossary_of_computer_science dbr:IMP_(programming_language) dbr:Glossary_of_artificial_intelligence dbr:Krzysztof_R._Apt dbr:Joost-Pieter_Katoen dbr:Semgrep dbr:Esoteric_programming_language dbr:Maxima_(software) dbr:Christophe_de_Dinechin dbr:Algebraic_semantics_(computer_science) dbr:Language_primitive dbr:Constraint_Handling_Rules dbr:Stable_model_semantics dbr:Grigore_Roșu dbr:Differential_testing dbr:Quil_(instruction_set_architecture) dbr:Baby_Modula-3 dbr:Edward_A._Lee dbr:MarkLogic dbr:Michael_W._Shields dbr:Reo_Coordination_Language dbr:Augusto_Sampaio dbr:Evolutionary_database_design dbr:TOML dbr:John_Darlington dbr:Semantic_resolution_tree dbr:Alexandra_Silva dbr:Luigia_Carlucci_Aiello dbr:Valeria_de_Paiva dbr:Formal_semantics_of_programming_languages dbr:Jose_Meseguer dbr:Nissim_Francez dbr:TerminusDB dbr:Unity_build dbr:HOL_(proof_assistant) dbr:GTK_Scene_Graph_Kit dbr:ABC_Software_Metric dbr:Tree_transducer dbr:Klaus_Peter_Jantke dbr:Semantics_(disambiguation) dbr:Artificial_Intelligence_for_Environment_&_Sustainability dbr:Semantics_of_programming_languages dbr:Program_semantics dbr:Programming_language_semantics
is dbp:field of	dbr:Alexandra_Silva
is rdfs:seeAlso of	dbr:Object-oriented_programming
is owl:differentFrom of	dbr:Computational_semantics
is foaf:primaryTopic of	wikipedia-en:Semantics_(computer_science)