Search results for "subclassing"

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