Matches in SemOpenAlex for { <https://semopenalex.org/work/W2927999238> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2927999238 abstract "Isabelle/UTP is a mechanised theory engineering toolkit based on Hoare and He’s Unifying Theories of Programming (UTP). UTP enables the creation of denotational, algebraic, and operational semantics for different programming languages using an alphabetised relational calculus. We provide a semantic embedding of the alphabetised relational calculus in Isabelle/HOL, including new type definitions, relational constructors, automated proof tactics, and accompanying algebraic laws. Isabelle/UTP can be used to both capture laws of programming for different languages, and put these fundamental theorems to work in the creation of associated verification tools, using calculi like Hoare logics. This document describes the relational core of the UTP in Isabelle/HOL." @default.
- W2927999238 created "2019-04-11" @default.
- W2927999238 creator A5001790193 @default.
- W2927999238 creator A5016094821 @default.
- W2927999238 creator A5018039260 @default.
- W2927999238 creator A5045997240 @default.
- W2927999238 creator A5082109015 @default.
- W2927999238 date "2019-06-11" @default.
- W2927999238 modified "2023-09-28" @default.
- W2927999238 title "Isabelle/UTP : Mechanised Theory Engineering for Unifying Theories of Programming" @default.
- W2927999238 hasPublicationYear "2019" @default.
- W2927999238 type Work @default.
- W2927999238 sameAs 2927999238 @default.
- W2927999238 citedByCount "3" @default.
- W2927999238 countsByYear W29279992382019 @default.
- W2927999238 countsByYear W29279992382021 @default.
- W2927999238 crossrefType "journal-article" @default.
- W2927999238 hasAuthorship W2927999238A5001790193 @default.
- W2927999238 hasAuthorship W2927999238A5016094821 @default.
- W2927999238 hasAuthorship W2927999238A5018039260 @default.
- W2927999238 hasAuthorship W2927999238A5045997240 @default.
- W2927999238 hasAuthorship W2927999238A5082109015 @default.
- W2927999238 hasConcept C104949639 @default.
- W2927999238 hasConcept C108710211 @default.
- W2927999238 hasConcept C154945302 @default.
- W2927999238 hasConcept C156325763 @default.
- W2927999238 hasConcept C17435882 @default.
- W2927999238 hasConcept C184337299 @default.
- W2927999238 hasConcept C199343813 @default.
- W2927999238 hasConcept C199360897 @default.
- W2927999238 hasConcept C203265346 @default.
- W2927999238 hasConcept C207648694 @default.
- W2927999238 hasConcept C2524010 @default.
- W2927999238 hasConcept C2777686260 @default.
- W2927999238 hasConcept C2779729104 @default.
- W2927999238 hasConcept C33923547 @default.
- W2927999238 hasConcept C40207289 @default.
- W2927999238 hasConcept C41008148 @default.
- W2927999238 hasConcept C41608201 @default.
- W2927999238 hasConcept C55439883 @default.
- W2927999238 hasConcept C5655090 @default.
- W2927999238 hasConcept C71924100 @default.
- W2927999238 hasConcept C77088390 @default.
- W2927999238 hasConcept C99436015 @default.
- W2927999238 hasConceptScore W2927999238C104949639 @default.
- W2927999238 hasConceptScore W2927999238C108710211 @default.
- W2927999238 hasConceptScore W2927999238C154945302 @default.
- W2927999238 hasConceptScore W2927999238C156325763 @default.
- W2927999238 hasConceptScore W2927999238C17435882 @default.
- W2927999238 hasConceptScore W2927999238C184337299 @default.
- W2927999238 hasConceptScore W2927999238C199343813 @default.
- W2927999238 hasConceptScore W2927999238C199360897 @default.
- W2927999238 hasConceptScore W2927999238C203265346 @default.
- W2927999238 hasConceptScore W2927999238C207648694 @default.
- W2927999238 hasConceptScore W2927999238C2524010 @default.
- W2927999238 hasConceptScore W2927999238C2777686260 @default.
- W2927999238 hasConceptScore W2927999238C2779729104 @default.
- W2927999238 hasConceptScore W2927999238C33923547 @default.
- W2927999238 hasConceptScore W2927999238C40207289 @default.
- W2927999238 hasConceptScore W2927999238C41008148 @default.
- W2927999238 hasConceptScore W2927999238C41608201 @default.
- W2927999238 hasConceptScore W2927999238C55439883 @default.
- W2927999238 hasConceptScore W2927999238C5655090 @default.
- W2927999238 hasConceptScore W2927999238C71924100 @default.
- W2927999238 hasConceptScore W2927999238C77088390 @default.
- W2927999238 hasConceptScore W2927999238C99436015 @default.
- W2927999238 hasLocation W29279992381 @default.
- W2927999238 hasOpenAccess W2927999238 @default.
- W2927999238 hasPrimaryLocation W29279992381 @default.
- W2927999238 hasRelatedWork W1164721860 @default.
- W2927999238 hasRelatedWork W1511826042 @default.
- W2927999238 hasRelatedWork W1537178853 @default.
- W2927999238 hasRelatedWork W1549441918 @default.
- W2927999238 hasRelatedWork W1858743739 @default.
- W2927999238 hasRelatedWork W1976054113 @default.
- W2927999238 hasRelatedWork W1998368317 @default.
- W2927999238 hasRelatedWork W2057387500 @default.
- W2927999238 hasRelatedWork W2066210260 @default.
- W2927999238 hasRelatedWork W2068082871 @default.
- W2927999238 hasRelatedWork W2106192381 @default.
- W2927999238 hasRelatedWork W2144973245 @default.
- W2927999238 hasRelatedWork W2521918545 @default.
- W2927999238 hasRelatedWork W2569046096 @default.
- W2927999238 hasRelatedWork W2779136310 @default.
- W2927999238 hasRelatedWork W2780548495 @default.
- W2927999238 hasRelatedWork W2875588736 @default.
- W2927999238 hasRelatedWork W2912806430 @default.
- W2927999238 hasRelatedWork W3037207514 @default.
- W2927999238 hasRelatedWork W3102912103 @default.
- W2927999238 hasVolume "2019" @default.
- W2927999238 isParatext "false" @default.
- W2927999238 isRetracted "false" @default.
- W2927999238 magId "2927999238" @default.
- W2927999238 workType "article" @default.