Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065720657> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2065720657 abstract "PL/CV is a new formal system which mixes commands and assertions. It includes axioms and rules for a theory of programming over integers and characters. Since arguments in the theory can be checked by the PL/CV Proof Checker, the system offers an approach to mechanical program verification. The Proof Checker is efficient enough for classroom use. Early experience with PL/CV indicates that it nicely supports formal verification of elementary arguments. Continued work should enable the formalization of non-elementary reasoning as well." @default.
- W2065720657 created "2016-06-24" @default.
- W2065720657 creator A5051801130 @default.
- W2065720657 creator A5065161565 @default.
- W2065720657 date "1979-01-01" @default.
- W2065720657 modified "2023-09-24" @default.
- W2065720657 title "A PL/CV precis" @default.
- W2065720657 cites W1483568252 @default.
- W2065720657 cites W1504349501 @default.
- W2065720657 cites W151011738 @default.
- W2065720657 cites W1512820118 @default.
- W2065720657 cites W1574129634 @default.
- W2065720657 cites W1603543937 @default.
- W2065720657 cites W1787471585 @default.
- W2065720657 cites W1811970153 @default.
- W2065720657 cites W1969777579 @default.
- W2065720657 cites W1988651604 @default.
- W2065720657 cites W2000346568 @default.
- W2065720657 cites W2032889498 @default.
- W2065720657 cites W2039744511 @default.
- W2065720657 cites W2093541252 @default.
- W2065720657 cites W2094015376 @default.
- W2065720657 cites W2095224573 @default.
- W2065720657 cites W2103953153 @default.
- W2065720657 cites W2156472435 @default.
- W2065720657 cites W3146075203 @default.
- W2065720657 cites W3174846066 @default.
- W2065720657 cites W599561026 @default.
- W2065720657 cites W60682534 @default.
- W2065720657 cites W88524382 @default.
- W2065720657 cites W99492602 @default.
- W2065720657 doi "https://doi.org/10.1145/567752.567754" @default.
- W2065720657 hasPublicationYear "1979" @default.
- W2065720657 type Work @default.
- W2065720657 sameAs 2065720657 @default.
- W2065720657 citedByCount "3" @default.
- W2065720657 crossrefType "proceedings-article" @default.
- W2065720657 hasAuthorship W2065720657A5051801130 @default.
- W2065720657 hasAuthorship W2065720657A5065161565 @default.
- W2065720657 hasConcept C41008148 @default.
- W2065720657 hasConceptScore W2065720657C41008148 @default.
- W2065720657 hasLocation W20657206571 @default.
- W2065720657 hasOpenAccess W2065720657 @default.
- W2065720657 hasPrimaryLocation W20657206571 @default.
- W2065720657 hasRelatedWork W2093578348 @default.
- W2065720657 hasRelatedWork W2130043461 @default.
- W2065720657 hasRelatedWork W2350741829 @default.
- W2065720657 hasRelatedWork W2358668433 @default.
- W2065720657 hasRelatedWork W2376932109 @default.
- W2065720657 hasRelatedWork W2382290278 @default.
- W2065720657 hasRelatedWork W2390279801 @default.
- W2065720657 hasRelatedWork W2748952813 @default.
- W2065720657 hasRelatedWork W2899084033 @default.
- W2065720657 hasRelatedWork W3004735627 @default.
- W2065720657 isParatext "false" @default.
- W2065720657 isRetracted "false" @default.
- W2065720657 magId "2065720657" @default.
- W2065720657 workType "article" @default.