Titlebook: Semantics, Applications, and Implementation of Program Generation; Second International Walid Taha Conference proceedings 2001 Springer-Ver

大沟

lattice

PATHY

travail

Accomplishments and Research Challenges in Meta-programminge a lot has been accomplished, yet much remains to be done. In this invited talk I wish to review recent accomplishments and future research challenges in hopes that this will spur interest in meta-programming in general and lead to new and better meta-programming systems.

neuron

歌曲

教唆

Static Transition Compression and context-insensitive translation gives rise to static chains of jumps. Taking an inspiration from the notion of continuation, we state a new compositional and context-sensitive specification that provably gives rise to no static chains of jumps, no redundant labels, and no unused labels. It is d

pulmonary

Inculcate

musicologist

A Design Methodology for Functional Programswing how methodologies commonly used to develop object-oriented programs might also be used to develop functional ones. This involves mapping from a restricted subset of the diagrammatic notation used with these methodologies, the Unified Modeling Language (UML), to the standard lazy functional prog