Matches in SemOpenAlex for { <https://semopenalex.org/work/W3104980207> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W3104980207 abstract "We present FJ&$lambda$, a new core calculus that extends Featherweight Java (FJ) with interfaces, supporting multiple inheritance in a restricted form, $lambda$-expressions, and intersection types. Our main goal is to formalise how lambdas and intersection types are grafted on Java 8, by studying their properties in a formal setting. We show how intersection types play a significant role in several cases, in particular in the typecast of a $lambda$-expression and in the typing of conditional expressions. We also embody interface emph{default methods} in FJ&$lambda$, since they increase the dynamism of $lambda$-expressions, by allowing these methods to be called on $lambda$-expressions. The crucial point in Java 8 and in our calculus is that $lambda$-expressions can have various types according to the context requirements (target types): indeed, Java code does not compile when $lambda$-expressions come without target types. In particular, in the operational semantics we must record target types by decorating $lambda$-expressions, otherwise they would be lost in the runtime expressions. We prove the subject reduction property and progress for the resulting calculus, and we give a type inference algorithm that returns the type of a given program if it is well typed. The design of FJ&$lambda$ has been driven by the aim of making it a subset of Java 8, while preserving the elegance and compactness of FJ. Indeed, FJ&$lambda$ programs are typed and behave the same as Java programs." @default.
- W3104980207 created "2020-11-23" @default.
- W3104980207 creator A5006805009 @default.
- W3104980207 creator A5053585862 @default.
- W3104980207 creator A5057279396 @default.
- W3104980207 creator A5075230989 @default.
- W3104980207 creator A5083629281 @default.
- W3104980207 date "2018-09-01" @default.
- W3104980207 modified "2023-10-14" @default.
- W3104980207 title "Java & Lambda: a Featherweight Story" @default.
- W3104980207 doi "https://doi.org/10.23638/lmcs-14(3:17)2018" @default.
- W3104980207 hasPublicationYear "2018" @default.
- W3104980207 type Work @default.
- W3104980207 sameAs 3104980207 @default.
- W3104980207 citedByCount "4" @default.
- W3104980207 countsByYear W31049802072020 @default.
- W3104980207 countsByYear W31049802072021 @default.
- W3104980207 countsByYear W31049802072022 @default.
- W3104980207 crossrefType "journal-article" @default.
- W3104980207 hasAuthorship W3104980207A5006805009 @default.
- W3104980207 hasAuthorship W3104980207A5053585862 @default.
- W3104980207 hasAuthorship W3104980207A5057279396 @default.
- W3104980207 hasAuthorship W3104980207A5075230989 @default.
- W3104980207 hasAuthorship W3104980207A5083629281 @default.
- W3104980207 hasBestOaLocation W31049802072 @default.
- W3104980207 hasConcept C127413603 @default.
- W3104980207 hasConcept C135790938 @default.
- W3104980207 hasConcept C142156749 @default.
- W3104980207 hasConcept C146978453 @default.
- W3104980207 hasConcept C199360897 @default.
- W3104980207 hasConcept C200568363 @default.
- W3104980207 hasConcept C41008148 @default.
- W3104980207 hasConcept C548217200 @default.
- W3104980207 hasConcept C55128367 @default.
- W3104980207 hasConcept C61237538 @default.
- W3104980207 hasConcept C64543145 @default.
- W3104980207 hasConcept C73752529 @default.
- W3104980207 hasConcept C77736955 @default.
- W3104980207 hasConceptScore W3104980207C127413603 @default.
- W3104980207 hasConceptScore W3104980207C135790938 @default.
- W3104980207 hasConceptScore W3104980207C142156749 @default.
- W3104980207 hasConceptScore W3104980207C146978453 @default.
- W3104980207 hasConceptScore W3104980207C199360897 @default.
- W3104980207 hasConceptScore W3104980207C200568363 @default.
- W3104980207 hasConceptScore W3104980207C41008148 @default.
- W3104980207 hasConceptScore W3104980207C548217200 @default.
- W3104980207 hasConceptScore W3104980207C55128367 @default.
- W3104980207 hasConceptScore W3104980207C61237538 @default.
- W3104980207 hasConceptScore W3104980207C64543145 @default.
- W3104980207 hasConceptScore W3104980207C73752529 @default.
- W3104980207 hasConceptScore W3104980207C77736955 @default.
- W3104980207 hasLocation W31049802071 @default.
- W3104980207 hasLocation W31049802072 @default.
- W3104980207 hasLocation W31049802073 @default.
- W3104980207 hasLocation W31049802074 @default.
- W3104980207 hasOpenAccess W3104980207 @default.
- W3104980207 hasPrimaryLocation W31049802071 @default.
- W3104980207 hasRelatedWork W1139059080 @default.
- W3104980207 hasRelatedWork W1603995370 @default.
- W3104980207 hasRelatedWork W1762925969 @default.
- W3104980207 hasRelatedWork W2083282314 @default.
- W3104980207 hasRelatedWork W2125333933 @default.
- W3104980207 hasRelatedWork W2189323991 @default.
- W3104980207 hasRelatedWork W2782737661 @default.
- W3104980207 hasRelatedWork W4297858128 @default.
- W3104980207 hasRelatedWork W48456425 @default.
- W3104980207 hasRelatedWork W2761902706 @default.
- W3104980207 isParatext "false" @default.
- W3104980207 isRetracted "false" @default.
- W3104980207 magId "3104980207" @default.
- W3104980207 workType "article" @default.