SemOpenAlex |

SemOpenAlex

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4235709398> ?p ?o ?g. }

Showing items 1 to 81 of 81 with 100 items per page.

W4235709398 endingPage "37" @default.
W4235709398 startingPage "26" @default.
W4235709398 abstract "We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries,and link together fragments whose mutual assumptions are satisfied, without reinspecting the code. Even though compositional compilation is a highly desirable feature, in Java-like languages it can hardly be achieved. This is due to the fact that the bytecode generated for a fragment (say, a class) is not uniquely determined by its source code, but also depends on the compilation context.We propose a way to obtain compositional compilation for Java, by introducing a polymorphic form of bytecode containing type variables (ranging over class names) and equipped with a set of constraints involving type variables. Thus, polymorphic bytecode provides a representation for all the (standard) bytecode that can be obtained by replacing type variables with classes satisfying the associated constraints.We illustrate our proposal by developing a typing and a linking algorithm. The typing algorithm compiles a class in isolation generating the corresponding polymorphic bytecode fragment and constraints on the classes it depends on. The linking algorithm takes a collection of polymorphic bytecode fragments, checks their mutual consistency, and possibly simplifies and specializes them. In particular, linking a self-contained collection of fragments either fails, or produces standard bytecode (the same as would have been produced by standard compilation of all fragments)." @default.
W4235709398 created "2022-05-12" @default.
W4235709398 creator A5026471462 @default.
W4235709398 creator A5036812254 @default.
W4235709398 creator A5046299910 @default.
W4235709398 creator A5065182304 @default.
W4235709398 date "2005-01-12" @default.
W4235709398 modified "2023-10-16" @default.
W4235709398 title "Polymorphic bytecode" @default.
W4235709398 cites W1492943981 @default.
W4235709398 cites W153599732 @default.
W4235709398 cites W1570258731 @default.
W4235709398 cites W1989092049 @default.
W4235709398 cites W1989536180 @default.
W4235709398 cites W2016076634 @default.
W4235709398 cites W2016102214 @default.
W4235709398 cites W2086860619 @default.
W4235709398 cites W2119343468 @default.
W4235709398 cites W2135785452 @default.
W4235709398 cites W2168986107 @default.
W4235709398 doi "https://doi.org/10.1145/1047659.1040308" @default.
W4235709398 hasPublicationYear "2005" @default.
W4235709398 type Work @default.
W4235709398 citedByCount "0" @default.
W4235709398 crossrefType "journal-article" @default.
W4235709398 hasAuthorship W4235709398A5026471462 @default.
W4235709398 hasAuthorship W4235709398A5036812254 @default.
W4235709398 hasAuthorship W4235709398A5046299910 @default.
W4235709398 hasAuthorship W4235709398A5065182304 @default.
W4235709398 hasConcept C151730666 @default.
W4235709398 hasConcept C154945302 @default.
W4235709398 hasConcept C15524039 @default.
W4235709398 hasConcept C168702491 @default.
W4235709398 hasConcept C177264268 @default.
W4235709398 hasConcept C199360897 @default.
W4235709398 hasConcept C2776235265 @default.
W4235709398 hasConcept C2776436953 @default.
W4235709398 hasConcept C2777212361 @default.
W4235709398 hasConcept C2777472213 @default.
W4235709398 hasConcept C2779343474 @default.
W4235709398 hasConcept C2779818221 @default.
W4235709398 hasConcept C41008148 @default.
W4235709398 hasConcept C548217200 @default.
W4235709398 hasConcept C80444323 @default.
W4235709398 hasConcept C86803240 @default.
W4235709398 hasConceptScore W4235709398C151730666 @default.
W4235709398 hasConceptScore W4235709398C154945302 @default.
W4235709398 hasConceptScore W4235709398C15524039 @default.
W4235709398 hasConceptScore W4235709398C168702491 @default.
W4235709398 hasConceptScore W4235709398C177264268 @default.
W4235709398 hasConceptScore W4235709398C199360897 @default.
W4235709398 hasConceptScore W4235709398C2776235265 @default.
W4235709398 hasConceptScore W4235709398C2776436953 @default.
W4235709398 hasConceptScore W4235709398C2777212361 @default.
W4235709398 hasConceptScore W4235709398C2777472213 @default.
W4235709398 hasConceptScore W4235709398C2779343474 @default.
W4235709398 hasConceptScore W4235709398C2779818221 @default.
W4235709398 hasConceptScore W4235709398C41008148 @default.
W4235709398 hasConceptScore W4235709398C548217200 @default.
W4235709398 hasConceptScore W4235709398C80444323 @default.
W4235709398 hasConceptScore W4235709398C86803240 @default.
W4235709398 hasIssue "1" @default.
W4235709398 hasLocation W42357093981 @default.
W4235709398 hasOpenAccess W4235709398 @default.
W4235709398 hasPrimaryLocation W42357093981 @default.
W4235709398 hasRelatedWork W1509153591 @default.
W4235709398 hasRelatedWork W1536265389 @default.
W4235709398 hasRelatedWork W1590648473 @default.
W4235709398 hasRelatedWork W1840808535 @default.
W4235709398 hasRelatedWork W20625830 @default.
W4235709398 hasRelatedWork W2080696000 @default.
W4235709398 hasRelatedWork W2130413583 @default.
W4235709398 hasRelatedWork W2160283408 @default.
W4235709398 hasRelatedWork W2537112085 @default.
W4235709398 hasRelatedWork W2884975599 @default.
W4235709398 hasVolume "40" @default.
W4235709398 isParatext "false" @default.
W4235709398 isRetracted "false" @default.
W4235709398 workType "article" @default.