Matches in SemOpenAlex for { <https://semopenalex.org/work/W1540946807> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1540946807 endingPage "112" @default.
- W1540946807 startingPage "100" @default.
- W1540946807 abstract "In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded variants of the same method. This approach has some disadvantages: it forces an exponential growth of the code with respect to the number of properties, it may cause duplication of code, and it may create unnecessary code dependencies.To the best of our knowledge, the literature lacks formal proposals that model non-trivial object initialization protocols.In this paper we present a calculus (called FJMIP), which is an extension of the Igarashi-Pierce-Wadler Featherweight Java and models a novel object initialization protocol. Our calculus is reasonably simple, but it offers two benefits: (i) it formalizes a modular way of initializing objects that does not suffer from the previous mentioned flaws, while still being an expressive object initialization protocol; (ii) as a by-product, it allowed us to introduce a novel technique to prove that our object initialization process actually initializes all the fields of an object.KeywordsInput ParameterOutput ParameterIntermediate FormOperational SemanticInitialization ProcessThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1540946807 created "2016-06-24" @default.
- W1540946807 creator A5075230989 @default.
- W1540946807 creator A5081737106 @default.
- W1540946807 date "2007-08-27" @default.
- W1540946807 modified "2023-09-27" @default.
- W1540946807 title "FJMIP: A Calculus for a Modular Object Initialization" @default.
- W1540946807 cites W1544633123 @default.
- W1540946807 cites W2033348393 @default.
- W1540946807 cites W2080648611 @default.
- W1540946807 doi "https://doi.org/10.1007/978-3-540-74240-1_10" @default.
- W1540946807 hasPublicationYear "2007" @default.
- W1540946807 type Work @default.
- W1540946807 sameAs 1540946807 @default.
- W1540946807 citedByCount "2" @default.
- W1540946807 countsByYear W15409468072012 @default.
- W1540946807 crossrefType "book-chapter" @default.
- W1540946807 hasAuthorship W1540946807A5075230989 @default.
- W1540946807 hasAuthorship W1540946807A5081737106 @default.
- W1540946807 hasBestOaLocation W15409468072 @default.
- W1540946807 hasConcept C101468663 @default.
- W1540946807 hasConcept C111919701 @default.
- W1540946807 hasConcept C11413529 @default.
- W1540946807 hasConcept C114466953 @default.
- W1540946807 hasConcept C133162039 @default.
- W1540946807 hasConcept C142724271 @default.
- W1540946807 hasConcept C154945302 @default.
- W1540946807 hasConcept C177264268 @default.
- W1540946807 hasConcept C199360897 @default.
- W1540946807 hasConcept C204787440 @default.
- W1540946807 hasConcept C26517878 @default.
- W1540946807 hasConcept C2776760102 @default.
- W1540946807 hasConcept C2780385302 @default.
- W1540946807 hasConcept C2781238097 @default.
- W1540946807 hasConcept C41008148 @default.
- W1540946807 hasConcept C512554520 @default.
- W1540946807 hasConcept C548217200 @default.
- W1540946807 hasConcept C71924100 @default.
- W1540946807 hasConcept C73752529 @default.
- W1540946807 hasConcept C80444323 @default.
- W1540946807 hasConceptScore W1540946807C101468663 @default.
- W1540946807 hasConceptScore W1540946807C111919701 @default.
- W1540946807 hasConceptScore W1540946807C11413529 @default.
- W1540946807 hasConceptScore W1540946807C114466953 @default.
- W1540946807 hasConceptScore W1540946807C133162039 @default.
- W1540946807 hasConceptScore W1540946807C142724271 @default.
- W1540946807 hasConceptScore W1540946807C154945302 @default.
- W1540946807 hasConceptScore W1540946807C177264268 @default.
- W1540946807 hasConceptScore W1540946807C199360897 @default.
- W1540946807 hasConceptScore W1540946807C204787440 @default.
- W1540946807 hasConceptScore W1540946807C26517878 @default.
- W1540946807 hasConceptScore W1540946807C2776760102 @default.
- W1540946807 hasConceptScore W1540946807C2780385302 @default.
- W1540946807 hasConceptScore W1540946807C2781238097 @default.
- W1540946807 hasConceptScore W1540946807C41008148 @default.
- W1540946807 hasConceptScore W1540946807C512554520 @default.
- W1540946807 hasConceptScore W1540946807C548217200 @default.
- W1540946807 hasConceptScore W1540946807C71924100 @default.
- W1540946807 hasConceptScore W1540946807C73752529 @default.
- W1540946807 hasConceptScore W1540946807C80444323 @default.
- W1540946807 hasLocation W15409468071 @default.
- W1540946807 hasLocation W15409468072 @default.
- W1540946807 hasOpenAccess W1540946807 @default.
- W1540946807 hasPrimaryLocation W15409468071 @default.
- W1540946807 hasRelatedWork W1490787830 @default.
- W1540946807 hasRelatedWork W1493446239 @default.
- W1540946807 hasRelatedWork W1518080236 @default.
- W1540946807 hasRelatedWork W1595868262 @default.
- W1540946807 hasRelatedWork W1860988706 @default.
- W1540946807 hasRelatedWork W1967877062 @default.
- W1540946807 hasRelatedWork W2385657694 @default.
- W1540946807 hasRelatedWork W2919409937 @default.
- W1540946807 hasRelatedWork W3006032443 @default.
- W1540946807 hasRelatedWork W2528467228 @default.
- W1540946807 isParatext "false" @default.
- W1540946807 isRetracted "false" @default.
- W1540946807 magId "1540946807" @default.
- W1540946807 workType "book-chapter" @default.