Towards Unifying Inheritance and Automatic Program Specialization (original) (raw)
Related papers
Declarative specialization for object-oriented-program specialization
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '04, 2004
Selective Specialization for Object-Oriented Languages
Sigplan Notices, 1995
Automatic program specialization for Java
ACM Transactions on Programming Languages and Systems, 2003
Towards automatic specialization of Java programs
RAPPORT DE RECHERCHE-INSTITUT NATIONAL DE RECHERCHE EN …
Refining Classes in Statically Typed Object-Oriented Languages
2004
A Lightweight Approach to Program Specialization
2000
Objects and polymorphism in system programming languages: a new approach
Periodica Polytechnica Electrical Engineering, 2007
Object-oriented Programming with Gradual Abstraction
2013
Modules and Class Refinement—A Metamodeling Approach to Object-Oriented Languages
2007
Reverse inheritance in statically typed object-oriented programming languages
Ciprian-Bogdan Chirila, Markku Sakkinen
2010
Modules and Class Refinement: A Meta-modeling Approach to Object-Oriented Programming
2007
Inheritance Relationships for Disciplined Software Construction
2002
Towards reengineering: An approach based on reverse inheritance. Application to Java
2003
Task-Driven Specialization Support for Object-Oriented Frameworks
2001
New Perspective To Improve Reusability in Object-Oriented Languages
The Journal of Object Technology, 2006
A Type-Theoretic Basis for an Object-Oriented Refinement Calculus
1996
A general framework for inheritance management and method dispatch in object-oriented languages
Lecture Notes in Computer Science, 1997
Class Refinement and Interface Refinement in Object-Oriented Programs
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997
Concepts for Slicing Object-Oriented Programs
Malaysian Journal of …, 2001
Foundations of object-oriented languages
1995
Dynamic overloading with copy semantics in object-oriented languages: a formal account
Theoretical Informatics and Applications, 2009
Type Systems For Object-Oriented Programming Languages
1996
A Survey of Object-Oriented Programming Languages
International Journal of Scientific Research in Computer Science, Engineering and Information Technology, 2019
Managing Object-Oriented Frameworks with Specialization Templates
Proceedings of the Workshop on Object Oriented Technology, 1999
BeCecil, A core object-oriented language with block structure and multimethods: Semantics and typing
1997
Inheritance: from code reuse to reasoning reuse
Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203)
A paradigmatic object-oriented programming language: Design, static typing and semantics
Journal of Functional Programming, 1994
A lambda calculus of objects and method specialization
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, 1993
Reusability through fine-grain inheritance
Software: Practice and Experience, 1992
Class Refinement as Semantics of Correct Object Substitutability
Formal Aspects of Computing, 2000