Matches in SemOpenAlex for { <https://semopenalex.org/work/W96204775> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W96204775 endingPage "458" @default.
- W96204775 startingPage "438" @default.
- W96204775 abstract "This paper is an initial step in the development of a logic for verifying properties of programs in rewriting logic. Rewriting logic is primarily a logic of change, in which deduction corresponds directly to computation, and not a logic to talk about change in a more indirect and global manner, such as the different modal and temporal logics that can be found in the literature. We start by defining a modal action logic (VLRL) in which rewrite rules are captured as actions. The main novelty of this logic is a topological modality associated with state constructors that allows us to reason about the structure of states, stating that the current state can be decomposed into regions satisfying certain properties. Then, on top of the modal logic, we define a temporal logic for reasoning about properties of the computations generated from rewrite theories, and demonstrate its potential by means of two simple examples." @default.
- W96204775 created "2016-06-24" @default.
- W96204775 creator A5007839082 @default.
- W96204775 creator A5014039331 @default.
- W96204775 creator A5017607278 @default.
- W96204775 creator A5025139066 @default.
- W96204775 creator A5034342549 @default.
- W96204775 date "2000-01-01" @default.
- W96204775 modified "2023-10-17" @default.
- W96204775 title "Towards a Verification Logic for Rewriting Logic" @default.
- W96204775 cites W1506588809 @default.
- W96204775 cites W1976195354 @default.
- W96204775 cites W1976588322 @default.
- W96204775 cites W2150222193 @default.
- W96204775 cites W2162034401 @default.
- W96204775 cites W2406555899 @default.
- W96204775 doi "https://doi.org/10.1007/978-3-540-44616-3_25" @default.
- W96204775 hasPublicationYear "2000" @default.
- W96204775 type Work @default.
- W96204775 sameAs 96204775 @default.
- W96204775 citedByCount "16" @default.
- W96204775 crossrefType "book-chapter" @default.
- W96204775 hasAuthorship W96204775A5007839082 @default.
- W96204775 hasAuthorship W96204775A5014039331 @default.
- W96204775 hasAuthorship W96204775A5017607278 @default.
- W96204775 hasAuthorship W96204775A5025139066 @default.
- W96204775 hasAuthorship W96204775A5034342549 @default.
- W96204775 hasConcept C102993220 @default.
- W96204775 hasConcept C11191006 @default.
- W96204775 hasConcept C114092440 @default.
- W96204775 hasConcept C121332964 @default.
- W96204775 hasConcept C124047733 @default.
- W96204775 hasConcept C138885662 @default.
- W96204775 hasConcept C144760519 @default.
- W96204775 hasConcept C154690210 @default.
- W96204775 hasConcept C165801399 @default.
- W96204775 hasConcept C169896238 @default.
- W96204775 hasConcept C172385210 @default.
- W96204775 hasConcept C185592680 @default.
- W96204775 hasConcept C188027245 @default.
- W96204775 hasConcept C19689857 @default.
- W96204775 hasConcept C199360897 @default.
- W96204775 hasConcept C203659156 @default.
- W96204775 hasConcept C27206212 @default.
- W96204775 hasConcept C27508121 @default.
- W96204775 hasConcept C2777796570 @default.
- W96204775 hasConcept C2778738651 @default.
- W96204775 hasConcept C33203268 @default.
- W96204775 hasConcept C41008148 @default.
- W96204775 hasConcept C4777664 @default.
- W96204775 hasConcept C62520636 @default.
- W96204775 hasConcept C71139939 @default.
- W96204775 hasConcept C80444323 @default.
- W96204775 hasConceptScore W96204775C102993220 @default.
- W96204775 hasConceptScore W96204775C11191006 @default.
- W96204775 hasConceptScore W96204775C114092440 @default.
- W96204775 hasConceptScore W96204775C121332964 @default.
- W96204775 hasConceptScore W96204775C124047733 @default.
- W96204775 hasConceptScore W96204775C138885662 @default.
- W96204775 hasConceptScore W96204775C144760519 @default.
- W96204775 hasConceptScore W96204775C154690210 @default.
- W96204775 hasConceptScore W96204775C165801399 @default.
- W96204775 hasConceptScore W96204775C169896238 @default.
- W96204775 hasConceptScore W96204775C172385210 @default.
- W96204775 hasConceptScore W96204775C185592680 @default.
- W96204775 hasConceptScore W96204775C188027245 @default.
- W96204775 hasConceptScore W96204775C19689857 @default.
- W96204775 hasConceptScore W96204775C199360897 @default.
- W96204775 hasConceptScore W96204775C203659156 @default.
- W96204775 hasConceptScore W96204775C27206212 @default.
- W96204775 hasConceptScore W96204775C27508121 @default.
- W96204775 hasConceptScore W96204775C2777796570 @default.
- W96204775 hasConceptScore W96204775C2778738651 @default.
- W96204775 hasConceptScore W96204775C33203268 @default.
- W96204775 hasConceptScore W96204775C41008148 @default.
- W96204775 hasConceptScore W96204775C4777664 @default.
- W96204775 hasConceptScore W96204775C62520636 @default.
- W96204775 hasConceptScore W96204775C71139939 @default.
- W96204775 hasConceptScore W96204775C80444323 @default.
- W96204775 hasLocation W962047751 @default.
- W96204775 hasOpenAccess W96204775 @default.
- W96204775 hasPrimaryLocation W962047751 @default.
- W96204775 hasRelatedWork W1563960380 @default.
- W96204775 hasRelatedWork W2071436802 @default.
- W96204775 hasRelatedWork W2135389919 @default.
- W96204775 hasRelatedWork W2148361595 @default.
- W96204775 hasRelatedWork W2337715273 @default.
- W96204775 hasRelatedWork W2763478299 @default.
- W96204775 hasRelatedWork W2963628981 @default.
- W96204775 hasRelatedWork W86787093 @default.
- W96204775 hasRelatedWork W2101154178 @default.
- W96204775 hasRelatedWork W2182005681 @default.
- W96204775 isParatext "false" @default.
- W96204775 isRetracted "false" @default.
- W96204775 magId "96204775" @default.
- W96204775 workType "book-chapter" @default.