This HTML5 document contains 94 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n18https://www.cs.york.ac.uk/ftpdir/pub/leo/utp/tutorials/
dbpedia-eshttp://es.dbpedia.org/resource/
n20https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-hrhttp://hr.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
n8http://www.unifyingtheories.org/
n22https://web.archive.org/web/20161007215026/http:/unifyingtheories.org/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:Prentice_Hall_International_Series_in_Computer_Science
dbo:wikiPageWikiLink
dbr:Unifying_Theories_of_Programming
Subject Item
dbr:Communicating_sequential_processes
dbo:wikiPageWikiLink
dbr:Unifying_Theories_of_Programming
Subject Item
dbr:He_Jifeng
dbo:wikiPageWikiLink
dbr:Unifying_Theories_of_Programming
dbp:knownFor
dbr:Unifying_Theories_of_Programming
dbo:knownFor
dbr:Unifying_Theories_of_Programming
Subject Item
dbr:RCOS_(computer_sciences)
dbo:wikiPageWikiLink
dbr:Unifying_Theories_of_Programming
Subject Item
dbr:Jim_Woodcock
dbo:wikiPageWikiLink
dbr:Unifying_Theories_of_Programming
dbp:knownFor
dbr:Unifying_Theories_of_Programming
dbo:knownFor
dbr:Unifying_Theories_of_Programming
Subject Item
dbr:UTP
dbo:wikiPageWikiLink
dbr:Unifying_Theories_of_Programming
dbo:wikiPageDisambiguates
dbr:Unifying_Theories_of_Programming
Subject Item
dbr:Unifying_Theories_of_Programming
rdf:type
yago:Artifact100021939 yago:WikicatComputerScienceBooks yago:Creation103129123 yago:PhysicalEntity100001930 yago:Book106410904 yago:Object100002684 yago:Publication106589574 yago:WikicatFormalMethodsPublications yago:Work104599396 yago:Product104007894 yago:Wikicat1998Books yago:Whole100003553
rdfs:label
Teorías unificadas de la programación Unifying Theories of Programming プログラミングの統一理論
rdfs:comment
Las Teorías Unificadas de Programación (UTP) en ciencias de la computación se ocupan de la semántica de los programas. Muestra cómo la semántica denotacional, la semántica operativa y la semántica algebraica se pueden combinar en un marco unificado para la especificación formal, diseño e implementación de programas y sistemas informáticos . El libro de este título de C.A.R. Hoare y He Jifeng se publicó en la en 1998 y ahora está disponible gratuitamente en la web.​ Unifying Theories of Programming (UTP) in computer science deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the formal specification, design and implementation of programs and computer systems. The book of this title by C.A.R. Hoare and He Jifeng was published in the Prentice Hall International Series in Computer Science in 1998 and is now freely available on the web. プログラミングの統一理論 (英: Unifying Theories of Programming) は、プログラム意味論に関する概念である。これは、表示的意味論、操作的意味論および代数的意味論(公理的意味論の一種)がプログラムやコンピュータシステムの形式仕様記述、設計および実装についての統一的なフレームワーク内でどのように結びつけられるかを示す。 このタイトルの書籍は、アントニー・ホーアおよびHe JifengによってPrentice Hall International Series in Computer Scienceから1998年に出版された。
dcterms:subject
dbc:Prentice_Hall_books dbc:Programming_language_semantics dbc:Computer_science_books dbc:1998_non-fiction_books dbc:Formal_methods_publications
dbo:wikiPageID
2849397
dbo:wikiPageRevisionID
1121110448
dbo:wikiPageWikiLink
dbr:Operational_semantics dbr:Monotonic dbr:Idempotent dbr:Eric_Hehner dbr:Computer_science dbr:Computer_program dbc:Prentice_Hall_books dbr:Denotational_semantics dbc:Programming_language_semantics dbr:Lecture_Notes_in_Computer_Science dbr:Algebraic_semantics_(computer_science) dbc:Computer_science_books dbr:First-order_predicate_calculus dbr:Recursion dbr:Prentice_Hall_International_Series_in_Computer_Science dbc:1998_non-fiction_books dbr:Conditional_(programming) dbr:Springer-Verlag dbr:He_Jifeng dbr:Composition_of_relations dbr:C.A.R._Hoare dbr:Archive.org dbr:Universal_closure dbr:Predicative_programming dbr:Program_semantics dbr:Jim_Woodcock dbr:Computer_system dbr:Least_fixed_point dbr:Program_refinement dbr:Sequential_composition dbr:Predicate_transformer_semantics dbc:Formal_methods_publications dbr:Formal_specification
dbo:wikiPageExternalLink
n8: n18:utp-tutorial-designs-v2.pdf n18:utp-tutorial-CSP.pdf n22:
owl:sameAs
dbpedia-es:Teorías_unificadas_de_la_programación freebase:m.086qbb dbpedia-ja:プログラミングの統一理論 dbpedia-hr:Unifying_Theories_of_Programming wikidata:Q3513774 n20:3FE4X yago-res:Unifying_Theories_of_Programming
dbp:wikiPageUsesTemplate
dbt:CiteSeerX dbt:ISBN dbt:Reflist dbt:Doi
dbo:abstract
Unifying Theories of Programming (UTP) in computer science deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the formal specification, design and implementation of programs and computer systems. The book of this title by C.A.R. Hoare and He Jifeng was published in the Prentice Hall International Series in Computer Science in 1998 and is now freely available on the web. Las Teorías Unificadas de Programación (UTP) en ciencias de la computación se ocupan de la semántica de los programas. Muestra cómo la semántica denotacional, la semántica operativa y la semántica algebraica se pueden combinar en un marco unificado para la especificación formal, diseño e implementación de programas y sistemas informáticos . El libro de este título de C.A.R. Hoare y He Jifeng se publicó en la en 1998 y ahora está disponible gratuitamente en la web.​ プログラミングの統一理論 (英: Unifying Theories of Programming) は、プログラム意味論に関する概念である。これは、表示的意味論、操作的意味論および代数的意味論(公理的意味論の一種)がプログラムやコンピュータシステムの形式仕様記述、設計および実装についての統一的なフレームワーク内でどのように結びつけられるかを示す。 このタイトルの書籍は、アントニー・ホーアおよびHe JifengによってPrentice Hall International Series in Computer Scienceから1998年に出版された。
prov:wasDerivedFrom
wikipedia-en:Unifying_Theories_of_Programming?oldid=1121110448&ns=0
dbo:wikiPageLength
6022
foaf:isPrimaryTopicOf
wikipedia-en:Unifying_Theories_of_Programming
Subject Item
dbr:Vienna_Development_Method
dbo:wikiPageWikiLink
dbr:Unifying_Theories_of_Programming
Subject Item
dbr:Unifying_theories_of_programming
dbo:wikiPageWikiLink
dbr:Unifying_Theories_of_Programming
dbo:wikiPageRedirects
dbr:Unifying_Theories_of_Programming
Subject Item
wikipedia-en:Unifying_Theories_of_Programming
foaf:primaryTopic
dbr:Unifying_Theories_of_Programming