Matches in SemOpenAlex for { <https://semopenalex.org/work/W634491767> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W634491767 abstract "Typestate oriented programming integrates notions of typestate directly into the semantics of an objectoriented programming language. This document presents the formalization of Gradual Featherweight Typestate, a typestate oriented language modeled after Featherweight Java. This language supports a classesas-states model of typestates, and utilizes a flow-sensitive type system for checking access permissions and state guarantees, thereby enabling safe and modular typestate checking." @default.
- W634491767 created "2016-06-24" @default.
- W634491767 creator A5051937731 @default.
- W634491767 creator A5074606459 @default.
- W634491767 creator A5075872914 @default.
- W634491767 creator A5091372985 @default.
- W634491767 date "2010-01-01" @default.
- W634491767 modified "2023-09-27" @default.
- W634491767 title "Gradual Featherweight Typestate" @default.
- W634491767 cites W1975575519 @default.
- W634491767 cites W2033348393 @default.
- W634491767 cites W2036676170 @default.
- W634491767 cites W2911865844 @default.
- W634491767 hasPublicationYear "2010" @default.
- W634491767 type Work @default.
- W634491767 sameAs 634491767 @default.
- W634491767 citedByCount "1" @default.
- W634491767 crossrefType "journal-article" @default.
- W634491767 hasAuthorship W634491767A5051937731 @default.
- W634491767 hasAuthorship W634491767A5074606459 @default.
- W634491767 hasAuthorship W634491767A5075872914 @default.
- W634491767 hasAuthorship W634491767A5091372985 @default.
- W634491767 hasConcept C101468663 @default.
- W634491767 hasConcept C184337299 @default.
- W634491767 hasConcept C199360897 @default.
- W634491767 hasConcept C35390924 @default.
- W634491767 hasConcept C41008148 @default.
- W634491767 hasConcept C44779574 @default.
- W634491767 hasConceptScore W634491767C101468663 @default.
- W634491767 hasConceptScore W634491767C184337299 @default.
- W634491767 hasConceptScore W634491767C199360897 @default.
- W634491767 hasConceptScore W634491767C35390924 @default.
- W634491767 hasConceptScore W634491767C41008148 @default.
- W634491767 hasConceptScore W634491767C44779574 @default.
- W634491767 hasLocation W6344917671 @default.
- W634491767 hasOpenAccess W634491767 @default.
- W634491767 hasPrimaryLocation W6344917671 @default.
- W634491767 hasRelatedWork W137892622 @default.
- W634491767 hasRelatedWork W1493950382 @default.
- W634491767 hasRelatedWork W1620267008 @default.
- W634491767 hasRelatedWork W1896092679 @default.
- W634491767 hasRelatedWork W1965199769 @default.
- W634491767 hasRelatedWork W2068349362 @default.
- W634491767 hasRelatedWork W2071402994 @default.
- W634491767 hasRelatedWork W2100934637 @default.
- W634491767 hasRelatedWork W2119533840 @default.
- W634491767 hasRelatedWork W2167554611 @default.
- W634491767 hasRelatedWork W2188386601 @default.
- W634491767 hasRelatedWork W2280114176 @default.
- W634491767 hasRelatedWork W2520948016 @default.
- W634491767 hasRelatedWork W2751426875 @default.
- W634491767 hasRelatedWork W2902941790 @default.
- W634491767 hasRelatedWork W2971796289 @default.
- W634491767 hasRelatedWork W3191076002 @default.
- W634491767 hasRelatedWork W769797923 @default.
- W634491767 hasRelatedWork W924000048 @default.
- W634491767 hasRelatedWork W1695638235 @default.
- W634491767 isParatext "false" @default.
- W634491767 isRetracted "false" @default.
- W634491767 magId "634491767" @default.
- W634491767 workType "article" @default.