FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1535443217> ?p ?o ?g. }

• W1535443217 abstract "In this paper, we explain how observability issues can contribute to a better understanding of software correctness. We describe a simple framework of observational specifications, and we give correct powerful proof principles for this framework: generator induction and context induction. We show how, under some hypotheses, the context induction principle can be greatly simplified. Then we focus on the proof of equations, and we show how observational equations can be directly proved with the LP theorem prover, by means of adequate partitioned by deduction rules. This result provides a deeper understanding of the relationships between observability and the partitioned by deduction rules used in the Larch Shared Language and LP." @default.
• W1535443217 created "2016-06-24" @default.
• W1535443217 creator A5055128003 @default.
• W1535443217 creator A5062496192 @default.
• W1535443217 date "1993-01-01" @default.
• W1535443217 modified "2023-09-23" @default.
• W1535443217 title "How to Prove Observational Theorems with LP" @default.
• W1535443217 cites W1498356214 @default.
• W1535443217 cites W1543545626 @default.
• W1535443217 cites W1588879969 @default.
• W1535443217 cites W1591818126 @default.
• W1535443217 cites W1595975840 @default.
• W1535443217 cites W1642794754 @default.
• W1535443217 cites W1966748830 @default.
• W1535443217 cites W1969438769 @default.
• W1535443217 cites W1989177109 @default.
• W1535443217 cites W1991364185 @default.
• W1535443217 cites W2062384035 @default.
• W1535443217 cites W2069740012 @default.
• W1535443217 cites W2118989230 @default.
• W1535443217 cites W2120713972 @default.
• W1535443217 cites W2136241690 @default.
• W1535443217 cites W4249644839 @default.
• W1535443217 doi "https://doi.org/10.1007/978-1-4471-3558-6_2" @default.
• W1535443217 hasPublicationYear "1993" @default.
• W1535443217 type Work @default.
• W1535443217 sameAs 1535443217 @default.
• W1535443217 citedByCount "4" @default.
• W1535443217 crossrefType "book-chapter" @default.
• W1535443217 hasAuthorship W1535443217A5055128003 @default.
• W1535443217 hasAuthorship W1535443217A5062496192 @default.
• W1535443217 hasConcept C105795698 @default.
• W1535443217 hasConcept C108710211 @default.
• W1535443217 hasConcept C111472728 @default.
• W1535443217 hasConcept C11413529 @default.
• W1535443217 hasConcept C120665830 @default.
• W1535443217 hasConcept C121332964 @default.
• W1535443217 hasConcept C138885662 @default.
• W1535443217 hasConcept C151730666 @default.
• W1535443217 hasConcept C163258240 @default.
• W1535443217 hasConcept C17435882 @default.
• W1535443217 hasConcept C192209626 @default.
• W1535443217 hasConcept C199343813 @default.
• W1535443217 hasConcept C199360897 @default.
• W1535443217 hasConcept C206880738 @default.
• W1535443217 hasConcept C23131810 @default.
• W1535443217 hasConcept C2524010 @default.
• W1535443217 hasConcept C2777686260 @default.
• W1535443217 hasConcept C2779343474 @default.
• W1535443217 hasConcept C2780586882 @default.
• W1535443217 hasConcept C2780992000 @default.
• W1535443217 hasConcept C28826006 @default.
• W1535443217 hasConcept C33923547 @default.
• W1535443217 hasConcept C36299963 @default.
• W1535443217 hasConcept C41008148 @default.
• W1535443217 hasConcept C55439883 @default.
• W1535443217 hasConcept C62520636 @default.
• W1535443217 hasConcept C71924100 @default.
• W1535443217 hasConcept C80444323 @default.
• W1535443217 hasConcept C86803240 @default.
• W1535443217 hasConcept C94461902 @default.
• W1535443217 hasConceptScore W1535443217C105795698 @default.
• W1535443217 hasConceptScore W1535443217C108710211 @default.
• W1535443217 hasConceptScore W1535443217C111472728 @default.
• W1535443217 hasConceptScore W1535443217C11413529 @default.
• W1535443217 hasConceptScore W1535443217C120665830 @default.
• W1535443217 hasConceptScore W1535443217C121332964 @default.
• W1535443217 hasConceptScore W1535443217C138885662 @default.
• W1535443217 hasConceptScore W1535443217C151730666 @default.
• W1535443217 hasConceptScore W1535443217C163258240 @default.
• W1535443217 hasConceptScore W1535443217C17435882 @default.
• W1535443217 hasConceptScore W1535443217C192209626 @default.
• W1535443217 hasConceptScore W1535443217C199343813 @default.
• W1535443217 hasConceptScore W1535443217C199360897 @default.
• W1535443217 hasConceptScore W1535443217C206880738 @default.
• W1535443217 hasConceptScore W1535443217C23131810 @default.
• W1535443217 hasConceptScore W1535443217C2524010 @default.
• W1535443217 hasConceptScore W1535443217C2777686260 @default.
• W1535443217 hasConceptScore W1535443217C2779343474 @default.
• W1535443217 hasConceptScore W1535443217C2780586882 @default.
• W1535443217 hasConceptScore W1535443217C2780992000 @default.
• W1535443217 hasConceptScore W1535443217C28826006 @default.
• W1535443217 hasConceptScore W1535443217C33923547 @default.
• W1535443217 hasConceptScore W1535443217C36299963 @default.
• W1535443217 hasConceptScore W1535443217C41008148 @default.
• W1535443217 hasConceptScore W1535443217C55439883 @default.
• W1535443217 hasConceptScore W1535443217C62520636 @default.
• W1535443217 hasConceptScore W1535443217C71924100 @default.
• W1535443217 hasConceptScore W1535443217C80444323 @default.
• W1535443217 hasConceptScore W1535443217C86803240 @default.
• W1535443217 hasConceptScore W1535443217C94461902 @default.
• W1535443217 hasLocation W15354432171 @default.
• W1535443217 hasOpenAccess W1535443217 @default.
• W1535443217 hasPrimaryLocation W15354432171 @default.
• W1535443217 hasRelatedWork W1498356214 @default.
• W1535443217 hasRelatedWork W1514811622 @default.
• W1535443217 hasRelatedWork W1556802943 @default.
• W1535443217 hasRelatedWork W1565410862 @default.
• W1535443217 hasRelatedWork W1580312341 @default.
• W1535443217 hasRelatedWork W1987150355 @default.

• next