John Hatcliff, Frank Tip
Proceedings of the 11th Workshop on Partial Evaluation and Semantics-Based Program Manipulation
PEPM, 2006.

@proceedings{PEPM-2006,
	acmid         = "1111542",
	address       = "Charleston, South Carolina, USA",
	editor        = "John Hatcliff and Frank Tip",
	isbn          = "1-59593-196-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 11th Workshop on Partial Evaluation and Semantics-Based Program Manipulation}",
	year          = 2006,
}

Contents (19 items)

3 ×#analysis
2 ×#approach
2 ×#functional
2 ×#partial evaluation
2 ×#simulation

PEPM-2006-Cordy #analysis #generative #txl

Source transformation, analysis and generation in TXL (JRC), pp. 1–11.

PEPM-2006-CooperMG #on the #optimisation #partial evaluation #simulation

On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations (JC, SM, AG), pp. 12–20.

PEPM-2006-Edwards #fixpoint #simulation #using

Using program specialization to speed SystemC fixed-point simulation (SAE), pp. 21–28.

PEPM-2006-ThompsonM #partial evaluation

Bit-level partial evaluation of synchronous circuits (ST, AM), pp. 29–37.

PEPM-2006-IwamaIK #analysis #exception #functional #resource management

Resource usage analysis for a functional language with exceptions (FI, AI, NK), pp. 38–47.

PEPM-2006-LewisJ #analysis #model checking

A dead variable analysis for explicit model checking (ML, MJ), pp. 48–57.

PEPM-2006-HammerGK #dependence #graph

Dynamic path conditions in dependence graphs (CH, MG, JK), pp. 58–67.

PEPM-2006-Lopez-HerrejonBL #approach #composition

A disciplined approach to aspect composition (RELH, DSB, CL), pp. 68–77.

PEPM-2006-WangCK #aspect-oriented #functional #higher-order #weaving

Type-directed weaving of aspects for higher-order functional languages (MW, KC, SCK), pp. 78–87.

PEPM-2006-LeuschelEVCF #interface #web

The Ecce and Logen partial evaluators and their web interfaces (ML, DE, MV, SJC, MF), pp. 88–94.

PEPM-2006-BravenboerKVV #component #stratego

Stratego/XT 0.16: components for transformation systems (MB, KTK, RV, EV), pp. 95–99.

PEPM-2006-RepsBL #low level

Intermediate-representation recovery from low-level code (TWR, GB, JL), pp. 100–111.

PEPM-2006-LiuWGRCZZ #data access #implementation #performance

Core role-based access control: efficient implementations by transformations (YAL, CW, MG, TR, YC, YZ, JZ), pp. 112–120.

PEPM-2006-LucaAAK #program transformation

Program transformation by solving recurrences (BL, SA, HA, SCK), pp. 121–129.

PEPM-2006-ErwigFP #fortran #programming

Generic programming in Fortran (ME, ZF, BP), pp. 130–139.

PEPM-2006-MadouPB #interactive #named #obfuscation

LOCO: an interactive code (De)obfuscation tool (MM, LVP, KDB), pp. 140–144.

PEPM-2006-GeayYF #assurance #quality

Continuous code-quality assurance with SAFE (EG, EY, SJF), pp. 145–149.

PEPM-2006-Veldhuizen #metaprogramming #trade-off

Tradeoffs in metaprogramming (TLV), pp. 150–159.

PEPM-2006-SwadiTKP #approach #monad #staging

A monadic approach for avoiding code duplication when staging memoized functions (KNS, WT, OK, EP), pp. 160–169.