Selected and extended papers from Partial Evaluation and Program Manipulation 2013
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
no DBLP info
Scholar
Full names Links ISxN
@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.

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.