Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
100 | Jeff Furlong, Atanas Radenski |
Handling the subclassing anomaly with Object Teams. |
ACM SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
Java |
66 | Juan Chen |
Decidable subclassing-bounded quantification. |
TLDI |
2005 |
DBLP DOI BibTeX RDF |
bounded quantification, class and object encoding, decidability, typed intermediate language |
66 | Greg Luck |
Subclassing XP: Breaking Its Rules the Right WaySubclassing XP: Breaking Its Rules the Right Way. |
Agile Development Conference |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Clyde Ruby, Gary T. Leavens |
Safely creating correct subclasses without seeing superclass code. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
downcalls, method refinement, semantic fragile subclassing problem, specification inheritance, subclassing contract, Java, Java language, subclass, JML language |
52 | Peter A. Buhr, C. Robert Zarnke |
Nesting in an Object-Oriented Language is NOT for the Birds. |
ECOOP |
1988 |
DBLP DOI BibTeX RDF |
Object-Oriented, Nesting, Programming-in-the-Large, Block Structure |
43 | Jon Heggland |
Foreign Superkeys and Constant References. |
IDEAS |
2007 |
DBLP DOI BibTeX RDF |
Relational theory, entity subclassing, foreign keys, integrity constraints |
43 | Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman |
An inheritance-based technique for building simulation proofs incrementally. |
ACM Trans. Softw. Eng. Methodol. |
2002 |
DBLP DOI BibTeX RDF |
Inheritance by specialization and subclassing for extension, incremental proof techniques, proof reuse, simulation proofs, refinements |
34 | John Plaice, Yannis Haralambous, Paul Swoboda, Gábor Bella |
Moving Omega to an Object-Oriented Platform. |
TEX, XML, and Digital Typography |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu 0001, Yang Zhao |
Modeling of sensor nets in Ptolemy II. |
IPSN |
2004 |
DBLP DOI BibTeX RDF |
VisualSense, simulation, modeling, wireless networks, discrete-event models, Ptolemy II |
34 | Anna Mikhajlova, Emil Sekerinski |
Class Refinement and Interface Refinement in Object-Oriented Programs. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Jens Palsberg, Michael I. Schwartzbach |
What is Type-Safe Code Reuse? |
ECOOP |
1991 |
DBLP DOI BibTeX RDF |
|
31 | HyungTae Kim, HaeJeong Yang |
Software Architecture and Subclassing Technique for Semiconductor Manufacturing Machines. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
31 | Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki 0001, Andrzej Wasowski |
Partial Instances via Subclassing. |
SLE |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Marcel Bruch, Mira Mezini, Martin Monperrus |
Mining subclassing directives to improve framework reuse. |
MSR |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Atanas Radenski |
The Subclassing Anomaly in Evolving Cellular Application. |
Software Engineering Research and Practice |
2004 |
DBLP BibTeX RDF |
|
31 | Oleg Kiselyov |
Subclassing errors, OOP, and practically checkable rules to prevent them |
CoRR |
2003 |
DBLP BibTeX RDF |
|
31 | Stephen Teilhet |
Subclassing and hooking with Visual Basic - harnessing the full power of VB/VB.NET: covers VB.NET. |
|
2001 |
RDF |
|
31 | Michel Biezunski, Steven R. Newcomb |
Specializing Occurrences in Topic Maps by Association Template Subclassing. |
Extreme Markup Languages® |
2001 |
DBLP BibTeX RDF |
|
31 | Raymie Stata, John V. Guttag |
Modular Reasoning in the Presence of Subclassing. |
OOPSLA |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Aamod Sane, Roy H. Campbell |
Object-Oriented State Machines: Subclassing, Composition, Delegation and Genericity. |
OOPSLA |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Carlos Baquero, Rui Oliveira 0001, Francisco Moura |
Integration of Concurrency Control in a Language with Subtyping and Subclassing. |
COOTS |
1995 |
DBLP BibTeX RDF |
|
31 | Kevin Lano, Stephen J. Goldsack |
Refinement, Subtyping and Subclassing in VDM++. |
Theory and Formal Methods |
1994 |
DBLP BibTeX RDF |
|
31 | Luigi V. Mancini |
A Technique for Subclassing and its Implementation Exploiting Polymorphic Procedures. |
Softw. Pract. Exp. |
1988 |
DBLP DOI BibTeX RDF |
|
31 | David W. Sandberg |
An Alternative to Subclassing. |
OOPSLA |
1986 |
DBLP DOI BibTeX RDF |
|
31 | Gael A. Curry, Larry Baer, Daniel E. Lipkie, Bruce Lee |
Traits: An approach to multiple-inheritance subclassing. |
COCS |
1982 |
DBLP DOI BibTeX RDF |
|
26 | K. Rustan M. Leino, Angela Wallenburg |
Class-local object invariants. |
ISEC |
2008 |
DBLP DOI BibTeX RDF |
verification, object-oriented programming, specification, automation, tool support, subclassing |
26 | Anna Formica, Michele Missikoff |
Inheritance processing and conflicts in structural generalization hierarchies. |
ACM Comput. Surv. |
2004 |
DBLP DOI BibTeX RDF |
Generalization hierarchies, structural conceptual modeling, inheritance, subtyping, subsumption, subclassing |
26 | Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright |
Class Refinement as Semantics of Correct Object Substitutability. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Class refinement, Code inheritance, Behavioural compatibility, Object substitutability, Semantics of object-oriented constructs, Implicit and explicit invariants, New methods, Correctness, Subtyping, Subclassing |
26 | Gisela Menger, James Leslie Keedy, Mark Evered, Axel Schmolitzky |
Collection Types and Implementations in Object-Oriented Software Libraries. |
TOOLS (26) |
1998 |
DBLP DOI BibTeX RDF |
collection library, C++STL, Smalltalk, subtyping, Collection, container, Eiffel, subclassing |
17 | Edward A. Lee, Xiaojun Liu 0001, Stephen Neuendorffer |
Classes and inheritance in actor-oriented design. |
ACM Trans. Embed. Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
generalized ultrametric, overriding, components, interfaces, type systems, inheritance, Actors |
17 | Fang Liu 0028, Masha Sosonkina, Randall Bramley |
A HPC sparse solver interface for scalable multilevel methods. |
SpringSim |
2009 |
DBLP DOI BibTeX RDF |
component architecture and interfaces, sparse matrix computations |
17 | Abbas Heydarnoori, Krzysztof Czarnecki 0001, Thiago T. Bartolomei |
Supporting Framework Use via Automatically Extracted Concept-Implementation Templates. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson 0001 |
Equality and hashing for (almost) free: Generating implementations from abstraction functions. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Jaejin Lee, Junghyun Kim, Choonki Jang, Seungkyun Kim, Bernhard Egger 0002, Kwangsub Kim, Sangyong Han |
FaCSim: a fast and cycle-accurate architecture simulator for embedded systems. |
LCTES |
2008 |
DBLP DOI BibTeX RDF |
virtual prototyping, architecture simulator, full-system simulation, simulator parallelization, cycle-accurate simulation |
17 | Sophia Drossopoulou, Adrian Francalanza, Peter Müller 0001, Alexander J. Summers |
A Unified Framework for Verification Techniques for Object Invariants. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Wehr, Ralf Lämmel, Peter Thiemann 0001 |
JavaGI : Generalized Interfaces for Java. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Arnd Poetzsch-Heffter, Jan Schäfer 0002 |
A Representation-Independent Behavioral Semantics for Object-Oriented Components. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Joshua J. Bloch |
How to design a good API and why it matters. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Markus Lumpe |
Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Anindya Banerjee 0001, David A. Naumann |
Ownership confinement ensures representation independence for object-oriented programs. |
J. ACM |
2005 |
DBLP DOI BibTeX RDF |
Alias control, simulation, data refinement, confinement, relational parametricity |
17 | Andrew Kennedy, Claudio V. Russo |
Generalized algebraic data types and object-oriented programming. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
constraints, generics, generalized algebraic data types |
17 | Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz |
Classbox/J: controlling the scope of change in Java. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
class extension, open-classes, module, package |
17 | Juan Chen, David Tarditi |
A simple typed intermediate language for object-oriented languages. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
class and object encoding, typed intermediate language |
17 | Peter Baumgartner 0001, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann |
Optimizing the Evaluation of XPath Using Description Logics. |
INAP/WLP |
2004 |
DBLP DOI BibTeX RDF |
XML, Description Logics, XPath, automated reasoning, Schema, DTD |
17 | Robert DeLine, Manuel Fähndrich |
Typestates for Objects. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
17 | K. Rustan M. Leino, Peter Müller 0001 |
Object Invariants in Dynamic Contexts. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
17 | James Leslie Keedy, Christian Heinlein, Gisela Menger |
Reuse Variables: Reusing Code and State in Timor. |
ICSR |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Francesco Logozzo |
Automatic Inference of Class Invariants. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Richard Widhalm, Thomas A. Mück |
Merging Topics in Well-Formed XML Topic Maps. |
ISWC |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Jana Dospisil |
Code Complexity Metrics for Mobile Agents Implemented with Aspect/JTM. |
CEEMAS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Anindya Banerjee 0001, David A. Naumann |
Representation independence, confinement and access control [extended abstract]. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Stéphane Ducasse, Thomas Hofmann, Oscar Nierstrasz |
OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
White Box Reuse, Black Box Reuse, Frameworks, Dynamic Reconfiguration, Object-Oriented Languages |
17 | Linda M. Seiter, Mira Mezini, Karl J. Lieberherr |
Dynamic Component Gluing. |
GCSE |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Eddie Kohler, M. Frans Kaashoek, David R. Montgomery |
A Readable TCP in the Prolac Protocol Language. |
SIGCOMM |
1999 |
DBLP DOI BibTeX RDF |
|
17 | K. Rustan M. Leino |
Data Groups: Specifying the Modification of Extended State. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Young-Whun Lee, Suk I. Yoo |
Semantic Query Optimization for Object Queries. |
DOOD |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Young-Whun Lee, Suk I. Yoo |
Semantic Query Optimization in OODB Systems. |
DEXA |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Michel Léonard, Ian Prince |
NelleN: A Framework for Literate Data Modelling. |
CAiSE |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Craig L. Zarmer, Chee Chew |
Frameworks for Interactive, Extensible, Information-Intensive Applications. |
ACM Symposium on User Interface Software and Technology |
1992 |
DBLP DOI BibTeX RDF |
builders, end user programming, user interface management systems, application frameworks, user interface toolkits |