Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570360227> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W1570360227 abstract "In his seminal book, A Discipline of Programming [EWD 76], Dijkstra proposed that all sequential programs satisfy four laws for their weakest preconditions. By far the catchiest name was reserved for the Law of the Excluded Miracle, which captured the intuition that, started in a given state, a program execution must either terminate or loop forever. In the late 1980s, both Nelson [GN 89] and Morgan [CCM 90] noted that the law was unnecessarily restrictive when writing programs to be used as specifications. In the years since, have become a standard feature in specification languages (for instance, the assume statement in JML [LLP+00] and BoogiePL [DL 05]).What is perhaps surprising is that miracles are not as commonly used in programs written as implementations. This is surprising because for many everyday tasks, programming in a language with miracles is often far superior to the popular scripting languages that are used instead. In this talk, we build upon pioneering work by Burrows and Nelson [GN 05] who designed the language LIM (Language of the Included Miracle). We describe a language LIMe (LIM with extensions), and discuss its application in the context of flight software testing, including the analysis of spacecraft telemetry logs." @default.
- W1570360227 created "2016-06-24" @default.
- W1570360227 creator A5024222165 @default.
- W1570360227 date "2010-01-01" @default.
- W1570360227 modified "2023-10-02" @default.
- W1570360227 title "Programming with Miracles" @default.
- W1570360227 cites W2030865387 @default.
- W1570360227 doi "https://doi.org/10.1007/978-3-642-16265-7_3" @default.
- W1570360227 hasPublicationYear "2010" @default.
- W1570360227 type Work @default.
- W1570360227 sameAs 1570360227 @default.
- W1570360227 citedByCount "0" @default.
- W1570360227 crossrefType "book-chapter" @default.
- W1570360227 hasAuthorship W1570360227A5024222165 @default.
- W1570360227 hasBestOaLocation W15703602271 @default.
- W1570360227 hasConcept C119263510 @default.
- W1570360227 hasConcept C15077461 @default.
- W1570360227 hasConcept C17744445 @default.
- W1570360227 hasConcept C199360897 @default.
- W1570360227 hasConcept C199539241 @default.
- W1570360227 hasConcept C2778875440 @default.
- W1570360227 hasConcept C34165917 @default.
- W1570360227 hasConcept C41008148 @default.
- W1570360227 hasConcept C50033165 @default.
- W1570360227 hasConcept C61423126 @default.
- W1570360227 hasConceptScore W1570360227C119263510 @default.
- W1570360227 hasConceptScore W1570360227C15077461 @default.
- W1570360227 hasConceptScore W1570360227C17744445 @default.
- W1570360227 hasConceptScore W1570360227C199360897 @default.
- W1570360227 hasConceptScore W1570360227C199539241 @default.
- W1570360227 hasConceptScore W1570360227C2778875440 @default.
- W1570360227 hasConceptScore W1570360227C34165917 @default.
- W1570360227 hasConceptScore W1570360227C41008148 @default.
- W1570360227 hasConceptScore W1570360227C50033165 @default.
- W1570360227 hasConceptScore W1570360227C61423126 @default.
- W1570360227 hasLocation W15703602271 @default.
- W1570360227 hasOpenAccess W1570360227 @default.
- W1570360227 hasPrimaryLocation W15703602271 @default.
- W1570360227 hasRelatedWork W1555274389 @default.
- W1570360227 hasRelatedWork W184768422 @default.
- W1570360227 hasRelatedWork W1967144195 @default.
- W1570360227 hasRelatedWork W1992374945 @default.
- W1570360227 hasRelatedWork W2029647797 @default.
- W1570360227 hasRelatedWork W2091771234 @default.
- W1570360227 hasRelatedWork W2276719719 @default.
- W1570360227 hasRelatedWork W2314179582 @default.
- W1570360227 hasRelatedWork W2396146466 @default.
- W1570360227 hasRelatedWork W2489705803 @default.
- W1570360227 hasRelatedWork W2492643959 @default.
- W1570360227 hasRelatedWork W2504513062 @default.
- W1570360227 hasRelatedWork W2550341122 @default.
- W1570360227 hasRelatedWork W2580499356 @default.
- W1570360227 hasRelatedWork W2780781182 @default.
- W1570360227 hasRelatedWork W2809762789 @default.
- W1570360227 hasRelatedWork W79678741 @default.
- W1570360227 hasRelatedWork W2156092978 @default.
- W1570360227 hasRelatedWork W2182708938 @default.
- W1570360227 hasRelatedWork W2198524561 @default.
- W1570360227 isParatext "false" @default.
- W1570360227 isRetracted "false" @default.
- W1570360227 magId "1570360227" @default.
- W1570360227 workType "book-chapter" @default.