Matches in SemOpenAlex for { <https://semopenalex.org/work/W180089949> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W180089949 endingPage "680" @default.
- W180089949 startingPage "666" @default.
- W180089949 abstract "This paper reports on the use of formal specifications in the development of a software maintenance tool for specializing imperative programs, which have become very complex due to extensive modifications. The tool is specified in terms of inference rules and operates by induction on the abstract syntax. The correctness of these rules is proved using rule induction. A Prolog prototype has been derived for Fortran programs, using the Centaur programming environment." @default.
- W180089949 created "2016-06-24" @default.
- W180089949 creator A5017440499 @default.
- W180089949 creator A5051135565 @default.
- W180089949 date "1995-01-01" @default.
- W180089949 modified "2023-10-09" @default.
- W180089949 title "Formal specification and prototyping of a program specializer" @default.
- W180089949 cites W3160840867 @default.
- W180089949 cites W4249903311 @default.
- W180089949 doi "https://doi.org/10.1007/3-540-59293-8_227" @default.
- W180089949 hasPublicationYear "1995" @default.
- W180089949 type Work @default.
- W180089949 sameAs 180089949 @default.
- W180089949 citedByCount "4" @default.
- W180089949 crossrefType "book-chapter" @default.
- W180089949 hasAuthorship W180089949A5017440499 @default.
- W180089949 hasAuthorship W180089949A5051135565 @default.
- W180089949 hasBestOaLocation W1800899491 @default.
- W180089949 hasConcept C115903868 @default.
- W180089949 hasConcept C154945302 @default.
- W180089949 hasConcept C199360897 @default.
- W180089949 hasConcept C41008148 @default.
- W180089949 hasConcept C55439883 @default.
- W180089949 hasConcept C60048249 @default.
- W180089949 hasConcept C75606506 @default.
- W180089949 hasConcept C81721847 @default.
- W180089949 hasConceptScore W180089949C115903868 @default.
- W180089949 hasConceptScore W180089949C154945302 @default.
- W180089949 hasConceptScore W180089949C199360897 @default.
- W180089949 hasConceptScore W180089949C41008148 @default.
- W180089949 hasConceptScore W180089949C55439883 @default.
- W180089949 hasConceptScore W180089949C60048249 @default.
- W180089949 hasConceptScore W180089949C75606506 @default.
- W180089949 hasConceptScore W180089949C81721847 @default.
- W180089949 hasLocation W1800899491 @default.
- W180089949 hasLocation W1800899492 @default.
- W180089949 hasLocation W1800899493 @default.
- W180089949 hasOpenAccess W180089949 @default.
- W180089949 hasPrimaryLocation W1800899491 @default.
- W180089949 hasRelatedWork W1536660600 @default.
- W180089949 hasRelatedWork W1589124319 @default.
- W180089949 hasRelatedWork W1608659702 @default.
- W180089949 hasRelatedWork W1966978306 @default.
- W180089949 hasRelatedWork W1985198438 @default.
- W180089949 hasRelatedWork W2088007073 @default.
- W180089949 hasRelatedWork W2112962394 @default.
- W180089949 hasRelatedWork W2142545871 @default.
- W180089949 hasRelatedWork W2473250120 @default.
- W180089949 hasRelatedWork W2590615004 @default.
- W180089949 isParatext "false" @default.
- W180089949 isRetracted "false" @default.
- W180089949 magId "180089949" @default.
- W180089949 workType "book-chapter" @default.