http://dbpedia.org/ontology/abstract
|
Las Teorías Unificadas de Programación (UT … 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. está disponible gratuitamente en la web.
, Unifying Theories of Programming (UTP) in … 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.98 and is now freely available on the web.
, プログラミングの統一理論 (英: Unifying Theories of Prog … プログラミングの統一理論 (英: Unifying Theories of Programming) は、プログラム意味論に関する概念である。これは、表示的意味論、操作的意味論および代数的意味論(公理的意味論の一種)がプログラムやコンピュータシステムの形式仕様記述、設計および実装についての統一的なフレームワーク内でどのように結びつけられるかを示す。 このタイトルの書籍は、アントニー・ホーアおよびHe JifengによってPrentice Hall International Series in Computer Scienceから1998年に出版された。l Series in Computer Scienceから1998年に出版された。
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.unifyingtheories.org/ +
, https://www.cs.york.ac.uk/ftpdir/pub/leo/utp/tutorials/utp-tutorial-CSP.pdf +
, https://www.cs.york.ac.uk/ftpdir/pub/leo/utp/tutorials/utp-tutorial-designs-v2.pdf +
, https://web.archive.org/web/20161007215026/http:/unifyingtheories.org/ +
|
http://dbpedia.org/ontology/wikiPageID
|
2849397
|
http://dbpedia.org/ontology/wikiPageLength
|
6022
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1121110448
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Conditional_%28programming%29 +
, http://dbpedia.org/resource/Category:Formal_methods_publications +
, http://dbpedia.org/resource/Category:Prentice_Hall_books +
, http://dbpedia.org/resource/Prentice_Hall_International_Series_in_Computer_Science +
, http://dbpedia.org/resource/Lecture_Notes_in_Computer_Science +
, http://dbpedia.org/resource/Denotational_semantics +
, http://dbpedia.org/resource/Category:Computer_science_books +
, http://dbpedia.org/resource/He_Jifeng +
, http://dbpedia.org/resource/Predicative_programming +
, http://dbpedia.org/resource/Category:Programming_language_semantics +
, http://dbpedia.org/resource/Sequential_composition +
, http://dbpedia.org/resource/C.A.R._Hoare +
, http://dbpedia.org/resource/Least_fixed_point +
, http://dbpedia.org/resource/Jim_Woodcock +
, http://dbpedia.org/resource/Formal_specification +
, http://dbpedia.org/resource/Predicate_transformer_semantics +
, http://dbpedia.org/resource/Idempotent +
, http://dbpedia.org/resource/Recursion +
, http://dbpedia.org/resource/Operational_semantics +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/First-order_predicate_calculus +
, http://dbpedia.org/resource/Computer_program +
, http://dbpedia.org/resource/Algebraic_semantics_%28computer_science%29 +
, http://dbpedia.org/resource/Program_refinement +
, http://dbpedia.org/resource/Springer-Verlag +
, http://dbpedia.org/resource/Universal_closure +
, http://dbpedia.org/resource/Archive.org +
, http://dbpedia.org/resource/Monotonic +
, http://dbpedia.org/resource/Category:1998_non-fiction_books +
, http://dbpedia.org/resource/Computer_system +
, http://dbpedia.org/resource/Program_semantics +
, http://dbpedia.org/resource/Eric_Hehner +
, http://dbpedia.org/resource/Composition_of_relations +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:CiteSeerX +
, http://dbpedia.org/resource/Template:Doi +
, http://dbpedia.org/resource/Template:ISBN +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Formal_methods_publications +
, http://dbpedia.org/resource/Category:Prentice_Hall_books +
, http://dbpedia.org/resource/Category:1998_non-fiction_books +
, http://dbpedia.org/resource/Category:Computer_science_books +
, http://dbpedia.org/resource/Category:Programming_language_semantics +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Unifying_Theories_of_Programming?oldid=1121110448&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Unifying_Theories_of_Programming +
|
owl:sameAs |
http://rdf.freebase.com/ns/m.086qbb +
, http://es.dbpedia.org/resource/Teor%C3%ADas_unificadas_de_la_programaci%C3%B3n +
, http://www.wikidata.org/entity/Q3513774 +
, http://ja.dbpedia.org/resource/%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E3%81%AE%E7%B5%B1%E4%B8%80%E7%90%86%E8%AB%96 +
, http://hr.dbpedia.org/resource/Unifying_Theories_of_Programming +
, https://global.dbpedia.org/id/3FE4X +
, http://dbpedia.org/resource/Unifying_Theories_of_Programming +
, http://yago-knowledge.org/resource/Unifying_Theories_of_Programming +
|
rdf:type |
http://dbpedia.org/class/yago/Publication106589574 +
, http://dbpedia.org/class/yago/Wikicat1998Books +
, http://dbpedia.org/class/yago/Work104599396 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/WikicatComputerScienceBooks +
, http://dbpedia.org/class/yago/Creation103129123 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/Artifact100021939 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/WikicatFormalMethodsPublications +
, http://dbpedia.org/class/yago/Book106410904 +
, http://dbpedia.org/class/yago/Product104007894 +
|
rdfs:comment |
Las Teorías Unificadas de Programación (UT … 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. está disponible gratuitamente en la web.
, プログラミングの統一理論 (英: Unifying Theories of Prog … プログラミングの統一理論 (英: Unifying Theories of Programming) は、プログラム意味論に関する概念である。これは、表示的意味論、操作的意味論および代数的意味論(公理的意味論の一種)がプログラムやコンピュータシステムの形式仕様記述、設計および実装についての統一的なフレームワーク内でどのように結びつけられるかを示す。 このタイトルの書籍は、アントニー・ホーアおよびHe JifengによってPrentice Hall International Series in Computer Scienceから1998年に出版された。l Series in Computer Scienceから1998年に出版された。
, Unifying Theories of Programming (UTP) in … 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.98 and is now freely available on the web.
|
rdfs:label |
Teorías unificadas de la programación
, プログラミングの統一理論
, Unifying Theories of Programming
|