Matches in SemOpenAlex for { <https://semopenalex.org/work/W2010443461> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2010443461 abstract "The design of metaprogramming languages requires appreciation of the tradeoffs that exist between important language characteristics such as safety properties, expressive power, and succinctness. Unfortunately, such tradeoffs are little understood, a situation we try to correct by embarking on a study of metaprogramming language tradeoffs using tools from computability theory. Safety properties of metaprograms are in general undecidable; for example, the property that a metaprogram always halts and produces a type-correct instance is Π02-complete. Although such safety properties are undecidable, they may sometimes be captured by a restricted language, a notion we adapt from complexity theory. We give some sufficient conditions and negative results on when languages capturing properties can exist: there can be no languages capturing total correctness for metaprograms, and no 'functional' safety properties above Σ03 can be captured. We prove that translating a metaprogram from a general-purpose to a restricted metaprogramming language capturing a property is tantamount to proving that property for the metaprogram." @default.
- W2010443461 created "2016-06-24" @default.
- W2010443461 creator A5002871206 @default.
- W2010443461 date "2006-01-09" @default.
- W2010443461 modified "2023-10-17" @default.
- W2010443461 title "Tradeoffs in metaprogramming" @default.
- W2010443461 cites W1968738492 @default.
- W2010443461 cites W1979254690 @default.
- W2010443461 cites W2008388355 @default.
- W2010443461 cites W2020263474 @default.
- W2010443461 cites W2026586474 @default.
- W2010443461 cites W2027321599 @default.
- W2010443461 cites W2034711041 @default.
- W2010443461 cites W2047764386 @default.
- W2010443461 cites W2072088733 @default.
- W2010443461 cites W2094455839 @default.
- W2010443461 cites W2111443557 @default.
- W2010443461 cites W2122493035 @default.
- W2010443461 cites W2132161762 @default.
- W2010443461 cites W2490632526 @default.
- W2010443461 cites W3137575998 @default.
- W2010443461 cites W3160136729 @default.
- W2010443461 cites W4230960895 @default.
- W2010443461 cites W4234390969 @default.
- W2010443461 cites W4236835455 @default.
- W2010443461 cites W4246015832 @default.
- W2010443461 doi "https://doi.org/10.1145/1111542.1111569" @default.
- W2010443461 hasPublicationYear "2006" @default.
- W2010443461 type Work @default.
- W2010443461 sameAs 2010443461 @default.
- W2010443461 citedByCount "16" @default.
- W2010443461 countsByYear W20104434612012 @default.
- W2010443461 countsByYear W20104434612013 @default.
- W2010443461 countsByYear W20104434612014 @default.
- W2010443461 countsByYear W20104434612015 @default.
- W2010443461 countsByYear W20104434612018 @default.
- W2010443461 crossrefType "proceedings-article" @default.
- W2010443461 hasAuthorship W2010443461A5002871206 @default.
- W2010443461 hasBestOaLocation W20104434612 @default.
- W2010443461 hasConcept C199360897 @default.
- W2010443461 hasConcept C35390924 @default.
- W2010443461 hasConcept C41008148 @default.
- W2010443461 hasConceptScore W2010443461C199360897 @default.
- W2010443461 hasConceptScore W2010443461C35390924 @default.
- W2010443461 hasConceptScore W2010443461C41008148 @default.
- W2010443461 hasLocation W20104434611 @default.
- W2010443461 hasLocation W20104434612 @default.
- W2010443461 hasOpenAccess W2010443461 @default.
- W2010443461 hasPrimaryLocation W20104434611 @default.
- W2010443461 hasRelatedWork W123754615 @default.
- W2010443461 hasRelatedWork W1535662243 @default.
- W2010443461 hasRelatedWork W2027798793 @default.
- W2010443461 hasRelatedWork W2140487696 @default.
- W2010443461 hasRelatedWork W3006199460 @default.
- W2010443461 hasRelatedWork W3022311341 @default.
- W2010443461 hasRelatedWork W3162240892 @default.
- W2010443461 hasRelatedWork W4235530921 @default.
- W2010443461 hasRelatedWork W4240584151 @default.
- W2010443461 hasRelatedWork W4243252198 @default.
- W2010443461 isParatext "false" @default.
- W2010443461 isRetracted "false" @default.
- W2010443461 magId "2010443461" @default.
- W2010443461 workType "article" @default.