字谜游戏
发表于 2025-3-25 04:42:55
http://reply.papertrans.cn/87/8648/864755/864755_21.png
等待
发表于 2025-3-25 11:28:03
MetaKlaim: Meta-programming for Global Computingking about the . dimension. In particular, withno central control and the need to operate with incomplete information there is a compelling need to interleave meta-programming activities (like assembly and linking of code fragments), security checks (like type-checking at administrative boundaries)
Robust
发表于 2025-3-25 15:39:55
http://reply.papertrans.cn/87/8648/864755/864755_23.png
BOOST
发表于 2025-3-25 17:00:03
http://reply.papertrans.cn/87/8648/864755/864755_24.png
狂怒
发表于 2025-3-25 22:41:07
Static Transition Compressionsitional and context-sensitive specification that provably gives rise to no static chains of jumps, no redundant labels, and no unused labels. It is defined with one inference rule per syntactic construct and operates in linear time and space on the size of the source program (indeed it operates in one pass).
CHAR
发表于 2025-3-26 00:27:16
http://reply.papertrans.cn/87/8648/864755/864755_26.png
compose
发表于 2025-3-26 04:18:35
Dynamically Adaptable Software with Metacomputations in a Staged Languageacomputation-style language definitions and the staging constructs of MetaML. We believe that the approach to implementing profile-driven optimizations presented here suggests a useful, formal model for dynamically adaptable software
夹克怕包裹
发表于 2025-3-26 08:57:16
A Transformational Approach which Combines Size Inference and Program Optimizationguage ...We believe that analysis and parallelization work best if higher-order functions are used to compose the program from functional building blocks, so-called skeletons, instead of using unrestrained recursion. Skeletons, e.g., data-parallel combinators come with a theory of sizes and parallelization.
Outwit
发表于 2025-3-26 16:41:28
MetaKlaim: Meta-programming for Global Computingain control of the temporal aspects, while Klaim allows to model and program the spatial aspects of distributed concurrent applications. Our approachfor combining these aspects is quite general and should be applicable to other languages/systems for network programming.
anagen
发表于 2025-3-26 18:06:11
Short Cut Fusion: Proved and Improvedsubstitution instances of its associated data structures. Together with the well-known generalization cata of foldr to arbitrary algebraic data types, this allows us to formulate and prove correct for each a contextual equivalence-preserving cata-augment fusion rule. These rules optimize composition