Matches in SemOpenAlex for { <https://semopenalex.org/work/W1579539730> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1579539730 abstract "This paper presents an approach to program specialisation for nondeterministic imperative programs written in an extension of Dijkstra's guarded commands language. Assertion statements are used to express information about inputs and program variables, and refinement laws are used to show how these assertions can be introduced, propagated through the program structure, and used to specialise various program constructs. This approach allows more general constraints than other work on program specialisation, which usually considers only fixed values for some of the inputs, and is easier to understand because the transformations used are all expressed entirely in terms of the programming language." @default.
- W1579539730 created "2016-06-24" @default.
- W1579539730 creator A5020664307 @default.
- W1579539730 date "2005-08-25" @default.
- W1579539730 modified "2023-09-24" @default.
- W1579539730 title "Program specialisation in the refinement calculus" @default.
- W1579539730 cites W106219570 @default.
- W1579539730 cites W1511110335 @default.
- W1579539730 cites W1511808484 @default.
- W1579539730 cites W1981759149 @default.
- W1579539730 cites W2036502249 @default.
- W1579539730 cites W2038814435 @default.
- W1579539730 cites W2077436409 @default.
- W1579539730 cites W2080782424 @default.
- W1579539730 cites W2081484419 @default.
- W1579539730 cites W2103953153 @default.
- W1579539730 cites W2123287376 @default.
- W1579539730 cites W2134291258 @default.
- W1579539730 cites W2147543351 @default.
- W1579539730 cites W2343581823 @default.
- W1579539730 cites W54054103 @default.
- W1579539730 doi "https://doi.org/10.1109/apsec.2001.991456" @default.
- W1579539730 hasPublicationYear "2005" @default.
- W1579539730 type Work @default.
- W1579539730 sameAs 1579539730 @default.
- W1579539730 citedByCount "0" @default.
- W1579539730 crossrefType "proceedings-article" @default.
- W1579539730 hasAuthorship W1579539730A5020664307 @default.
- W1579539730 hasConcept C132525143 @default.
- W1579539730 hasConcept C173870130 @default.
- W1579539730 hasConcept C176181172 @default.
- W1579539730 hasConcept C199360897 @default.
- W1579539730 hasConcept C22590252 @default.
- W1579539730 hasConcept C2778029271 @default.
- W1579539730 hasConcept C2778361913 @default.
- W1579539730 hasConcept C40422974 @default.
- W1579539730 hasConcept C41008148 @default.
- W1579539730 hasConcept C77781355 @default.
- W1579539730 hasConcept C80444323 @default.
- W1579539730 hasConcept C90483712 @default.
- W1579539730 hasConcept C98183937 @default.
- W1579539730 hasConceptScore W1579539730C132525143 @default.
- W1579539730 hasConceptScore W1579539730C173870130 @default.
- W1579539730 hasConceptScore W1579539730C176181172 @default.
- W1579539730 hasConceptScore W1579539730C199360897 @default.
- W1579539730 hasConceptScore W1579539730C22590252 @default.
- W1579539730 hasConceptScore W1579539730C2778029271 @default.
- W1579539730 hasConceptScore W1579539730C2778361913 @default.
- W1579539730 hasConceptScore W1579539730C40422974 @default.
- W1579539730 hasConceptScore W1579539730C41008148 @default.
- W1579539730 hasConceptScore W1579539730C77781355 @default.
- W1579539730 hasConceptScore W1579539730C80444323 @default.
- W1579539730 hasConceptScore W1579539730C90483712 @default.
- W1579539730 hasConceptScore W1579539730C98183937 @default.
- W1579539730 hasLocation W15795397301 @default.
- W1579539730 hasOpenAccess W1579539730 @default.
- W1579539730 hasPrimaryLocation W15795397301 @default.
- W1579539730 hasRelatedWork W1544359874 @default.
- W1579539730 hasRelatedWork W1585269891 @default.
- W1579539730 hasRelatedWork W1846189533 @default.
- W1579539730 hasRelatedWork W1985281673 @default.
- W1579539730 hasRelatedWork W1998563363 @default.
- W1579539730 hasRelatedWork W2061158135 @default.
- W1579539730 hasRelatedWork W2134071215 @default.
- W1579539730 hasRelatedWork W2146724103 @default.
- W1579539730 hasRelatedWork W1588227792 @default.
- W1579539730 hasRelatedWork W2151671796 @default.
- W1579539730 isParatext "false" @default.
- W1579539730 isRetracted "false" @default.
- W1579539730 magId "1579539730" @default.
- W1579539730 workType "article" @default.