Matches in SemOpenAlex for { <https://semopenalex.org/work/W2884394361> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2884394361 endingPage "10" @default.
- W2884394361 startingPage "1" @default.
- W2884394361 abstract "In this paper, we present ÁTAME, an assertion-based program specialization tool for the multi-paradigm language Maude. The program specializer ÁTAME takes as input a set $$mathcal{A}$$ of system assertions that model the expected program behavior plus a Maude program $$mathcal{R}$$ to be specialized that might violate some of the assertions in $$mathcal{A}$$ . The outcome of the tool is a safe program refinement $$mathcal{R}'$$ of $$mathcal{R}$$ in which every computation is a good run, i.e., it satisfies the assertions in $$mathcal{A}$$ . The specialization technique encoded in is fully automatic and ensures that no good run of $$mathcal{R}$$ is removed from $$mathcal{R}'$$ , while the number of bad runs is reduced to zero. We demonstrate the tool capabilities by specializing an overly general nondeterministic dam controller to fulfill a safety policy given by a set of system assertions." @default.
- W2884394361 created "2018-08-03" @default.
- W2884394361 creator A5015218553 @default.
- W2884394361 creator A5020998049 @default.
- W2884394361 creator A5033696911 @default.
- W2884394361 date "2018-01-01" @default.
- W2884394361 modified "2023-10-15" @default.
- W2884394361 title "Inferring Safe Maude Programs with ÁTAME" @default.
- W2884394361 cites W1976195354 @default.
- W2884394361 cites W2051237940 @default.
- W2884394361 cites W2079684794 @default.
- W2884394361 cites W2516251718 @default.
- W2884394361 cites W4252451952 @default.
- W2884394361 doi "https://doi.org/10.1007/978-3-319-96418-8_1" @default.
- W2884394361 hasPublicationYear "2018" @default.
- W2884394361 type Work @default.
- W2884394361 sameAs 2884394361 @default.
- W2884394361 citedByCount "2" @default.
- W2884394361 countsByYear W28843943612020 @default.
- W2884394361 countsByYear W28843943612021 @default.
- W2884394361 crossrefType "book-chapter" @default.
- W2884394361 hasAuthorship W2884394361A5015218553 @default.
- W2884394361 hasAuthorship W2884394361A5020998049 @default.
- W2884394361 hasAuthorship W2884394361A5033696911 @default.
- W2884394361 hasBestOaLocation W28843943612 @default.
- W2884394361 hasConcept C11413529 @default.
- W2884394361 hasConcept C118615104 @default.
- W2884394361 hasConcept C154690210 @default.
- W2884394361 hasConcept C176181172 @default.
- W2884394361 hasConcept C177264268 @default.
- W2884394361 hasConcept C199360897 @default.
- W2884394361 hasConcept C33923547 @default.
- W2884394361 hasConcept C40422974 @default.
- W2884394361 hasConcept C41008148 @default.
- W2884394361 hasConcept C45374587 @default.
- W2884394361 hasConcept C80444323 @default.
- W2884394361 hasConceptScore W2884394361C11413529 @default.
- W2884394361 hasConceptScore W2884394361C118615104 @default.
- W2884394361 hasConceptScore W2884394361C154690210 @default.
- W2884394361 hasConceptScore W2884394361C176181172 @default.
- W2884394361 hasConceptScore W2884394361C177264268 @default.
- W2884394361 hasConceptScore W2884394361C199360897 @default.
- W2884394361 hasConceptScore W2884394361C33923547 @default.
- W2884394361 hasConceptScore W2884394361C40422974 @default.
- W2884394361 hasConceptScore W2884394361C41008148 @default.
- W2884394361 hasConceptScore W2884394361C45374587 @default.
- W2884394361 hasConceptScore W2884394361C80444323 @default.
- W2884394361 hasLocation W28843943611 @default.
- W2884394361 hasLocation W28843943612 @default.
- W2884394361 hasOpenAccess W2884394361 @default.
- W2884394361 hasPrimaryLocation W28843943611 @default.
- W2884394361 hasRelatedWork W1561964073 @default.
- W2884394361 hasRelatedWork W1566084073 @default.
- W2884394361 hasRelatedWork W1579539730 @default.
- W2884394361 hasRelatedWork W2179833932 @default.
- W2884394361 hasRelatedWork W2512021169 @default.
- W2884394361 hasRelatedWork W2570890098 @default.
- W2884394361 hasRelatedWork W2626529717 @default.
- W2884394361 hasRelatedWork W2755558640 @default.
- W2884394361 hasRelatedWork W2951452824 @default.
- W2884394361 hasRelatedWork W4297911822 @default.
- W2884394361 isParatext "false" @default.
- W2884394361 isRetracted "false" @default.
- W2884394361 magId "2884394361" @default.
- W2884394361 workType "book-chapter" @default.