Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130559265> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2130559265 abstract "Typestate analyses determine whether a program's use of a given API obeys this API's usage constraints in the sense that the right methods are called on the right objects in the right order. Previously, we and others have described approaches that generate typestate analyses from textual finite-state property definitions written in specialized domain-specific languages. While such an approach is feasible, it requires a heavyweight compiler, hindering an effective integration into the programmer's development environment and thus often also into her software-development practice." @default.
- W2130559265 created "2016-06-24" @default.
- W2130559265 creator A5076678278 @default.
- W2130559265 date "2014-06-12" @default.
- W2130559265 modified "2023-10-17" @default.
- W2130559265 title "TS4J" @default.
- W2130559265 cites W2044590882 @default.
- W2130559265 cites W2080573945 @default.
- W2130559265 cites W2111141292 @default.
- W2130559265 cites W2115725211 @default.
- W2130559265 cites W2132464057 @default.
- W2130559265 cites W2138557872 @default.
- W2130559265 cites W2150593762 @default.
- W2130559265 cites W2156881251 @default.
- W2130559265 cites W2168130140 @default.
- W2130559265 doi "https://doi.org/10.1145/2614628.2614629" @default.
- W2130559265 hasPublicationYear "2014" @default.
- W2130559265 type Work @default.
- W2130559265 sameAs 2130559265 @default.
- W2130559265 citedByCount "9" @default.
- W2130559265 countsByYear W21305592652015 @default.
- W2130559265 countsByYear W21305592652017 @default.
- W2130559265 countsByYear W21305592652020 @default.
- W2130559265 countsByYear W21305592652021 @default.
- W2130559265 crossrefType "proceedings-article" @default.
- W2130559265 hasAuthorship W2130559265A5076678278 @default.
- W2130559265 hasConcept C111472728 @default.
- W2130559265 hasConcept C115903868 @default.
- W2130559265 hasConcept C134306372 @default.
- W2130559265 hasConcept C135257023 @default.
- W2130559265 hasConcept C138885662 @default.
- W2130559265 hasConcept C169590947 @default.
- W2130559265 hasConcept C189950617 @default.
- W2130559265 hasConcept C199360897 @default.
- W2130559265 hasConcept C2777904410 @default.
- W2130559265 hasConcept C2778514511 @default.
- W2130559265 hasConcept C33923547 @default.
- W2130559265 hasConcept C36503486 @default.
- W2130559265 hasConcept C41008148 @default.
- W2130559265 hasConcept C529173508 @default.
- W2130559265 hasConceptScore W2130559265C111472728 @default.
- W2130559265 hasConceptScore W2130559265C115903868 @default.
- W2130559265 hasConceptScore W2130559265C134306372 @default.
- W2130559265 hasConceptScore W2130559265C135257023 @default.
- W2130559265 hasConceptScore W2130559265C138885662 @default.
- W2130559265 hasConceptScore W2130559265C169590947 @default.
- W2130559265 hasConceptScore W2130559265C189950617 @default.
- W2130559265 hasConceptScore W2130559265C199360897 @default.
- W2130559265 hasConceptScore W2130559265C2777904410 @default.
- W2130559265 hasConceptScore W2130559265C2778514511 @default.
- W2130559265 hasConceptScore W2130559265C33923547 @default.
- W2130559265 hasConceptScore W2130559265C36503486 @default.
- W2130559265 hasConceptScore W2130559265C41008148 @default.
- W2130559265 hasConceptScore W2130559265C529173508 @default.
- W2130559265 hasLocation W21305592651 @default.
- W2130559265 hasOpenAccess W2130559265 @default.
- W2130559265 hasPrimaryLocation W21305592651 @default.
- W2130559265 hasRelatedWork W1580439077 @default.
- W2130559265 hasRelatedWork W2062911365 @default.
- W2130559265 hasRelatedWork W2128417157 @default.
- W2130559265 hasRelatedWork W2192862863 @default.
- W2130559265 hasRelatedWork W2519339279 @default.
- W2130559265 hasRelatedWork W2914642918 @default.
- W2130559265 hasRelatedWork W3106899911 @default.
- W2130559265 hasRelatedWork W3122607007 @default.
- W2130559265 hasRelatedWork W3162240892 @default.
- W2130559265 hasRelatedWork W1482645738 @default.
- W2130559265 isParatext "false" @default.
- W2130559265 isRetracted "false" @default.
- W2130559265 magId "2130559265" @default.
- W2130559265 workType "article" @default.