Fritz Henglein, Hsiang-Shang Ko
Proceedings of the 23rd Workshop on Partial Evaluation and Program Manipulation
PEPM, 2018.

@proceedings{PEPM-2018,
	doi           = "10.1145/3175493",
	editor        = "Fritz Henglein and Hsiang-Shang Ko",
	isbn          = "978-1-4503-5587-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 23rd Workshop on Partial Evaluation and Program Manipulation}",
	year          = 2018,
}

Contents (8 items)

PEPM-2018-Midtgaard #testing

Developments in property-based testing (invited talk) (JM), p. 1.

PEPM-2018-ImanishiSI #approach #verification

A guess-and-assume approach to loop fusion for program verification (AI, KS, AI), pp. 2–14.

PEPM-2018-BromanS

Gradually typed symbolic expressions (DB, JGS), pp. 15–29.

PEPM-2018-GreenmanM #cost analysis #on the

On the cost of type-tag soundness (BG, ZM), pp. 30–39.

PEPM-2018-AsaiU #continuation

Selective CPS transformation for shift and reset (KA, CU), pp. 40–52.

PEPM-2018-MitchellBLK #api #composition #encryption

Checking cryptographic API usage with composable annotations (short paper) (DM, LTvB, BL, JK), pp. 53–59.

PEPM-2018-WatanabeK #generative #ml

Program generation for ML modules (short paper) (TW, YK), pp. 60–66.

PEPM-2018-Jay #normalisation #recursion #source code

Recursive programs in normal form (short paper) (BJ), pp. 67–73.