The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Subclassing with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1982-1998 (16) 1999-2004 (22) 2005-2009 (18) 2010-2014 (3)
Publication types (Num. hits)
article(9) book(1) inproceedings(49)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 71 occurrences of 61 keywords

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