Ulrik Pagh Schultz, Jeremy Yallop
Proceedings of the 22nd Workshop on Partial Evaluation and Program Manipulation
PEPM, 2017.

@proceedings{PEPM-2017,
	doi           = "10.1145/3018882",
	editor        = "Ulrik Pagh Schultz and Jeremy Yallop",
	isbn          = "978-1-4503-4721-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 22nd Workshop on Partial Evaluation and Program Manipulation}",
	year          = 2017,
}

Contents (12 items)

PEPM-2017-BerezunJ #compilation #game studies #partial evaluation #semantics #λ-calculus

Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper) (DB, NDJ), pp. 1–11.

PEPM-2017-MatsushitaS #detection

Detecting code clones with gaps by function applications (TM, IS), pp. 12–22.

PEPM-2017-SerranoH #lightweight

Lightweight soundness for towers of language extensions (AS0, JH), pp. 23–34.

PEPM-2017-HengleinR #dynamic analysis #parsing expression grammar #using

PEG parsing in less space using progressive tabling and dynamic analysis (FH, UTR), pp. 35–46.

PEPM-2017-NarasimhanRL #data transformation #dependence #interactive #migration #program transformation #representation

Interactive data representation migration: exploiting program dependence to aid program transformation (KN, CR, JL), pp. 47–58.

PEPM-2017-SuwaT0I #code generation #higher-order #model checking #verification

Verification of code generators via higher-order model checking (TS, TT, NK0, AI), pp. 59–70.

PEPM-2017-MatsudaA #functional #graph transformation #reduction

A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction (KM, KA), pp. 71–82.

PEPM-2017-RompfB #functional

Functional parallels of sequential imperatives (short paper) (TR, KJB), pp. 83–88.

PEPM-2017-FritzH #approximate #precise #python #type system

Cost versus precision for approximate typing for Python (LF, JH), pp. 89–98.

PEPM-2017-KlinikHJP #higher-order #predict #workflow

Predicting resource consumption of higher-order workflows (MK, JH, JMJ, RP), pp. 99–110.

PEPM-2017-WolffH #typescript #using

Refining types using type guards in TypeScript (IGdW, JH), pp. 111–122.

PEPM-2017-KatsushimaK #query

Language-integrated query with ordering, grouping and outer joins (poster paper) (TK, OK), pp. 123–124.