Matches in SemOpenAlex for { <https://semopenalex.org/work/W1979753046> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1979753046 endingPage "121" @default.
- W1979753046 startingPage "100" @default.
- W1979753046 abstract "This paper presents a natural deduction proof of Hoare's logic carried out by the Edinburgh LCF theorem prover. The emphasis is on the way Hoare's theory is presented to the LCF, which looks very much like an exposition of syntax and semantics to human readers; and on the programmable heuristics (tactics). We also discuss some problems and possible improvements to the LCF." @default.
- W1979753046 created "2016-06-24" @default.
- W1979753046 creator A5059249773 @default.
- W1979753046 date "1987-01-01" @default.
- W1979753046 modified "2023-09-23" @default.
- W1979753046 title "Soundness of Hoare's logic: an automated proof using LCF" @default.
- W1979753046 cites W2987907651 @default.
- W1979753046 cites W4256124958 @default.
- W1979753046 doi "https://doi.org/10.1145/9758.11326" @default.
- W1979753046 hasPublicationYear "1987" @default.
- W1979753046 type Work @default.
- W1979753046 sameAs 1979753046 @default.
- W1979753046 citedByCount "11" @default.
- W1979753046 countsByYear W19797530462019 @default.
- W1979753046 crossrefType "journal-article" @default.
- W1979753046 hasAuthorship W1979753046A5059249773 @default.
- W1979753046 hasBestOaLocation W19797530461 @default.
- W1979753046 hasConcept C104949639 @default.
- W1979753046 hasConcept C108710211 @default.
- W1979753046 hasConcept C111919701 @default.
- W1979753046 hasConcept C127705205 @default.
- W1979753046 hasConcept C154945302 @default.
- W1979753046 hasConcept C156325763 @default.
- W1979753046 hasConcept C159718280 @default.
- W1979753046 hasConcept C173856430 @default.
- W1979753046 hasConcept C184337299 @default.
- W1979753046 hasConcept C199360897 @default.
- W1979753046 hasConcept C203265346 @default.
- W1979753046 hasConcept C206880738 @default.
- W1979753046 hasConcept C207648694 @default.
- W1979753046 hasConcept C2318724 @default.
- W1979753046 hasConcept C2524010 @default.
- W1979753046 hasConcept C33923547 @default.
- W1979753046 hasConcept C39920170 @default.
- W1979753046 hasConcept C41008148 @default.
- W1979753046 hasConcept C55439883 @default.
- W1979753046 hasConcept C58041814 @default.
- W1979753046 hasConcept C60048249 @default.
- W1979753046 hasConceptScore W1979753046C104949639 @default.
- W1979753046 hasConceptScore W1979753046C108710211 @default.
- W1979753046 hasConceptScore W1979753046C111919701 @default.
- W1979753046 hasConceptScore W1979753046C127705205 @default.
- W1979753046 hasConceptScore W1979753046C154945302 @default.
- W1979753046 hasConceptScore W1979753046C156325763 @default.
- W1979753046 hasConceptScore W1979753046C159718280 @default.
- W1979753046 hasConceptScore W1979753046C173856430 @default.
- W1979753046 hasConceptScore W1979753046C184337299 @default.
- W1979753046 hasConceptScore W1979753046C199360897 @default.
- W1979753046 hasConceptScore W1979753046C203265346 @default.
- W1979753046 hasConceptScore W1979753046C206880738 @default.
- W1979753046 hasConceptScore W1979753046C207648694 @default.
- W1979753046 hasConceptScore W1979753046C2318724 @default.
- W1979753046 hasConceptScore W1979753046C2524010 @default.
- W1979753046 hasConceptScore W1979753046C33923547 @default.
- W1979753046 hasConceptScore W1979753046C39920170 @default.
- W1979753046 hasConceptScore W1979753046C41008148 @default.
- W1979753046 hasConceptScore W1979753046C55439883 @default.
- W1979753046 hasConceptScore W1979753046C58041814 @default.
- W1979753046 hasConceptScore W1979753046C60048249 @default.
- W1979753046 hasIssue "1" @default.
- W1979753046 hasLocation W19797530461 @default.
- W1979753046 hasOpenAccess W1979753046 @default.
- W1979753046 hasPrimaryLocation W19797530461 @default.
- W1979753046 hasRelatedWork W1501679392 @default.
- W1979753046 hasRelatedWork W1501715400 @default.
- W1979753046 hasRelatedWork W1523915036 @default.
- W1979753046 hasRelatedWork W1979753046 @default.
- W1979753046 hasRelatedWork W2003315346 @default.
- W1979753046 hasRelatedWork W2031111340 @default.
- W1979753046 hasRelatedWork W2565018286 @default.
- W1979753046 hasRelatedWork W416465950 @default.
- W1979753046 hasRelatedWork W4232354397 @default.
- W1979753046 hasRelatedWork W98039524 @default.
- W1979753046 hasVolume "9" @default.
- W1979753046 isParatext "false" @default.
- W1979753046 isRetracted "false" @default.
- W1979753046 magId "1979753046" @default.
- W1979753046 workType "article" @default.