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

@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)

3 ×#using
2 ×#analysis
2 ×#compilation
2 ×#functional
2 ×#programming
2 ×#string

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.