Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003553652> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2003553652 abstract "The goal of automatic program verification is to prove programs correct formally. We argue that the existing notions of formal proof are too syntactic and as such too intimately bound up with details of low-level computation. We propose a more semantic notion of formal proof which nevertheless pays due respect to the problem of effectiveness in proof checking. Such a notion supplies a more practical basis for the specification of verifiers than do extant approaches. In particular the problem of constructing verifiers according to our approach is reduced entirely to routine development and implementation of decision methods, while permitting shorter proofs and yet remaining easy to develop proofs with." @default.
- W2003553652 created "2016-06-24" @default.
- W2003553652 creator A5052139381 @default.
- W2003553652 date "1980-01-01" @default.
- W2003553652 modified "2023-09-26" @default.
- W2003553652 title "On specifying verifiers" @default.
- W2003553652 cites W1572470107 @default.
- W2003553652 cites W162868652 @default.
- W2003553652 cites W1988083342 @default.
- W2003553652 cites W2005973420 @default.
- W2003553652 cites W2039744511 @default.
- W2003553652 cites W2056098697 @default.
- W2003553652 cites W2129495578 @default.
- W2003553652 cites W3146075203 @default.
- W2003553652 doi "https://doi.org/10.1145/567446.567457" @default.
- W2003553652 hasPublicationYear "1980" @default.
- W2003553652 type Work @default.
- W2003553652 sameAs 2003553652 @default.
- W2003553652 citedByCount "3" @default.
- W2003553652 crossrefType "proceedings-article" @default.
- W2003553652 hasAuthorship W2003553652A5052139381 @default.
- W2003553652 hasBestOaLocation W20035536521 @default.
- W2003553652 hasConcept C108710211 @default.
- W2003553652 hasConcept C111498074 @default.
- W2003553652 hasConcept C178300618 @default.
- W2003553652 hasConcept C199360897 @default.
- W2003553652 hasConcept C203265346 @default.
- W2003553652 hasConcept C206880738 @default.
- W2003553652 hasConcept C2524010 @default.
- W2003553652 hasConcept C33923547 @default.
- W2003553652 hasConcept C41008148 @default.
- W2003553652 hasConcept C45374587 @default.
- W2003553652 hasConcept C75606506 @default.
- W2003553652 hasConcept C78458016 @default.
- W2003553652 hasConcept C80444323 @default.
- W2003553652 hasConcept C86803240 @default.
- W2003553652 hasConcept C94461902 @default.
- W2003553652 hasConceptScore W2003553652C108710211 @default.
- W2003553652 hasConceptScore W2003553652C111498074 @default.
- W2003553652 hasConceptScore W2003553652C178300618 @default.
- W2003553652 hasConceptScore W2003553652C199360897 @default.
- W2003553652 hasConceptScore W2003553652C203265346 @default.
- W2003553652 hasConceptScore W2003553652C206880738 @default.
- W2003553652 hasConceptScore W2003553652C2524010 @default.
- W2003553652 hasConceptScore W2003553652C33923547 @default.
- W2003553652 hasConceptScore W2003553652C41008148 @default.
- W2003553652 hasConceptScore W2003553652C45374587 @default.
- W2003553652 hasConceptScore W2003553652C75606506 @default.
- W2003553652 hasConceptScore W2003553652C78458016 @default.
- W2003553652 hasConceptScore W2003553652C80444323 @default.
- W2003553652 hasConceptScore W2003553652C86803240 @default.
- W2003553652 hasConceptScore W2003553652C94461902 @default.
- W2003553652 hasLocation W20035536521 @default.
- W2003553652 hasOpenAccess W2003553652 @default.
- W2003553652 hasPrimaryLocation W20035536521 @default.
- W2003553652 hasRelatedWork W1503487801 @default.
- W2003553652 hasRelatedWork W1520408004 @default.
- W2003553652 hasRelatedWork W1538995403 @default.
- W2003553652 hasRelatedWork W1819460135 @default.
- W2003553652 hasRelatedWork W2050033680 @default.
- W2003553652 hasRelatedWork W2170655052 @default.
- W2003553652 hasRelatedWork W2255432097 @default.
- W2003553652 hasRelatedWork W3005028771 @default.
- W2003553652 hasRelatedWork W4230236249 @default.
- W2003553652 hasRelatedWork W4295798319 @default.
- W2003553652 isParatext "false" @default.
- W2003553652 isRetracted "false" @default.
- W2003553652 magId "2003553652" @default.
- W2003553652 workType "article" @default.