Proceedings of the 22nd Workshop on Partial Evaluation and Program Manipulation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

Full names Links ISxN
	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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.