Proceedings of the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation
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

Kenichi Asai, Wei-Ngan Chin
Proceedings of the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation
ASIA-PEPM, 2002.

PLT
DBLP
Scholar
Full names Links ISxN
@proceedings{ASIA-PEPM-2002,
	acmid         = "568173",
	address       = "Aizu, Japan",
	editor        = "Kenichi Asai and Wei-Ngan Chin",
	isbn          = "1-58113-458-4",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation}",
	year          = 2002,
}

Contents (15 items)

ASIA-PEPM-2002-FutamuraKG #algorithm #automation #generative #performance #string
Automatic generation of efficient string matching algorithms by generalized partial computation (YF, ZK, RG), pp. 1–8.
ASIA-PEPM-2002-Gluck
Jones optimality, binding-time improvements, and the strength of program specializers (RG), pp. 9–19.
ASIA-PEPM-2002-SheardL #analysis #search-based #using
Search-based binding time analysis using type-directed pruning (TS, NL), pp. 20–31.
ASIA-PEPM-2002-AgerDR #on the #partial evaluation #string
On obtaining Knuth, Morris, and Pratt’s string matcher by partial evaluation (MSA, OD, HKR), pp. 32–46.
ASIA-PEPM-2002-Heintze #alias #analysis #c
Aliasing analysis for a million lines of C (NH), pp. 47–49.
ASIA-PEPM-2002-AffeldtMSY #bytecode #runtime
Supporting objects in run-time bytecode specialization (RA, HM, ES, AY), pp. 50–60.
ASIA-PEPM-2002-ParkP #data type #using
Using indexed data structures for program specialization (JGP, MSP), pp. 61–69.
ASIA-PEPM-2002-Amarasinghe #architecture #compilation
Defying the speed of light: : a spatially-aware compiler for wire-exposed architectures (SPA), p. 70.
ASIA-PEPM-2002-IwamaK #type system #virtual machine
A new type system for JVM lock primitives (FI, NK), pp. 71–82.
ASIA-PEPM-2002-XuK #compilation #functional #programming #realtime
Compiling real time functional reactive programming (DNX, SCK), pp. 83–93.
ASIA-PEPM-2002-LopezH
Principal type specialisation (PEML, JH), pp. 94–105.
ASIA-PEPM-2002-KhooS #constraints
Output-constraint specialization (SCK, KS), pp. 106–116.
ASIA-PEPM-2002-Xi #functional #object-oriented #programming
Unifying object-oriented programming with typed functional programming (HX), pp. 117–125.
ASIA-PEPM-2002-Voigtlander #parametricity #source code #using
Using circular programs to deforest in accumulating parameters (JV), pp. 126–137.
ASIA-PEPM-2002-Nemytykh #recursion
A note on elimination of simplest recursions (APN), pp. 138–146.

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.