FRINK Linked Data Fragments server

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

• W2078991602 abstract "Abstract The PROSPER functional specification language supports a “specification by prototyping” paradigm and relies on a unique and powerful type specification facility. Executable polymorphic specifications can be built from a small set of primitives. Types and functions are treated as values and can be the arguments and results of functions. Flexible parameterized type expressions are used to specify polymorphic functions and abstract data types. Abstract model specifications can be defined so that the invariants of a data structure can be part of the type, and only objects that meet the invariant are correctly typed." @default.
• W2078991602 created "2016-06-24" @default.
• W2078991602 creator A5006828223 @default.
• W2078991602 creator A5018638152 @default.
• W2078991602 date "1989-01-01" @default.
• W2078991602 modified "2023-09-27" @default.
• W2078991602 title "PROSPER: A language for specification by prototyping" @default.
• W2078991602 cites W1511621732 @default.
• W2078991602 cites W1523410483 @default.
• W2078991602 cites W1541962412 @default.
• W2078991602 cites W1595372275 @default.
• W2078991602 cites W1975565207 @default.
• W2078991602 cites W1996830008 @default.
• W2078991602 cites W2006346808 @default.
• W2078991602 cites W2018052761 @default.
• W2078991602 cites W2027657506 @default.
• W2078991602 cites W2036526565 @default.
• W2078991602 cites W2038754076 @default.
• W2078991602 cites W2048936559 @default.
• W2078991602 cites W2060872161 @default.
• W2078991602 cites W2062145157 @default.
• W2078991602 cites W2074864682 @default.
• W2078991602 cites W2078510290 @default.
• W2078991602 cites W2093541252 @default.
• W2078991602 cites W2114705282 @default.
• W2078991602 cites W2120852971 @default.
• W2078991602 cites W2128057448 @default.
• W2078991602 cites W2154774499 @default.
• W2078991602 cites W2172307690 @default.
• W2078991602 cites W57277416 @default.
• W2078991602 cites W80370608 @default.
• W2078991602 cites W97133795 @default.
• W2078991602 doi "https://doi.org/10.1016/0096-0551(89)90003-9" @default.
• W2078991602 hasPublicationYear "1989" @default.
• W2078991602 type Work @default.
• W2078991602 sameAs 2078991602 @default.
• W2078991602 citedByCount "6" @default.
• W2078991602 crossrefType "journal-article" @default.
• W2078991602 hasAuthorship W2078991602A5006828223 @default.
• W2078991602 hasAuthorship W2078991602A5018638152 @default.
• W2078991602 hasBestOaLocation W20789916022 @default.
• W2078991602 hasConcept C11413529 @default.
• W2078991602 hasConcept C138958017 @default.
• W2078991602 hasConcept C160145156 @default.
• W2078991602 hasConcept C165464430 @default.
• W2078991602 hasConcept C175971053 @default.
• W2078991602 hasConcept C177264268 @default.
• W2078991602 hasConcept C18903297 @default.
• W2078991602 hasConcept C190470478 @default.
• W2078991602 hasConcept C199360897 @default.
• W2078991602 hasConcept C201677973 @default.
• W2078991602 hasConcept C2777299769 @default.
• W2078991602 hasConcept C33923547 @default.
• W2078991602 hasConcept C37914503 @default.
• W2078991602 hasConcept C41008148 @default.
• W2078991602 hasConcept C86803240 @default.
• W2078991602 hasConcept C90069079 @default.
• W2078991602 hasConceptScore W2078991602C11413529 @default.
• W2078991602 hasConceptScore W2078991602C138958017 @default.
• W2078991602 hasConceptScore W2078991602C160145156 @default.
• W2078991602 hasConceptScore W2078991602C165464430 @default.
• W2078991602 hasConceptScore W2078991602C175971053 @default.
• W2078991602 hasConceptScore W2078991602C177264268 @default.
• W2078991602 hasConceptScore W2078991602C18903297 @default.
• W2078991602 hasConceptScore W2078991602C190470478 @default.
• W2078991602 hasConceptScore W2078991602C199360897 @default.
• W2078991602 hasConceptScore W2078991602C201677973 @default.
• W2078991602 hasConceptScore W2078991602C2777299769 @default.
• W2078991602 hasConceptScore W2078991602C33923547 @default.
• W2078991602 hasConceptScore W2078991602C37914503 @default.
• W2078991602 hasConceptScore W2078991602C41008148 @default.
• W2078991602 hasConceptScore W2078991602C86803240 @default.
• W2078991602 hasConceptScore W2078991602C90069079 @default.
• W2078991602 hasLocation W20789916021 @default.
• W2078991602 hasLocation W20789916022 @default.
• W2078991602 hasOpenAccess W2078991602 @default.
• W2078991602 hasPrimaryLocation W20789916021 @default.
• W2078991602 hasRelatedWork W1559579193 @default.
• W2078991602 hasRelatedWork W1563875108 @default.
• W2078991602 hasRelatedWork W174499754 @default.
• W2078991602 hasRelatedWork W2007059425 @default.
• W2078991602 hasRelatedWork W2011444209 @default.
• W2078991602 hasRelatedWork W2066381570 @default.
• W2078991602 hasRelatedWork W2066925317 @default.
• W2078991602 hasRelatedWork W2088211491 @default.
• W2078991602 hasRelatedWork W2099038599 @default.
• W2078991602 hasRelatedWork W1567799319 @default.
• W2078991602 hasRelatedWork W2464242686 @default.
• W2078991602 hasRelatedWork W2466496317 @default.
• W2078991602 hasRelatedWork W2468061962 @default.
• W2078991602 hasRelatedWork W2519843108 @default.
• W2078991602 hasRelatedWork W2611809698 @default.
• W2078991602 hasRelatedWork W2672127762 @default.
• W2078991602 hasRelatedWork W2726197984 @default.
• W2078991602 hasRelatedWork W2726504902 @default.
• W2078991602 hasRelatedWork W2787921243 @default.
• W2078991602 hasRelatedWork W2788936387 @default.
• W2078991602 isParatext "false" @default.
• W2078991602 isRetracted "false" @default.
• W2078991602 magId "2078991602" @default.

• next