FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2015874281> ?p ?o ?g. }

• W2015874281 endingPage "1064" @default.
• W2015874281 startingPage "1048" @default.
• W2015874281 abstract "A data abstraction can be naturally specified using algebraic axioms. The virtue of these axioms is that they permit a representation-independent formal specification of a data type. An example is given which shows how to employ algebraic axioms at successive levels of implementation. The major thrust of the paper is twofold. First, it is shown how the use of algebraic axiomatizations can simplify the process of proving the correctness of an implementation of an abstract data type. Second, semi-automatic tools are described which can be used both to automate such proofs of correctness and to derive an immediate implementation from the axioms. This implementation allows for limited testing of programs at design time, before a conventional implementation is accomplished." @default.
• W2015874281 created "2016-06-24" @default.
• W2015874281 creator A5007282049 @default.
• W2015874281 creator A5046039594 @default.
• W2015874281 creator A5080360604 @default.
• W2015874281 date "1978-12-01" @default.
• W2015874281 modified "2023-10-01" @default.
• W2015874281 title "Abstract data types and software validation" @default.
• W2015874281 cites W1967455278 @default.
• W2015874281 cites W1988651604 @default.
• W2015874281 cites W2008395018 @default.
• W2015874281 cites W2023056990 @default.
• W2015874281 cites W2028074529 @default.
• W2015874281 cites W2029126323 @default.
• W2015874281 cites W2073544767 @default.
• W2015874281 cites W2095224573 @default.
• W2015874281 cites W2148620491 @default.
• W2015874281 cites W3023216518 @default.
• W2015874281 cites W4255257842 @default.
• W2015874281 doi "https://doi.org/10.1145/359657.359666" @default.
• W2015874281 hasPublicationYear "1978" @default.
• W2015874281 type Work @default.
• W2015874281 sameAs 2015874281 @default.
• W2015874281 citedByCount "353" @default.
• W2015874281 countsByYear W20158742812012 @default.
• W2015874281 countsByYear W20158742812013 @default.
• W2015874281 countsByYear W20158742812014 @default.
• W2015874281 countsByYear W20158742812015 @default.
• W2015874281 countsByYear W20158742812017 @default.
• W2015874281 countsByYear W20158742812018 @default.
• W2015874281 countsByYear W20158742812019 @default.
• W2015874281 countsByYear W20158742812021 @default.
• W2015874281 countsByYear W20158742812022 @default.
• W2015874281 crossrefType "journal-article" @default.
• W2015874281 hasAuthorship W2015874281A5007282049 @default.
• W2015874281 hasAuthorship W2015874281A5046039594 @default.
• W2015874281 hasAuthorship W2015874281A5080360604 @default.
• W2015874281 hasConcept C108710211 @default.
• W2015874281 hasConcept C111472728 @default.
• W2015874281 hasConcept C11413529 @default.
• W2015874281 hasConcept C116253237 @default.
• W2015874281 hasConcept C124304363 @default.
• W2015874281 hasConcept C134306372 @default.
• W2015874281 hasConcept C136119220 @default.
• W2015874281 hasConcept C138885662 @default.
• W2015874281 hasConcept C138958017 @default.
• W2015874281 hasConcept C167729594 @default.
• W2015874281 hasConcept C175971053 @default.
• W2015874281 hasConcept C17744445 @default.
• W2015874281 hasConcept C199360897 @default.
• W2015874281 hasConcept C199539241 @default.
• W2015874281 hasConcept C202444582 @default.
• W2015874281 hasConcept C2524010 @default.
• W2015874281 hasConcept C2776359362 @default.
• W2015874281 hasConcept C2777691520 @default.
• W2015874281 hasConcept C33923547 @default.
• W2015874281 hasConcept C41008148 @default.
• W2015874281 hasConcept C55439883 @default.
• W2015874281 hasConcept C80444323 @default.
• W2015874281 hasConcept C9376300 @default.
• W2015874281 hasConcept C94625758 @default.
• W2015874281 hasConceptScore W2015874281C108710211 @default.
• W2015874281 hasConceptScore W2015874281C111472728 @default.
• W2015874281 hasConceptScore W2015874281C11413529 @default.
• W2015874281 hasConceptScore W2015874281C116253237 @default.
• W2015874281 hasConceptScore W2015874281C124304363 @default.
• W2015874281 hasConceptScore W2015874281C134306372 @default.
• W2015874281 hasConceptScore W2015874281C136119220 @default.
• W2015874281 hasConceptScore W2015874281C138885662 @default.
• W2015874281 hasConceptScore W2015874281C138958017 @default.
• W2015874281 hasConceptScore W2015874281C167729594 @default.
• W2015874281 hasConceptScore W2015874281C175971053 @default.
• W2015874281 hasConceptScore W2015874281C17744445 @default.
• W2015874281 hasConceptScore W2015874281C199360897 @default.
• W2015874281 hasConceptScore W2015874281C199539241 @default.
• W2015874281 hasConceptScore W2015874281C202444582 @default.
• W2015874281 hasConceptScore W2015874281C2524010 @default.
• W2015874281 hasConceptScore W2015874281C2776359362 @default.
• W2015874281 hasConceptScore W2015874281C2777691520 @default.
• W2015874281 hasConceptScore W2015874281C33923547 @default.
• W2015874281 hasConceptScore W2015874281C41008148 @default.
• W2015874281 hasConceptScore W2015874281C55439883 @default.
• W2015874281 hasConceptScore W2015874281C80444323 @default.
• W2015874281 hasConceptScore W2015874281C9376300 @default.
• W2015874281 hasConceptScore W2015874281C94625758 @default.
• W2015874281 hasIssue "12" @default.
• W2015874281 hasLocation W20158742811 @default.
• W2015874281 hasOpenAccess W2015874281 @default.
• W2015874281 hasPrimaryLocation W20158742811 @default.
• W2015874281 hasRelatedWork W1608683946 @default.
• W2015874281 hasRelatedWork W1995925686 @default.
• W2015874281 hasRelatedWork W2012189654 @default.
• W2015874281 hasRelatedWork W2015874281 @default.
• W2015874281 hasRelatedWork W2157716537 @default.
• W2015874281 hasRelatedWork W2543408675 @default.
• W2015874281 hasRelatedWork W2585574157 @default.
• W2015874281 hasRelatedWork W283924426 @default.
• W2015874281 hasRelatedWork W3160136729 @default.

• next