Declarative specialization of object-oriented programs

Authors:
Eugen N. Volanschi;Charles Consel;Gilles Muller;Crispin Cowan
Affiliations:
IRISA/INRIA University of Rennes, Campus Beaulieu, F-35042 Rennes Cedex, France;IRISA/INRIA University of Rennes, Campus Beaulieu, F-35042 Rennes Cedex, France;IRISA/INRIA University of Rennes, Campus Beaulieu, F-35042 Rennes Cedex, France;Department of Computer Science and Engineering, Oregon Graduate Institute of Science and Technology
Venue:
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Year:
1997

Citing 24
Cited 32

Lightweight remote procedure call

ACM Transactions on Computer Systems (TOCS)
Partial evaluation applied to numerical computation

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Incremental partial evaluation: the key to high performance, modularity and portability in operating systems

PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Polyvariant binding-time analysis for applicative languages

PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Designing and implementing Choices: an object-oriented system in C++

Communications of the ACM
Selective specialization for object-oriented languages

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Specializing shaders

SIGGRAPH '95 Proceedings of the 22nd annual conference on Computer graphics and interactive techniques
Exploring issues of operating systems structuring: from microkernel to extensible systems

ACM SIGOPS Operating Systems Review
Optimistic incremental specialization: streamlining a commercial operating system

SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Optimizing ML with run-time code generation

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Fast, effective dynamic compilation

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
C: a language for high-level, efficient, and machine-independent dynamic code generation

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A general approach for run-time specialization and its application to C

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
DPF: fast, flexible message demultiplexing using dynamic code generation

Conference proceedings on Applications, technologies, architectures, and protocols for computer communications
Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity

PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Scaling up partial evaluation for optimizing the Sun commercial RPC protocol

PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Annotation-directed run-time specialization in C

PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Predicate Classes

ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Chorus

Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures
A Uniform Approach for Compile-Time and Run-Time Specialization

Selected Papers from the Internaltional Seminar on Partial Evaluation
Fast concurrent dynamic linking for an adaptive operating system

ICCDS '96 Proceedings of the 3rd International Conference on Configurable Distributed Systems
Specialization classes: an object framework for specialization

IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
Evolution of the CHORUS Open Microkernel Architecture: The STREAM Project

FTDCS '95 Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems
The Spring Nucleus: A Microkernel for Objects

The Spring Nucleus: A Microkernel for Objects

Tempo: specializing systems applications and beyond

ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Partial evaluation for software engineering

ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
An annotation language for optimizing software libraries

Proceedings of the 2nd conference on Domain-specific languages
Towards bridging the gap between programming languages and partial evaluation

PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Supporting objects in run-time bytecode specialization

ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation
A portable-approach to dynamic optimization in run-time specialization

New Generation Computing - Partial evaluation and program transformation
Efficient Implementations of Software Architectures via Partial Evaluation

Automated Software Engineering
Harissa: A Hybrid Approach to Java Execution

IEEE Software
Continual Queries for Internet Scale Event-Driven Information Delivery

IEEE Transactions on Knowledge and Data Engineering
Run-Time Bytecode Specialization

PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
Partial Evaluation for Class-Based Object-Oriented Languages

PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
Dynamic Partial Evaluation

PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
Towards Automatic Specialization of Java Programs

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
OpenJIT: An Open-Ended, Reflective JIT Compiler Framework for Java

ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
A New Stack Buffer Overflow Hacking Defense Technique with Memory Address Confirmation

ICISC '01 Proceedings of the 4th International Conference Seoul on Information Security and Cryptology
Generative Programming

ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
OpenJIT Frontend System: An Implementation of the Reflective JIT Compiler Frontend

Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
Linux Security Modules: General Security Support for the Linux Kernel

Proceedings of the 11th USENIX Security Symposium
Automatic program specialization for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
Automating Delegation in Class-Based Languages

TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization

Higher-Order and Symbolic Computation
Declarative specialization for object-oriented-program specialization

Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Component specialization

Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Invited application paper: a proposal for the specialization of HA/DRE systems

Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Dynamic Class Hierarchy Mutation

Proceedings of the International Symposium on Code Generation and Optimization
Towards constructing reusable specialization components

Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
StackGuard: automatic adaptive detection and prevention of buffer-overflow attacks

SSYM'98 Proceedings of the 7th conference on USENIX Security Symposium - Volume 7
An annotation language for optimizing software libraries

DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Specialization for applications using shared libraries

PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Integrating partial evaluators into interpreters

SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
A programming model for adaptable Java applications

Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
A hybrid approach for resource-based comparison of adaptable Java applications

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Designing and implementing generic software components is encouraged by languages such as object-oriented ones and commonly advocated in most application areas. Generic software components have many advantages among which the most important is reusability. However, it comes at a price: genericity often incurs a loss of efficiency.This paper presents an approach aimed at reconciling genericity and efficiency. To do so, we introduce declarations to the Java language to enable a programmer to specify how generic programs should be specialized for a particular usage pattern. Our approach has been implemented as a compiler from our extended language into standard Java.