Search results for "ASIA-PEPM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Tim Sheard, Nathan Linger	Search-based binding time analysis using type-directed pruning.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	type-directed search, staging, binding time analysis
1	Kenichi Asai, Wei-Ngan Chin (eds.)	Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002	ASIA-PEPM	2002	DBLP BibTeX RDF
1	Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde	On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	Knuth-Morris-Pratt string matching, data specialization, program specialization, trace semantics
1	Futoshi Iwama, Naoki Kobayashi 0001	A new type system for JVM lock primitives.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	bytecode verifier, Java, type system, lock
1	Dana N. Xu, Siau-Cheng Khoo	Compiling real time functional reactive programming.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	partial evaluation, reactive system, tupling
1	Andrei P. Nemytykh	A note on elimination of simplest recursions.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	refal, functional programming languages, automatic program transformation
1	Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa	Supporting objects in run-time bytecode specialization.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	program transformation, partial evaluation, specialization, object-oriented paradigm
1	Janis Voigtländer	Using circular programs to deforest in accumulating parameters.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	accumulating parameters, intermediate data structures, lazy composition, multiple traversals, program transformation, lazy evaluation, tupling, deforestation, circular programs
1	Yoshihiko Futamura, Zenjiro Konishi, Robert Glück	Automatic generation of efficient string matching algorithms by generalized partial computation.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	Boyer-Moore pattern matcher, Knuth-Morris-Pratt pattern matcher, naive pattern matcher, automatic program generation
1	Saman P. Amarasinghe	Defying the speed of light: : a spatially-aware compiler for wire-exposed architectures.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF
1	Siau-Cheng Khoo, Kun Shi	Output-constraint specialization.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	weakest pre-condition, partial evaluation, specialization
1	Robert Glück	Jones optimality, binding-time improvements, and the strength of program specializers.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	Futamura projections, Jones optimality, binding-time improvements, interpretive approach, self-interpreters, specializer projections, metacomputation
1	Jung Gyu Park, Myong-Soon Park	Using indexed data structures for program specialization.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	staged computation optimization, partial evaluation, program specialization, automated software engineering
1	Pablo E. Martínez López, John Hughes	Principal type specialisation.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	program specialisation, type based transformation, type specialisation, qualified types
1	Hongwei Xi	Unifying object-oriented programming with typed functional programming.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	DML, object-oriented, dependent types
1	Nevin Heintze	Aliasing analysis for a million lines of C.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	aliasing analysis, narrowing conversion errors, scalable program analysis, C, dependence analysis, points-to analysis

Publications at "ASIA-PEPM"( http://dblp.L3S.de/Venues/ASIA-PEPM )