Staged Notational Definitions
Abstract elided by the publisher.
465 papers · page 23 of 24
Towards a More Piece-ful World
Abstract elided by the publisher.
On Stage Ordering in Staged Computation
Abstract elided by the publisher.
SynchNet: A Petri Net Based Coordination Language for Distributed Objects
Abstract elided by the publisher.
An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming
Abstract elided by the publisher.
Self Reflection for Adaptive Programming
Abstract elided by the publisher.
DataScript - A Specification and Scripting Language for Binary Data
Abstract elided by the publisher.
Memoization in Type-Directed Partial Evaluation
We use a code generator--type-directed partial evaluation-- to verify conversions between isomorphic types, or more precisely to verify that a composite function is the identity function at some complicated type. A typed functional language such as ML provides a natural support t…
A Protocol Stack Development Tool Using Generative Programming
Abstract elided by the publisher.
Building Composable Aspect-Specific Languages with Logic Metaprogramming
Abstract elided by the publisher.
Architectural Refactoring in Framework Evolution: A Case Study
Abstract elided by the publisher.
Towards a Modular Program Derivation via Fusion and Tupling
Abstract elided by the publisher.
Generative Programming for Embedded Software: An Industrial Experience Report
Abstract elided by the publisher.
A Framework for the Detection and Resolution of Aspect Interactions
Abstract elided by the publisher.
Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design
Abstract elided by the publisher.
Program Generation, Termination, and Binding-Time Analysis
Abstract elided by the publisher.
Macros That Compose: Systematic Macro Programming
Abstract elided by the publisher.
Program Termination Analysis in Polynomial Time
Abstract elided by the publisher.
Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems
Abstract elided by the publisher.
Optimizing Content Management System Pipelines
Abstract elided by the publisher.