Matches in SemOpenAlex for { <https://semopenalex.org/work/W1609108672> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1609108672 abstract "A pragmatic approach to algorithm specification and verification is presented. The language AL provides a level of abstraction between a mathematical specification notation and a programming language, supporting compact but expressive algorithm description. Proofs of correctness about algorithms written in AL can be done via an embedding of the semantics of the language in a proof system; implementations of algorithms can be done through translation to standard programming languages. The proofs of correctness are more tractable than direct verification of programming language code; descriptions in AL are more easily related to executable programs than standard mathematical specifications. AL provides an independent, portable description which can be related to different proof systems and different programming languages. Several interfaces have been explored and tools for fully automatic translation of AL specifications into the HOL logic and Standard ML executable code have been implemented. A substantial case study uses AL as the common specification language from which both the formal proofs of correctness and executable code have been produced." @default.
- W1609108672 created "2016-06-24" @default.
- W1609108672 creator A5037225582 @default.
- W1609108672 date "1997-09-01" @default.
- W1609108672 modified "2023-10-18" @default.
- W1609108672 title "A Simple Algorithm Specification Language and its Application" @default.
- W1609108672 cites W1511668635 @default.
- W1609108672 cites W1519127112 @default.
- W1609108672 cites W1522873391 @default.
- W1609108672 cites W1534508664 @default.
- W1609108672 cites W1565996669 @default.
- W1609108672 cites W1574919925 @default.
- W1609108672 cites W1590828018 @default.
- W1609108672 cites W1606021777 @default.
- W1609108672 cites W1655990431 @default.
- W1609108672 cites W1829244603 @default.
- W1609108672 cites W1970495662 @default.
- W1609108672 cites W2069300761 @default.
- W1609108672 cites W2074756472 @default.
- W1609108672 cites W2130814620 @default.
- W1609108672 cites W2147543351 @default.
- W1609108672 cites W3146075203 @default.
- W1609108672 doi "https://doi.org/10.14236/ewic/fm1997.4" @default.
- W1609108672 hasPublicationYear "1997" @default.
- W1609108672 type Work @default.
- W1609108672 sameAs 1609108672 @default.
- W1609108672 citedByCount "0" @default.
- W1609108672 crossrefType "proceedings-article" @default.
- W1609108672 hasAuthorship W1609108672A5037225582 @default.
- W1609108672 hasBestOaLocation W16091086721 @default.
- W1609108672 hasConcept C108710211 @default.
- W1609108672 hasConcept C11413529 @default.
- W1609108672 hasConcept C119263510 @default.
- W1609108672 hasConcept C15077461 @default.
- W1609108672 hasConcept C160145156 @default.
- W1609108672 hasConcept C17435882 @default.
- W1609108672 hasConcept C199360897 @default.
- W1609108672 hasConcept C201677973 @default.
- W1609108672 hasConcept C2524010 @default.
- W1609108672 hasConcept C33923547 @default.
- W1609108672 hasConcept C34165917 @default.
- W1609108672 hasConcept C41008148 @default.
- W1609108672 hasConcept C50033165 @default.
- W1609108672 hasConcept C55439883 @default.
- W1609108672 hasConcept C80444323 @default.
- W1609108672 hasConceptScore W1609108672C108710211 @default.
- W1609108672 hasConceptScore W1609108672C11413529 @default.
- W1609108672 hasConceptScore W1609108672C119263510 @default.
- W1609108672 hasConceptScore W1609108672C15077461 @default.
- W1609108672 hasConceptScore W1609108672C160145156 @default.
- W1609108672 hasConceptScore W1609108672C17435882 @default.
- W1609108672 hasConceptScore W1609108672C199360897 @default.
- W1609108672 hasConceptScore W1609108672C201677973 @default.
- W1609108672 hasConceptScore W1609108672C2524010 @default.
- W1609108672 hasConceptScore W1609108672C33923547 @default.
- W1609108672 hasConceptScore W1609108672C34165917 @default.
- W1609108672 hasConceptScore W1609108672C41008148 @default.
- W1609108672 hasConceptScore W1609108672C50033165 @default.
- W1609108672 hasConceptScore W1609108672C55439883 @default.
- W1609108672 hasConceptScore W1609108672C80444323 @default.
- W1609108672 hasLocation W16091086721 @default.
- W1609108672 hasOpenAccess W1609108672 @default.
- W1609108672 hasPrimaryLocation W16091086721 @default.
- W1609108672 hasRelatedWork W1510693283 @default.
- W1609108672 hasRelatedWork W1554509881 @default.
- W1609108672 hasRelatedWork W1576042299 @default.
- W1609108672 hasRelatedWork W1586362748 @default.
- W1609108672 hasRelatedWork W1609108672 @default.
- W1609108672 hasRelatedWork W1994798071 @default.
- W1609108672 hasRelatedWork W207164054 @default.
- W1609108672 hasRelatedWork W2547751540 @default.
- W1609108672 hasRelatedWork W2978390175 @default.
- W1609108672 hasRelatedWork W3142159695 @default.
- W1609108672 isParatext "false" @default.
- W1609108672 isRetracted "false" @default.
- W1609108672 magId "1609108672" @default.
- W1609108672 workType "article" @default.