Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079792219> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2079792219 abstract "We propose a Java-like language where class definitions are first class values and new classes can be derived from existing ones by exploiting the full power of the language itself, used on top of a small set of primitive composition operators, instead of using a fixed mechanism like inheritance.Hence, compilation requires to perform (meta-)reduction steps, by a process that we call compile-time execution. This approach differs from meta-programming techniques available in mainstream languages since it is meta-circular, hence programmers are not required to learn new syntax and idioms.Compile-time execution is guaranteed to be sound (not to get stuck) by a lightweight technique, where class composition errors are detected dynamically, and conventional typing errors are detected by interleaving typechecking with meta-reduction steps. This allows for a modular approach, that is, compile-time execution is defined, and can be implemented, on top of typechecking and execution of the underlying language. Moreover, programmers can handle errors due to composition operators.Besides soundness, our technique ensures an additional important property called meta-level soundness, that is, typing errors never originate from (meta-)code in already compiled programs." @default.
- W2079792219 created "2016-06-24" @default.
- W2079792219 creator A5046299910 @default.
- W2079792219 creator A5083585434 @default.
- W2079792219 date "2010-10-17" @default.
- W2079792219 modified "2023-09-26" @default.
- W2079792219 title "MetaFJig" @default.
- W2079792219 cites W1559822977 @default.
- W2079792219 cites W1561114351 @default.
- W2079792219 cites W1573629245 @default.
- W2079792219 cites W1986270432 @default.
- W2079792219 cites W1986454448 @default.
- W2079792219 cites W2015554455 @default.
- W2079792219 cites W2022373880 @default.
- W2079792219 cites W2080648611 @default.
- W2079792219 cites W2086957250 @default.
- W2079792219 cites W2094455839 @default.
- W2079792219 cites W2106052980 @default.
- W2079792219 cites W2111898165 @default.
- W2079792219 cites W2114980545 @default.
- W2079792219 cites W2117699092 @default.
- W2079792219 cites W2127053650 @default.
- W2079792219 cites W2128029766 @default.
- W2079792219 cites W2168986107 @default.
- W2079792219 cites W2244800645 @default.
- W2079792219 doi "https://doi.org/10.1145/1869459.1869498" @default.
- W2079792219 hasPublicationYear "2010" @default.
- W2079792219 type Work @default.
- W2079792219 sameAs 2079792219 @default.
- W2079792219 citedByCount "6" @default.
- W2079792219 countsByYear W20797922192013 @default.
- W2079792219 countsByYear W20797922192015 @default.
- W2079792219 countsByYear W20797922192019 @default.
- W2079792219 countsByYear W20797922192021 @default.
- W2079792219 crossrefType "proceedings-article" @default.
- W2079792219 hasAuthorship W2079792219A5046299910 @default.
- W2079792219 hasAuthorship W2079792219A5083585434 @default.
- W2079792219 hasConcept C41008148 @default.
- W2079792219 hasConceptScore W2079792219C41008148 @default.
- W2079792219 hasLocation W20797922191 @default.
- W2079792219 hasOpenAccess W2079792219 @default.
- W2079792219 hasPrimaryLocation W20797922191 @default.
- W2079792219 hasRelatedWork W1596801655 @default.
- W2079792219 hasRelatedWork W2130043461 @default.
- W2079792219 hasRelatedWork W2350741829 @default.
- W2079792219 hasRelatedWork W2358668433 @default.
- W2079792219 hasRelatedWork W2376932109 @default.
- W2079792219 hasRelatedWork W2382290278 @default.
- W2079792219 hasRelatedWork W2390279801 @default.
- W2079792219 hasRelatedWork W2748952813 @default.
- W2079792219 hasRelatedWork W2899084033 @default.
- W2079792219 hasRelatedWork W2530322880 @default.
- W2079792219 isParatext "false" @default.
- W2079792219 isRetracted "false" @default.
- W2079792219 magId "2079792219" @default.
- W2079792219 workType "article" @default.