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://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 http://www.lix.polytechnique.fr/~catuscia/teaching/cg520/papers_and_books/Mitchell_book.ps.gz http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.pdf https://www.cs.tau.ac.il/~nachumd/term/FloydMeaning.pdf http://www.cs.uiowa.edu/~slonnegr/plf/Book/ https://archive.org/details/theoriesofprogra0000reyn https://books.google.com/books%3Fid=K7N7QgAACAAJ https://books.google.com/books%3Fid=oPi0yERDUeYC https://www.cs.cmu.edu/~rwh/plbook/book.pdf http://www.cl.cam.ac.uk/~gw104/dens.pdf 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
dbo:wikiPageWikiLink	dbr:Denotation_(semiotics) dbr:Functional_programming_language dbr:Category_theory dbr:Model_theory dbr:Computational_semantics dbc:Logic_in_computer_science dbr:Algebra dbr:Compiler dbr:Computer_science dbr:Edsger_W._Dijkstra dbr:Mathematical_logic dbr:Ontology dbr:Programming_language dbr:Abstract_machine dbr:Computation dbr:Predicate_transformer_semantics dbc:Programming_language_semantics dbr:Command_(computing) dbr:Game_theory dbr:Axiom dbr:Formal_verification dbr:Model_checking dbr:Set_theory dbr:Type_theory dbr:Denotational_semantics dbr:Algebraic_semantics_(computer_science) dbr:Precondition dbr:Formal_methods dbr:Ontology_(information_science) dbr:Simulation dbr:Interpreter_(computing) dbr:Metadata dbr:String_(computer_science) dbr:Actor_model dbr:Hoare_logic dbr:Lambda_calculus dbr:Model_of_computation dbr:SECD_machine dbr:Tony_Hoare dbr:Abstraction_(computer_science) dbr:Conditional_(computer_programming) dbr:Semantic_technology dbr:Attribute_grammar dbr:Robert_W._Floyd dbr:Game_semantics dbr:Axiomatic_semantics dbr:Domain_theory dbr:Operational_semantics dbr:Programming_language_theory dbr:Postcondition dbr:Abstract_interpretation dbr:Execution_(computing) dbr:Syntax_(programming_languages) dbr:Concurrency_semantics dbc:Formal_methods dbc:Formal_specification_languages dbr:Semantic_equivalence dbr:Action_semantics dbr:Formal_semantics_(linguistics) dbr:Formal_semantics_(logic) dbr:Program_verification dbr:Categorical_semantics dbr:Process_calculi dbr:Program_semantics dbr:Programming_language_design dbr:Programming_language_syntax dbr:Computer_platform dbr:Context-free_languages dbr:Context-sensitive_languages dbr:Regular_languages
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Formal_languages dbt:Semantics dbt:Cite_web dbt:Cn dbt:Confuse dbt:R dbt:Refbegin dbt:Refend dbt:Reflist dbt:Short_description
dct:subject	dbc:Logic_in_computer_science dbc:Programming_language_semantics dbc:Formal_methods dbc:Formal_specification_languages
gold:hypernym	dbr:Field
rdf:type	owl:Thing owl:Thing
rdfs:label	Semantics (computer science) (en) Sémantika programovacích jazyků (cs) Formale Semantik (de) Τυπική σημασιολογία των γλωσσών προγραμματισμού (el) علم الدلالة الشكلي (ar) 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-de:Semantics (computer science) dbpedia-es:Semantics (computer science) dbpedia-it:Semantics (computer science) dbpedia-fr:Semantics (computer science) dbpedia-ja:Semantics (computer science) dbpedia-pt:Semantics (computer science) dbpedia-ru:Semantics (computer science) dbpedia-zh: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-fa: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)
prov:wasDerivedFrom	wikipedia-en:Semantics_(computer_science)?oldid=1312077003&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:Semantics_of_programming_languages dbr:Semantics_of_programming_languages dbr:Program_semantics dbr:Programming_language_semantics dbr:Formal_semantics_of_programming_languages
is dbo:wikiPageWikiLink of	dbr:Semantics dbr:Case_sensitivity dbr:Rice's_theorem dbr:Department_of_Informatics,_University_of_Oslo dbr:John_Darlington dbr:HOL_(proof_assistant) dbr:Michael_W._Shields dbr:Category_theory dbr:Christophe_de_Dinechin dbr:Reo_Coordination_Language dbr:Geocode dbr:Compiler dbr:Computer_science dbr:Haskell dbr:Programming_language dbr:Communication_protocol dbr:Tag_(metadata) dbr:Monad_(functional_programming) dbr:Programming_idiom dbr:Abstract_data_type dbr:Alexandra_Silva dbr:Runtime_system dbr:David_Gries dbr:Marta_Kwiatkowska dbr:Set_theory dbr:Constraint_Handling_Rules dbr:Law_of_triviality dbr:IMP_(programming_language) dbr:MPEG-7 dbr:John_C._Reynolds dbr:Statement_(computer_science) dbr:Algebraic_semantics_(computer_science) dbr:DocBook dbr:DE-9IM dbr:Prolog_syntax_and_semantics dbr:TOML dbr:Computer_program dbr:Low-level_programming_language dbr:Mariangiola_Dezani-Ciancaglini dbr:Maxima_(software) dbr:JavaScript_syntax dbr:GTK_Scene_Graph_Kit dbr:Grigore_Roșu dbr:Semgrep dbr:Dialectic dbr:Augusto_Sampaio dbr:Lambda_calculus dbr:Nissim_Francez dbr:Peter_Landin dbr:Thread_(computing) dbr:Web_Ontology_Language dbr:While_loop dbr:Pico_(programming_language) dbr:Baby_Modula-3 dbr:Valeria_de_Paiva dbr:Operator_(computer_programming) dbr:Semantic_HTML dbr:PL/C dbr:Klaus_Peter_Jantke dbr:TerminusDB dbr:Principle_of_compositionality dbr:Hardware_acceleration dbr:Scripting_language dbr:Data_type dbr:Jolie_(programming_language) dbr:Robert_W._Floyd dbr:High-level_programming_language dbr:MarkLogic dbr:Edward_A._Lee dbr:Esoteric_programming_language dbr:Operational_semantics dbr:Language_primitive dbr:Reserved_word dbr:Compiler-compiler dbr:Ronald_J._Brachman dbr:Canonical_link_element dbr:Syntax_(programming_languages) dbr:Joost-Pieter_Katoen dbr:Laboratory_for_Foundations_of_Computer_Science dbr:Rosetta-lang dbr:Formal_semantics dbr:ABC_Software_Metric dbr:Applicative_programming_language dbr:PHP_syntax_and_semantics dbr:Co-simulation dbr:WikiProfessional dbr:Stable_model_semantics dbr:Krzysztof_R._Apt dbr:Glossary_of_computer_science dbr:Unity_build dbr:Luigia_Carlucci_Aiello dbr:Semantic_resolution_tree dbr:Evolutionary_database_design dbr:Tree_transducer dbr:Jose_Meseguer dbr:Artificial_Intelligence_for_Environment_&_Sustainability dbr:Semantics_of_programming_languages dbr:Glossary_of_artificial_intelligence dbr:Differential_testing dbr:Quil_(instruction_set_architecture) dbr:Semantics_(disambiguation) dbr:Program_semantics dbr:Programming_language_semantics dbr:Formal_semantics_of_programming_languages
is dbp:field of	dbr:Alexandra_Silva
is owl:differentFrom of	dbr:Computational_semantics
is foaf:primaryTopic of	wikipedia-en:Semantics_(computer_science)