Matches in SemOpenAlex for { <https://semopenalex.org/work/W2132143669> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2132143669 abstract "Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular approach to checking protocol compliance based on typestates that offers a great deal of flexibility in aliasing. In our approach, API protocols are defined based on typestates. Every reference is associated with a permission, and reasoning about permissions is appropriately conservative for the degree of possible aliasing admitted by a permission." @default.
- W2132143669 created "2016-06-24" @default.
- W2132143669 creator A5055961747 @default.
- W2132143669 creator A5091372985 @default.
- W2132143669 date "2008-01-01" @default.
- W2132143669 modified "2023-10-17" @default.
- W2132143669 title "PLURAL" @default.
- W2132143669 cites W1511982475 @default.
- W2132143669 cites W1861989620 @default.
- W2132143669 cites W2044590882 @default.
- W2132143669 cites W2091712774 @default.
- W2132143669 doi "https://doi.org/10.1145/1370175.1370213" @default.
- W2132143669 hasPublicationYear "2008" @default.
- W2132143669 type Work @default.
- W2132143669 sameAs 2132143669 @default.
- W2132143669 citedByCount "25" @default.
- W2132143669 countsByYear W21321436692012 @default.
- W2132143669 countsByYear W21321436692013 @default.
- W2132143669 countsByYear W21321436692014 @default.
- W2132143669 countsByYear W21321436692015 @default.
- W2132143669 countsByYear W21321436692019 @default.
- W2132143669 countsByYear W21321436692020 @default.
- W2132143669 countsByYear W21321436692021 @default.
- W2132143669 crossrefType "proceedings-article" @default.
- W2132143669 hasAuthorship W2132143669A5055961747 @default.
- W2132143669 hasAuthorship W2132143669A5091372985 @default.
- W2132143669 hasConcept C101468663 @default.
- W2132143669 hasConcept C105795698 @default.
- W2132143669 hasConcept C136536468 @default.
- W2132143669 hasConcept C142724271 @default.
- W2132143669 hasConcept C154945302 @default.
- W2132143669 hasConcept C17744445 @default.
- W2132143669 hasConcept C199360897 @default.
- W2132143669 hasConcept C199539241 @default.
- W2132143669 hasConcept C204787440 @default.
- W2132143669 hasConcept C2779089604 @default.
- W2132143669 hasConcept C2780385302 @default.
- W2132143669 hasConcept C2780598303 @default.
- W2132143669 hasConcept C33923547 @default.
- W2132143669 hasConcept C4069607 @default.
- W2132143669 hasConcept C41008148 @default.
- W2132143669 hasConcept C71924100 @default.
- W2132143669 hasConceptScore W2132143669C101468663 @default.
- W2132143669 hasConceptScore W2132143669C105795698 @default.
- W2132143669 hasConceptScore W2132143669C136536468 @default.
- W2132143669 hasConceptScore W2132143669C142724271 @default.
- W2132143669 hasConceptScore W2132143669C154945302 @default.
- W2132143669 hasConceptScore W2132143669C17744445 @default.
- W2132143669 hasConceptScore W2132143669C199360897 @default.
- W2132143669 hasConceptScore W2132143669C199539241 @default.
- W2132143669 hasConceptScore W2132143669C204787440 @default.
- W2132143669 hasConceptScore W2132143669C2779089604 @default.
- W2132143669 hasConceptScore W2132143669C2780385302 @default.
- W2132143669 hasConceptScore W2132143669C2780598303 @default.
- W2132143669 hasConceptScore W2132143669C33923547 @default.
- W2132143669 hasConceptScore W2132143669C4069607 @default.
- W2132143669 hasConceptScore W2132143669C41008148 @default.
- W2132143669 hasConceptScore W2132143669C71924100 @default.
- W2132143669 hasLocation W21321436691 @default.
- W2132143669 hasOpenAccess W2132143669 @default.
- W2132143669 hasPrimaryLocation W21321436691 @default.
- W2132143669 hasRelatedWork W2112962394 @default.
- W2132143669 hasRelatedWork W2118300983 @default.
- W2132143669 hasRelatedWork W2382501300 @default.
- W2132143669 hasRelatedWork W2971083503 @default.
- W2132143669 hasRelatedWork W3137189469 @default.
- W2132143669 hasRelatedWork W3162240892 @default.
- W2132143669 hasRelatedWork W4235530921 @default.
- W2132143669 hasRelatedWork W4243252198 @default.
- W2132143669 hasRelatedWork W4281682265 @default.
- W2132143669 hasRelatedWork W2519725248 @default.
- W2132143669 isParatext "false" @default.
- W2132143669 isRetracted "false" @default.
- W2132143669 magId "2132143669" @default.
- W2132143669 workType "article" @default.