Elvira Albert, Shin-Cheng Mu
Selected and extended papers from Partial Evaluation and Program Manipulation 2013
PEPM-J-2013, 2014.

@proceedings{PEPM-J-2013,
	editor        = "Elvira Albert and Shin-Cheng Mu",
	journal       = "{Science of Computer Programming}",
	title         = "{Selected and extended papers from Partial Evaluation and Program Manipulation 2013}",
	volume        = 95,
	year          = 2014,
}

Contents (5 items)

PEPM-J-2013-AngelisFPP14 #verification

Program verification via iterated specialization (EDA, FF, AP, MP), pp. 149–175.

PEPM-J-2013-Garcia-PerezN14 #automaton #functional #hybrid #on the

On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines (ÁGP, PN), pp. 176–199.

PEPM-J-2013-WeijersHH14 #fault #higher-order #polymorphism #security

Security type error diagnosis for higher-order, polymorphic languages (JW, JH, SH), pp. 200–218.

PEPM-J-2013-ServettoZ14 #library

A meta-circular language for active libraries (MS, EZ), pp. 219–253.

PEPM-J-2013-Simon14 #type inference #using

Deriving a complete type inference for Hindley-Milner and vector sizes using expansion (AS), pp. 254–271.