Matches in SemOpenAlex for { <https://semopenalex.org/work/W2031678978> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W2031678978 endingPage "238" @default.
- W2031678978 startingPage "231" @default.
- W2031678978 abstract "Some methods for introducing new operations into logical specifications are examined, with emphasis on criteria for conservativeness, and compared with respect to their relative power. The motivation comes mainly from software development, especially methods using abstract data types, whose specifications and implementations can be dealt with in terms of theory presentations. Some of these methods are traditional in logic whereas others originate in program development. Criteria for the conservativeness of extensions produced by each method are established, and these methods are shown to fall into three classes with respect to their relative powers. Applications to program development by stepwise refinement are considered." @default.
- W2031678978 created "2016-06-24" @default.
- W2031678978 creator A5002266106 @default.
- W2031678978 creator A5065262131 @default.
- W2031678978 date "1997-12-01" @default.
- W2031678978 modified "2023-09-27" @default.
- W2031678978 title "On methods for safe introduction of operations" @default.
- W2031678978 cites W1546101356 @default.
- W2031678978 cites W1968723292 @default.
- W2031678978 cites W1993161560 @default.
- W2031678978 cites W2046489718 @default.
- W2031678978 cites W2105505307 @default.
- W2031678978 cites W2129466151 @default.
- W2031678978 cites W2165875645 @default.
- W2031678978 cites W2977904728 @default.
- W2031678978 cites W3198677799 @default.
- W2031678978 cites W64286206 @default.
- W2031678978 doi "https://doi.org/10.1016/s0020-0190(97)00161-0" @default.
- W2031678978 hasPublicationYear "1997" @default.
- W2031678978 type Work @default.
- W2031678978 sameAs 2031678978 @default.
- W2031678978 citedByCount "2" @default.
- W2031678978 crossrefType "journal-article" @default.
- W2031678978 hasAuthorship W2031678978A5002266106 @default.
- W2031678978 hasAuthorship W2031678978A5065262131 @default.
- W2031678978 hasConcept C199360897 @default.
- W2031678978 hasConcept C41008148 @default.
- W2031678978 hasConceptScore W2031678978C199360897 @default.
- W2031678978 hasConceptScore W2031678978C41008148 @default.
- W2031678978 hasIssue "5" @default.
- W2031678978 hasLocation W20316789781 @default.
- W2031678978 hasOpenAccess W2031678978 @default.
- W2031678978 hasPrimaryLocation W20316789781 @default.
- W2031678978 hasRelatedWork W1527862632 @default.
- W2031678978 hasRelatedWork W2112962394 @default.
- W2031678978 hasRelatedWork W2118300983 @default.
- W2031678978 hasRelatedWork W2135396778 @default.
- W2031678978 hasRelatedWork W2382501300 @default.
- W2031678978 hasRelatedWork W2740990710 @default.
- W2031678978 hasRelatedWork W3137189469 @default.
- W2031678978 hasRelatedWork W3162240892 @default.
- W2031678978 hasRelatedWork W4235530921 @default.
- W2031678978 hasRelatedWork W4243252198 @default.
- W2031678978 hasVolume "64" @default.
- W2031678978 isParatext "false" @default.
- W2031678978 isRetracted "false" @default.
- W2031678978 magId "2031678978" @default.
- W2031678978 workType "article" @default.