Matches in SemOpenAlex for { <https://semopenalex.org/work/W2004245595> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2004245595 endingPage "101" @default.
- W2004245595 startingPage "87" @default.
- W2004245595 abstract "In component based software design, formal reasoning about programs has to be compositional, allowing global, program-wide properties to be inferred from the properties of its components. The present paper addresses the problem of compositional verification of behavioural control flow properties of sequential programs with procedures, expressed in a modal logic. We use as a starting point a maximal model based method previously developed by the authors, which assumes the local properties to be structural (rather than behavioural). To handle local behavioural properties, we propose the combination of the above method with a translation from behavioural properties to sets of structural ones. The present paper presents a direct solution for the logic, and prepares the ground for a translation for the considerably more expressive logic obtained by adding greatest fixed-point recursion." @default.
- W2004245595 created "2016-06-24" @default.
- W2004245595 creator A5045181048 @default.
- W2004245595 creator A5053650458 @default.
- W2004245595 date "2009-04-01" @default.
- W2004245595 modified "2023-10-03" @default.
- W2004245595 title "Composing Modal Properties of Programs with Procedures" @default.
- W2004245595 cites W1488272551 @default.
- W2004245595 cites W1546306366 @default.
- W2004245595 cites W1582292473 @default.
- W2004245595 cites W1607820520 @default.
- W2004245595 cites W1827592073 @default.
- W2004245595 cites W2009965218 @default.
- W2004245595 cites W2037416037 @default.
- W2004245595 cites W2113486906 @default.
- W2004245595 cites W2120926795 @default.
- W2004245595 cites W2139609292 @default.
- W2004245595 cites W2157832495 @default.
- W2004245595 doi "https://doi.org/10.1016/j.entcs.2009.03.028" @default.
- W2004245595 hasPublicationYear "2009" @default.
- W2004245595 type Work @default.
- W2004245595 sameAs 2004245595 @default.
- W2004245595 citedByCount "3" @default.
- W2004245595 countsByYear W20042455952012 @default.
- W2004245595 countsByYear W20042455952013 @default.
- W2004245595 crossrefType "journal-article" @default.
- W2004245595 hasAuthorship W2004245595A5045181048 @default.
- W2004245595 hasAuthorship W2004245595A5053650458 @default.
- W2004245595 hasBestOaLocation W20042455951 @default.
- W2004245595 hasConcept C104317684 @default.
- W2004245595 hasConcept C105580179 @default.
- W2004245595 hasConcept C11413529 @default.
- W2004245595 hasConcept C121332964 @default.
- W2004245595 hasConcept C149364088 @default.
- W2004245595 hasConcept C160191386 @default.
- W2004245595 hasConcept C168167062 @default.
- W2004245595 hasConcept C168773036 @default.
- W2004245595 hasConcept C185592680 @default.
- W2004245595 hasConcept C188027245 @default.
- W2004245595 hasConcept C199360897 @default.
- W2004245595 hasConcept C2524010 @default.
- W2004245595 hasConcept C27508121 @default.
- W2004245595 hasConcept C28719098 @default.
- W2004245595 hasConcept C33923547 @default.
- W2004245595 hasConcept C41008148 @default.
- W2004245595 hasConcept C55493867 @default.
- W2004245595 hasConcept C71139939 @default.
- W2004245595 hasConcept C80444323 @default.
- W2004245595 hasConcept C97355855 @default.
- W2004245595 hasConceptScore W2004245595C104317684 @default.
- W2004245595 hasConceptScore W2004245595C105580179 @default.
- W2004245595 hasConceptScore W2004245595C11413529 @default.
- W2004245595 hasConceptScore W2004245595C121332964 @default.
- W2004245595 hasConceptScore W2004245595C149364088 @default.
- W2004245595 hasConceptScore W2004245595C160191386 @default.
- W2004245595 hasConceptScore W2004245595C168167062 @default.
- W2004245595 hasConceptScore W2004245595C168773036 @default.
- W2004245595 hasConceptScore W2004245595C185592680 @default.
- W2004245595 hasConceptScore W2004245595C188027245 @default.
- W2004245595 hasConceptScore W2004245595C199360897 @default.
- W2004245595 hasConceptScore W2004245595C2524010 @default.
- W2004245595 hasConceptScore W2004245595C27508121 @default.
- W2004245595 hasConceptScore W2004245595C28719098 @default.
- W2004245595 hasConceptScore W2004245595C33923547 @default.
- W2004245595 hasConceptScore W2004245595C41008148 @default.
- W2004245595 hasConceptScore W2004245595C55493867 @default.
- W2004245595 hasConceptScore W2004245595C71139939 @default.
- W2004245595 hasConceptScore W2004245595C80444323 @default.
- W2004245595 hasConceptScore W2004245595C97355855 @default.
- W2004245595 hasIssue "7" @default.
- W2004245595 hasLocation W20042455951 @default.
- W2004245595 hasOpenAccess W2004245595 @default.
- W2004245595 hasPrimaryLocation W20042455951 @default.
- W2004245595 hasRelatedWork W1855927527 @default.
- W2004245595 hasRelatedWork W2109507516 @default.
- W2004245595 hasRelatedWork W290590429 @default.
- W2004245595 hasRelatedWork W2912055616 @default.
- W2004245595 hasRelatedWork W3116138342 @default.
- W2004245595 hasRelatedWork W4211112621 @default.
- W2004245595 hasRelatedWork W4229928981 @default.
- W2004245595 hasRelatedWork W4236835103 @default.
- W2004245595 hasRelatedWork W4251805752 @default.
- W2004245595 hasRelatedWork W4296343651 @default.
- W2004245595 hasVolume "203" @default.
- W2004245595 isParatext "false" @default.
- W2004245595 isRetracted "false" @default.
- W2004245595 magId "2004245595" @default.
- W2004245595 workType "article" @default.