Matches in SemOpenAlex for { <https://semopenalex.org/work/W2131752612> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2131752612 abstract "We propose a calculus describing compilation and linking in terms of operations on fragments, i.e. compilation units, without reference to their specific contents. We believe this calculus faithfully reflects the situation within modern programming systems. Binary compatibility in Java prescribes conditions under which modification of fragments does not necessitate recompilation of importing fragments. We apply our calculus to formalize binary compatibility, and demonstrate that several interpretations of the language specification are possible, each with different ramifications. We choose a particular interpretation, justify our choice, formulate and prove properties important for language designers and code library developers." @default.
- W2131752612 created "2016-06-24" @default.
- W2131752612 creator A5024857075 @default.
- W2131752612 creator A5026471462 @default.
- W2131752612 creator A5060800643 @default.
- W2131752612 date "2003-01-20" @default.
- W2131752612 modified "2023-09-23" @default.
- W2131752612 title "A fragment calculus-towards a model of separate compilation, linking and binary compatibility" @default.
- W2131752612 cites W1479978786 @default.
- W2131752612 cites W1553537175 @default.
- W2131752612 cites W1973842178 @default.
- W2131752612 cites W2025672027 @default.
- W2131752612 cites W2035069210 @default.
- W2131752612 cites W2065141544 @default.
- W2131752612 cites W2068625388 @default.
- W2131752612 cites W2092889242 @default.
- W2131752612 cites W2105360973 @default.
- W2131752612 cites W2135785452 @default.
- W2131752612 cites W4241979938 @default.
- W2131752612 doi "https://doi.org/10.1109/lics.1999.782606" @default.
- W2131752612 hasPublicationYear "2003" @default.
- W2131752612 type Work @default.
- W2131752612 sameAs 2131752612 @default.
- W2131752612 citedByCount "23" @default.
- W2131752612 countsByYear W21317526122012 @default.
- W2131752612 countsByYear W21317526122022 @default.
- W2131752612 crossrefType "proceedings-article" @default.
- W2131752612 hasAuthorship W2131752612A5024857075 @default.
- W2131752612 hasAuthorship W2131752612A5026471462 @default.
- W2131752612 hasAuthorship W2131752612A5060800643 @default.
- W2131752612 hasConcept C111919701 @default.
- W2131752612 hasConcept C127413603 @default.
- W2131752612 hasConcept C199360897 @default.
- W2131752612 hasConcept C20574231 @default.
- W2131752612 hasConcept C2776235265 @default.
- W2131752612 hasConcept C2778648169 @default.
- W2131752612 hasConcept C2984882572 @default.
- W2131752612 hasConcept C33923547 @default.
- W2131752612 hasConcept C41008148 @default.
- W2131752612 hasConcept C42360764 @default.
- W2131752612 hasConcept C48372109 @default.
- W2131752612 hasConcept C548217200 @default.
- W2131752612 hasConcept C80444323 @default.
- W2131752612 hasConcept C94375191 @default.
- W2131752612 hasConceptScore W2131752612C111919701 @default.
- W2131752612 hasConceptScore W2131752612C127413603 @default.
- W2131752612 hasConceptScore W2131752612C199360897 @default.
- W2131752612 hasConceptScore W2131752612C20574231 @default.
- W2131752612 hasConceptScore W2131752612C2776235265 @default.
- W2131752612 hasConceptScore W2131752612C2778648169 @default.
- W2131752612 hasConceptScore W2131752612C2984882572 @default.
- W2131752612 hasConceptScore W2131752612C33923547 @default.
- W2131752612 hasConceptScore W2131752612C41008148 @default.
- W2131752612 hasConceptScore W2131752612C42360764 @default.
- W2131752612 hasConceptScore W2131752612C48372109 @default.
- W2131752612 hasConceptScore W2131752612C548217200 @default.
- W2131752612 hasConceptScore W2131752612C80444323 @default.
- W2131752612 hasConceptScore W2131752612C94375191 @default.
- W2131752612 hasLocation W21317526121 @default.
- W2131752612 hasOpenAccess W2131752612 @default.
- W2131752612 hasPrimaryLocation W21317526121 @default.
- W2131752612 hasRelatedWork W1493446239 @default.
- W2131752612 hasRelatedWork W1825982205 @default.
- W2131752612 hasRelatedWork W1979547103 @default.
- W2131752612 hasRelatedWork W2068737373 @default.
- W2131752612 hasRelatedWork W2097082130 @default.
- W2131752612 hasRelatedWork W2131752612 @default.
- W2131752612 hasRelatedWork W2137409926 @default.
- W2131752612 hasRelatedWork W2162118494 @default.
- W2131752612 hasRelatedWork W4254917997 @default.
- W2131752612 hasRelatedWork W2528467228 @default.
- W2131752612 isParatext "false" @default.
- W2131752612 isRetracted "false" @default.
- W2131752612 magId "2131752612" @default.
- W2131752612 workType "article" @default.