Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Unifying_Theories_of_Programming> ?p ?o }
Showing triples 1 to 61 of
61
with 100 triples per page.
- Unifying_Theories_of_Programming 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.".
- Unifying_Theories_of_Programming wikiPageExternalLink www.unifyingtheories.org.
- Unifying_Theories_of_Programming wikiPageExternalLink utp-tutorial-CSP.pdf.
- Unifying_Theories_of_Programming wikiPageExternalLink utp-tutorial-designs-v2.pdf.
- Unifying_Theories_of_Programming wikiPageID "2849397".
- Unifying_Theories_of_Programming wikiPageLength "5844".
- Unifying_Theories_of_Programming wikiPageOutDegree "31".
- Unifying_Theories_of_Programming wikiPageRevisionID "704912340".
- Unifying_Theories_of_Programming wikiPageWikiLink Algebraic_semantics_(computer_science).
- Unifying_Theories_of_Programming wikiPageWikiLink Category:1998_books.
- Unifying_Theories_of_Programming wikiPageWikiLink Category:Computer_science_books.
- Unifying_Theories_of_Programming wikiPageWikiLink Category:Formal_methods_publications.
- Unifying_Theories_of_Programming wikiPageWikiLink Composition_of_relations.
- Unifying_Theories_of_Programming wikiPageWikiLink Computer.
- Unifying_Theories_of_Programming wikiPageWikiLink Computer_program.
- Unifying_Theories_of_Programming wikiPageWikiLink Computer_science.
- Unifying_Theories_of_Programming wikiPageWikiLink Conditional_(computer_programming).
- Unifying_Theories_of_Programming wikiPageWikiLink Denotational_semantics.
- Unifying_Theories_of_Programming wikiPageWikiLink Eric_Hehner.
- Unifying_Theories_of_Programming wikiPageWikiLink First-order_logic.
- Unifying_Theories_of_Programming wikiPageWikiLink Formal_specification.
- Unifying_Theories_of_Programming wikiPageWikiLink He_Jifeng.
- Unifying_Theories_of_Programming wikiPageWikiLink Idempotence.
- Unifying_Theories_of_Programming wikiPageWikiLink Jim_Woodcock.
- Unifying_Theories_of_Programming wikiPageWikiLink Least_fixed_point.
- Unifying_Theories_of_Programming wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Unifying_Theories_of_Programming wikiPageWikiLink Monotonic_function.
- Unifying_Theories_of_Programming wikiPageWikiLink Operational_semantics.
- Unifying_Theories_of_Programming wikiPageWikiLink Predicate_transformer_semantics.
- Unifying_Theories_of_Programming wikiPageWikiLink Predicative_programming.
- Unifying_Theories_of_Programming wikiPageWikiLink Prentice_Hall_International_Series_in_Computer_Science.
- Unifying_Theories_of_Programming wikiPageWikiLink Process_calculus.
- Unifying_Theories_of_Programming wikiPageWikiLink Recursion.
- Unifying_Theories_of_Programming wikiPageWikiLink Refinement_(computing).
- Unifying_Theories_of_Programming wikiPageWikiLink Semantics_(computer_science).
- Unifying_Theories_of_Programming wikiPageWikiLink Springer_Science+Business_Media.
- Unifying_Theories_of_Programming wikiPageWikiLink Tony_Hoare.
- Unifying_Theories_of_Programming wikiPageWikiLink Universal_quantification.
- Unifying_Theories_of_Programming wikiPageWikiLinkText "Unifying Theories of Programming".
- Unifying_Theories_of_Programming wikiPageUsesTemplate Template:Citeseerx.
- Unifying_Theories_of_Programming wikiPageUsesTemplate Template:DOI.
- Unifying_Theories_of_Programming wikiPageUsesTemplate Template:Reflist.
- Unifying_Theories_of_Programming subject Category:1998_books.
- Unifying_Theories_of_Programming subject Category:Computer_science_books.
- Unifying_Theories_of_Programming subject Category:Formal_methods_publications.
- Unifying_Theories_of_Programming type Book.
- Unifying_Theories_of_Programming type Work.
- Unifying_Theories_of_Programming type Book.
- Unifying_Theories_of_Programming type Method.
- Unifying_Theories_of_Programming type Publication.
- Unifying_Theories_of_Programming type Redirect.
- Unifying_Theories_of_Programming type Work.
- Unifying_Theories_of_Programming comment "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 label "Unifying Theories of Programming".
- Unifying_Theories_of_Programming sameAs Q3513774.
- Unifying_Theories_of_Programming sameAs Unifying_Theories_of_Programming.
- Unifying_Theories_of_Programming sameAs プログラミングの統一理論.
- Unifying_Theories_of_Programming sameAs m.086qbb.
- Unifying_Theories_of_Programming sameAs Q3513774.
- Unifying_Theories_of_Programming wasDerivedFrom Unifying_Theories_of_Programming?oldid=704912340.
- Unifying_Theories_of_Programming isPrimaryTopicOf Unifying_Theories_of_Programming.