Matches in SemOpenAlex for { <https://semopenalex.org/work/W2143730943> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2143730943 abstract "Abstract : Despite the fact that computer scientists have developed a variety of formal methods for proving computer programs correct, the formal verification of a non-trivial program is still a formidable task. Moreover, the notion of proof is so imprecise in most existing verification systems, that the validity of the proofs generated is open to question. With an aim toward rectifying these problems, the research discussed in this dissertation attempts to accomplish the following objectives: 1. To develop a programming language which is sufficiently powerful to express many interesting algorithms clearly and succintly, yet simple enough to have a tractable formal semantic definition. 2. To completely specify both proof theoretic and model theoretic formal semantics for this language using the simplest possible abstractions. 3. To develop an interactive program verification system for the language which automatically performs as many of the straightforward steps in a verification as possible." @default.
- W2143730943 created "2016-06-24" @default.
- W2143730943 creator A5058184764 @default.
- W2143730943 date "1977-01-01" @default.
- W2143730943 modified "2023-09-23" @default.
- W2143730943 title "A practical formal semantic definition and verification system for typed lisp." @default.
- W2143730943 hasPublicationYear "1977" @default.
- W2143730943 type Work @default.
- W2143730943 sameAs 2143730943 @default.
- W2143730943 citedByCount "12" @default.
- W2143730943 crossrefType "book" @default.
- W2143730943 hasAuthorship W2143730943A5058184764 @default.
- W2143730943 hasConcept C102315432 @default.
- W2143730943 hasConcept C108710211 @default.
- W2143730943 hasConcept C111498074 @default.
- W2143730943 hasConcept C119263510 @default.
- W2143730943 hasConcept C136197465 @default.
- W2143730943 hasConcept C15077461 @default.
- W2143730943 hasConcept C154945302 @default.
- W2143730943 hasConcept C184337299 @default.
- W2143730943 hasConcept C190883126 @default.
- W2143730943 hasConcept C199360897 @default.
- W2143730943 hasConcept C203265346 @default.
- W2143730943 hasConcept C2524010 @default.
- W2143730943 hasConcept C33923547 @default.
- W2143730943 hasConcept C34165917 @default.
- W2143730943 hasConcept C41008148 @default.
- W2143730943 hasConcept C50033165 @default.
- W2143730943 hasConcept C75606506 @default.
- W2143730943 hasConcept C80444323 @default.
- W2143730943 hasConceptScore W2143730943C102315432 @default.
- W2143730943 hasConceptScore W2143730943C108710211 @default.
- W2143730943 hasConceptScore W2143730943C111498074 @default.
- W2143730943 hasConceptScore W2143730943C119263510 @default.
- W2143730943 hasConceptScore W2143730943C136197465 @default.
- W2143730943 hasConceptScore W2143730943C15077461 @default.
- W2143730943 hasConceptScore W2143730943C154945302 @default.
- W2143730943 hasConceptScore W2143730943C184337299 @default.
- W2143730943 hasConceptScore W2143730943C190883126 @default.
- W2143730943 hasConceptScore W2143730943C199360897 @default.
- W2143730943 hasConceptScore W2143730943C203265346 @default.
- W2143730943 hasConceptScore W2143730943C2524010 @default.
- W2143730943 hasConceptScore W2143730943C33923547 @default.
- W2143730943 hasConceptScore W2143730943C34165917 @default.
- W2143730943 hasConceptScore W2143730943C41008148 @default.
- W2143730943 hasConceptScore W2143730943C50033165 @default.
- W2143730943 hasConceptScore W2143730943C75606506 @default.
- W2143730943 hasConceptScore W2143730943C80444323 @default.
- W2143730943 hasLocation W21437309431 @default.
- W2143730943 hasOpenAccess W2143730943 @default.
- W2143730943 hasPrimaryLocation W21437309431 @default.
- W2143730943 hasRelatedWork W1481699584 @default.
- W2143730943 hasRelatedWork W1501686914 @default.
- W2143730943 hasRelatedWork W1590828018 @default.
- W2143730943 hasRelatedWork W1591148686 @default.
- W2143730943 hasRelatedWork W1593280365 @default.
- W2143730943 hasRelatedWork W1988651604 @default.
- W2143730943 hasRelatedWork W1991991357 @default.
- W2143730943 hasRelatedWork W2023299380 @default.
- W2143730943 hasRelatedWork W2028074529 @default.
- W2143730943 hasRelatedWork W2151402235 @default.
- W2143730943 hasRelatedWork W2159709550 @default.
- W2143730943 hasRelatedWork W2166089338 @default.
- W2143730943 hasRelatedWork W2340063198 @default.
- W2143730943 hasRelatedWork W2956641661 @default.
- W2143730943 hasRelatedWork W3146075203 @default.
- W2143730943 hasRelatedWork W3181441684 @default.
- W2143730943 hasRelatedWork W3193129068 @default.
- W2143730943 hasRelatedWork W3199565109 @default.
- W2143730943 hasRelatedWork W633094753 @default.
- W2143730943 hasRelatedWork W88524382 @default.
- W2143730943 isParatext "false" @default.
- W2143730943 isRetracted "false" @default.
- W2143730943 magId "2143730943" @default.
- W2143730943 workType "book" @default.