Germán Puebla, Germán Vidal
Proceedings of the 14th Symposium on Partial Evaluation and Semantics-Based Program Manipulation
PEPM, 2009.

@proceedings{PEPM-2009,
	acmid         = "1480945",
	address       = "Savannah, Georgia, USA",
	editor        = "Germán Puebla and Germán Vidal",
	isbn          = "978-1-60558-327-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 14th Symposium on Partial Evaluation and Semantics-Based Program Manipulation}",
	year          = 2009,
}

Contents (22 items)

3 ×#named
2 ×#detection
2 ×#java
2 ×#source code
2 ×#using

PEPM-2009-Acar #overview #self

Self-adjusting computation: (an overview) (UAA), pp. 1–6.

PEPM-2009-CifuentesKLS #debugging #detection #program analysis #using

Program analysis for bug detection using parfait: invited talk (CC, NK, LL, BS), pp. 7–8.

PEPM-2009-SimmonsP #approximate #linear #logic

Linear logical approximations (RJS, FP), pp. 9–20.

PEPM-2009-RungtaM #model checking #morphism #polymorphism #source code

Guided model checking for programs with polymorphism (NR, EGM), pp. 21–30.

PEPM-2009-MossP

Program interpolation (AM, DP), pp. 31–40.

PEPM-2009-DavidGC #calculus #exception #optimisation

Translation and optimization for a core calculus with exceptions (CD, CG, WNC), pp. 41–50.

PEPM-2009-Gluck #question

Is there a fourth Futamura projection? (RG), pp. 51–60.

PEPM-2009-MatsudaHT #type system #xml

Type-based specialization of xml transformations (KM, ZH, MT), pp. 61–72.

PEPM-2009-EversK #automation #network

Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks (LE, JK), pp. 73–80.

PEPM-2009-PardoFS #higher-order #monad #source code

Shortcut fusion rules for the derivation of circular and higher-order monadic programs (AP, JPF, JS), pp. 81–90.

PEPM-2009-Lopez-FraguasRS #flexibility #framework #nondeterminism #programming

A flexible framework for programming with non-deterministic functions (FJLF, JRH, JSH), pp. 91–100.

PEPM-2009-Martel #precise #program transformation

Program transformation for numerical precision (MM), pp. 101–110.

PEPM-2009-KameyamaKS #staging

Shifting the stage: staging with delimited control (YK, OK, CcS), pp. 111–120.

PEPM-2009-SalamaMTGO #consistency #dependent type #using

Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions (CS, GM, WT, JG, JO), pp. 121–130.

PEPM-2009-BoustaniH #error message #fault #java

Improving type error messages for generic java (NEB, JH), pp. 131–140.

PEPM-2009-FradeSU #analysis #bidirectional #data flow

Bidirectional data-flow analyses, type-systematically (MJF, AS, TU), pp. 141–150.

PEPM-2009-MoretBV #execution #named #profiling

CCCP: complete calling context profiling in virtual execution environments (PM, WB, AV), pp. 151–160.

PEPM-2009-MoretBV09a #embedded #java #named

CProf: customizable calling context cross-profiling for embedded java processors (PM, WB, AV), pp. 161–164.

PEPM-2009-LeuschelLOST #csp #named #slicing #specification

SOC: a slicer for CSP specifications (ML, ML, JO, JS, ST), pp. 165–168.

PEPM-2009-LiT #clone detection #detection #erlang #refactoring

Clone detection and removal for Erlang/OTP within a refactoring environment (HL, SJT), pp. 169–178.

PEPM-2009-CunhaSV #database #relational #spreadsheet

From spreadsheets to relational databases and back (JC, JS, JV), pp. 179–188.

PEPM-2009-ChenLWK #aspect-oriented #design #locality

Designing aspects for side-effect localization (KC, JYL, SCW, SCK), pp. 189–198.