Matches in SemOpenAlex for { <https://semopenalex.org/work/W4235347223> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W4235347223 endingPage "225" @default.
- W4235347223 startingPage "209" @default.
- W4235347223 abstract "In Hoare and He's unifying theories of programming, the alphabetised relational calculus is used to describe and relate different programming paradigms, including functional, imperative, logic, and parallel programming. In this paper, we give a formal semantics of the alphabetised relational calculus, and use our definition to create a deep embedding of the calculus in Z. This allows us to use one of the standard theorem provers for Z, in order to provide mechanised support for reasoning about programs in the unifying theory." @default.
- W4235347223 created "2022-05-12" @default.
- W4235347223 creator A5078248741 @default.
- W4235347223 date "2004-05-01" @default.
- W4235347223 modified "2023-09-23" @default.
- W4235347223 title "Mechanising the Alphabetised Relational Calculus" @default.
- W4235347223 doi "https://doi.org/10.1016/s1571-0661(04)05022-4" @default.
- W4235347223 hasPublicationYear "2004" @default.
- W4235347223 type Work @default.
- W4235347223 citedByCount "0" @default.
- W4235347223 crossrefType "journal-article" @default.
- W4235347223 hasAuthorship W4235347223A5078248741 @default.
- W4235347223 hasBestOaLocation W42353472231 @default.
- W4235347223 hasConcept C104949639 @default.
- W4235347223 hasConcept C154945302 @default.
- W4235347223 hasConcept C16739119 @default.
- W4235347223 hasConcept C184337299 @default.
- W4235347223 hasConcept C199343813 @default.
- W4235347223 hasConcept C199360897 @default.
- W4235347223 hasConcept C22497172 @default.
- W4235347223 hasConcept C2777686260 @default.
- W4235347223 hasConcept C33923547 @default.
- W4235347223 hasConcept C40207289 @default.
- W4235347223 hasConcept C41008148 @default.
- W4235347223 hasConcept C41608201 @default.
- W4235347223 hasConcept C55439883 @default.
- W4235347223 hasConcept C5655090 @default.
- W4235347223 hasConcept C71924100 @default.
- W4235347223 hasConcept C77088390 @default.
- W4235347223 hasConcept C80444323 @default.
- W4235347223 hasConcept C99436015 @default.
- W4235347223 hasConceptScore W4235347223C104949639 @default.
- W4235347223 hasConceptScore W4235347223C154945302 @default.
- W4235347223 hasConceptScore W4235347223C16739119 @default.
- W4235347223 hasConceptScore W4235347223C184337299 @default.
- W4235347223 hasConceptScore W4235347223C199343813 @default.
- W4235347223 hasConceptScore W4235347223C199360897 @default.
- W4235347223 hasConceptScore W4235347223C22497172 @default.
- W4235347223 hasConceptScore W4235347223C2777686260 @default.
- W4235347223 hasConceptScore W4235347223C33923547 @default.
- W4235347223 hasConceptScore W4235347223C40207289 @default.
- W4235347223 hasConceptScore W4235347223C41008148 @default.
- W4235347223 hasConceptScore W4235347223C41608201 @default.
- W4235347223 hasConceptScore W4235347223C55439883 @default.
- W4235347223 hasConceptScore W4235347223C5655090 @default.
- W4235347223 hasConceptScore W4235347223C71924100 @default.
- W4235347223 hasConceptScore W4235347223C77088390 @default.
- W4235347223 hasConceptScore W4235347223C80444323 @default.
- W4235347223 hasConceptScore W4235347223C99436015 @default.
- W4235347223 hasLocation W42353472231 @default.
- W4235347223 hasOpenAccess W4235347223 @default.
- W4235347223 hasPrimaryLocation W42353472231 @default.
- W4235347223 hasRelatedWork W1587224678 @default.
- W4235347223 hasRelatedWork W1855927527 @default.
- W4235347223 hasRelatedWork W2047793074 @default.
- W4235347223 hasRelatedWork W2090686886 @default.
- W4235347223 hasRelatedWork W2282139525 @default.
- W4235347223 hasRelatedWork W2358283200 @default.
- W4235347223 hasRelatedWork W2362096438 @default.
- W4235347223 hasRelatedWork W4235347223 @default.
- W4235347223 hasRelatedWork W89732893 @default.
- W4235347223 hasRelatedWork W2500740404 @default.
- W4235347223 hasVolume "95" @default.
- W4235347223 isParatext "false" @default.
- W4235347223 isRetracted "false" @default.
- W4235347223 workType "article" @default.