Matches in SemOpenAlex for { <https://semopenalex.org/work/W2165296210> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W2165296210 endingPage "47" @default.
- W2165296210 startingPage "35" @default.
- W2165296210 abstract "In this paper, we integrate Separation Logic with propositional Projection Temporal Logic (PPTL) to obtain a two-dimensional logic, named $$text {PPTL}^{tiny text{ SL }}$$ PPTL SL . The spatial dimension is realized by a decidable fragment of separation logic which can be used to describe linked lists, and the temporal dimension is expressed by PPTL. Furthermore, we prove that any $$text {PPTL}^{tiny text{ SL }}$$ PPTL SL formula can be transformed into its normal form. Example are given to show how to specify temporal heap properties by this hybrid logic." @default.
- W2165296210 created "2016-06-24" @default.
- W2165296210 creator A5003990194 @default.
- W2165296210 creator A5044426459 @default.
- W2165296210 creator A5071051896 @default.
- W2165296210 creator A5075803725 @default.
- W2165296210 date "2014-01-01" @default.
- W2165296210 modified "2023-10-18" @default.
- W2165296210 title "Integrating Separation Logic with PPTL" @default.
- W2165296210 cites W1983255876 @default.
- W2165296210 cites W1987340323 @default.
- W2165296210 cites W1991837261 @default.
- W2165296210 cites W2021917262 @default.
- W2165296210 cites W2045662659 @default.
- W2165296210 cites W2093832730 @default.
- W2165296210 cites W2148845055 @default.
- W2165296210 doi "https://doi.org/10.1007/978-3-319-04915-1_3" @default.
- W2165296210 hasPublicationYear "2014" @default.
- W2165296210 type Work @default.
- W2165296210 sameAs 2165296210 @default.
- W2165296210 citedByCount "1" @default.
- W2165296210 countsByYear W21652962102015 @default.
- W2165296210 crossrefType "book-chapter" @default.
- W2165296210 hasAuthorship W2165296210A5003990194 @default.
- W2165296210 hasAuthorship W2165296210A5044426459 @default.
- W2165296210 hasAuthorship W2165296210A5071051896 @default.
- W2165296210 hasAuthorship W2165296210A5075803725 @default.
- W2165296210 hasConcept C199360897 @default.
- W2165296210 hasConcept C41008148 @default.
- W2165296210 hasConceptScore W2165296210C199360897 @default.
- W2165296210 hasConceptScore W2165296210C41008148 @default.
- W2165296210 hasLocation W21652962101 @default.
- W2165296210 hasOpenAccess W2165296210 @default.
- W2165296210 hasPrimaryLocation W21652962101 @default.
- W2165296210 hasRelatedWork W1527862632 @default.
- W2165296210 hasRelatedWork W2112962394 @default.
- W2165296210 hasRelatedWork W2118300983 @default.
- W2165296210 hasRelatedWork W2135396778 @default.
- W2165296210 hasRelatedWork W2382501300 @default.
- W2165296210 hasRelatedWork W2740990710 @default.
- W2165296210 hasRelatedWork W3137189469 @default.
- W2165296210 hasRelatedWork W3162240892 @default.
- W2165296210 hasRelatedWork W4235530921 @default.
- W2165296210 hasRelatedWork W4243252198 @default.
- W2165296210 isParatext "false" @default.
- W2165296210 isRetracted "false" @default.
- W2165296210 magId "2165296210" @default.
- W2165296210 workType "book-chapter" @default.