Search results for "specializer"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	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
53	Mikhail A. Bulyonkov	Extracting Polyvariant Binding Time Analysis from Polyvariant Specializer.	PEPM	1993	DBLP DOI BibTeX RDF
53	Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith 0001	Runtime specialization with optimistic heap analysis.	OOPSLA	2005	DBLP DOI BibTeX RDF	program analysis, partial evaluation, dynamic optimization, specialization
53	Anders Bondorf	Improving Binding Times Without Explicit CPS-Conversion.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	SCHEME
50	Sergei A. Romanenko	Arity Raiser and its Use in Program Specialization.	ESOP	1990	DBLP DOI BibTeX RDF	arity raiser, retyping, variable splitting, partial evaluation, specializer, compiler generator
36	Manal Laghmouch, Benoît Depaire, Nicola Gigante, Mieke Jans, Marco Montali	Declare MoGeS: Model Generator and Specializer.	ICPM Doctoral Consortium / Demo	2023	DBLP BibTeX RDF
36	Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin	A practical and precise inference and specializer for array bound checks elimination.	PEPM	2008	DBLP DOI BibTeX RDF	size properties, dependent types, safety verification
36	Mihai Burcea, Michael Voss	Managing Compilation Overheads in a Runtime Specializer for OpenMP.	IASTED PDCS	2005	DBLP BibTeX RDF
36	Charles Consel, Julia L. Lawall, Anne-Françoise Le Meur	A tour of Tempo: a program specializer for the C language.	Sci. Comput. Program.	2004	DBLP DOI BibTeX RDF
36	Ron Cytron, Renaud Marlet	Tempo, a program specializer for C (Panel Session).	Dynamo	2000	DBLP DOI BibTeX RDF
36	Sandrine Blazy, Philippe Facon	Formal Specification and Prototyping of a Program Specializer.	TAPSOFT	1995	DBLP DOI BibTeX RDF	software maintenance, rule induction, VDM, program specialization, structured operational semantics, proof of correctness, Centaur
36	Johan Gade, Robert Glück	On Jones-Optimal Specializers: A Case Study Using Unmix.	APLAS	2006	DBLP DOI BibTeX RDF
36	Simon Helsen, Peter Thiemann 0001	Polymorphic specialization for ML.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	regions, program specialization, Binding-time analysis
36	Kenichi Asai	Offline partial evaluation for shift and reset.	PEPM	2004	DBLP DOI BibTeX RDF	CPS transformation, binding-time analysis (BTA), offline partial evaluation, continuation-passing style (CPS), logical relations, delimited continuations
36	Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, Sergei Yu. Skorobogatov	Partial Evaluation for Common Intermediate Language.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	polyvariant Binding-Time Analysis, mutable objects, Common Intermediate Language, Program transformation, Partial Evaluation, object-oriented languages
36	Robert Glück	The Translation Power of the Futamura Projections.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
36	Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller	Towards Automatic Specialization of Java Programs.	ECOOP	1999	DBLP DOI BibTeX RDF
36	Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers	Annotation-Directed Run-Time Specialization in C.	PEPM	1997	DBLP DOI BibTeX RDF	C
36	Charles Consel, Olivier Danvy	From Interpreting to Compiling Binding Times.	ESOP	1990	DBLP DOI BibTeX RDF	partial evaluation, actions, combinators, self-application
18	Leon Evers, Jan Kuper	Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks.	PEPM	2009	DBLP DOI BibTeX RDF	wireless sensor networks, partial evaluation
18	Boris Feigin, Alan Mycroft	Jones optimality and hardware virtualization: a report on work in progress.	PEPM	2008	DBLP DOI BibTeX RDF	Jones optimality, virtual machines, virtualization, full abstraction
18	Andrei V. Klimov	Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	specification, correctness, partial evaluation, specialization, driving, natural semantics, supercompilation, program equivalence
18	Yasushi Shinjo, Calton Pu	Achieving Efficiency and Portability in Systems Software: A Case Study on POSIX-Compliant Multithreaded Programs.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	runtime specialization, thread-specific data, Performance, concurrent programming, threads, portability, software libraries
18	Siau-Cheng Khoo, Kun Shi	Program Adaptation via Output-Constraint Specialization.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	weakest pre-condition, partial evaluation, specialization
18	Ulrik Pagh Schultz	A Unification of Inheritance and Automatic Program Specialization.	GPCE	2004	DBLP DOI BibTeX RDF
18	Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel	Automatic program specialization for Java.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Automatic program specialization, Java, optimization, partial evaluation, object-oriented languages
18	Karina Olmos, Eelco Visser	Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave.	SCAM	2003	DBLP DOI BibTeX RDF
18	Siau-Cheng Khoo, Kun Shi	Output-constraint specialization.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	weakest pre-condition, partial evaluation, specialization
18	Germán Vidal	Cost-augmented narrowing-driven specialization.	PEPM	2002	DBLP DOI BibTeX RDF
18	Chin Soon Lee	Finiteness Analysis in Polynomial Time.	SAS	2002	DBLP DOI BibTeX RDF
18	Julia L. Lawall	Implementing Circularity Using Partial Evaluation.	PADO	2001	DBLP DOI BibTeX RDF
18	Hidehiko Masuhara, Akinori Yonezawa	Run-Time Bytecode Specialization.	PADO	2001	DBLP DOI BibTeX RDF
18	Henning Makholm	On Jones-Optimal Specialization for Strongly Typed Languages.	SAIG	2000	DBLP DOI BibTeX RDF
18	Renaud Marlet, Charles Consel, Philippe Boinot	Efficient Incremental Run-Time Specialization for Free.	PLDI	1999	DBLP DOI BibTeX RDF
18	Kenichi Asai	Binding-Time Analysis for Both Static and Dynamic Expressions.	SAS	1999	DBLP DOI BibTeX RDF
18	Robert Glück, John Hatcliff, Jesper Jørgensen	Generalization in Hierarchies of Online Program Specialization Systems.	LOPSTR	1998	DBLP DOI BibTeX RDF
18	Peter Thiemann 0001, Michael Sperber	Polyvariant Expansion and Compiler Generators.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, partial evaluation, automatic program transformation
18	Peter Thiemann 0001	Implementing Memoization for Partial Evaluation.	PLILP	1996	DBLP DOI BibTeX RDF	incremental specialization, termination of partial evaluation, reflection, partial evaluation, automatic program transformation
18	John Hatcliff	Mechanically Verifying the Correctness of an Offline Partial Evaluator	PLILP	1995	DBLP DOI BibTeX RDF
18	John K. Dixon	Z-Resolution: Theorem-Proving with Compiled Axioms.	J. ACM	1973	DBLP DOI BibTeX RDF