Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
100 | Jeff Furlong, Atanas Radenski |
Handling the subclassing anomaly with Object Teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 40(8), pp. 12-18, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Java |
66 | Juan Chen |
Decidable subclassing-bounded quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005, pp. 37-46, 2005, ACM, 1-58113-999-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agile Development Conference ![In: 2004 Agile Development Conference (ADC 2004), 22-26 June 2004, Salt Lake City, UT, USA, pp. 114-119, 2004, IEEE Computer Society, 0-7695-2248-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Clyde Ruby, Gary T. Leavens |
Safely creating correct subclasses without seeing superclass code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 2000, Minneapolis, Minnesota, USA, October 15-19, 2000., pp. 208-228, 2000, ACM, 1-58113-200-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'88 European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, Proceedings, pp. 128-145, 1988, Springer, 3-540-50053-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Object-Oriented, Nesting, Programming-in-the-Large, Block Structure |
43 | Jon Heggland |
Foreign Superkeys and Constant References. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: Eleventh International Database Engineering and Applications Symposium (IDEAS 2007), September 6-8, 2007, Banff, Alberta, Canada, pp. 149-153, 2007, IEEE Computer Society, 0-7695-2947-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 11(1), pp. 63-91, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEX, XML, and Digital Typography ![In: TeX, XML, and Digital Typography, International Conference on TeX, XML, and Digital Typography, Held Jointly with the 25th Annual Meeting of the TeX Users Group, TUG 2004, Xanthi, Greece, August 30 - September 3, 2004, Proceedings, pp. 17-26, 2004, Springer, 3-540-22801-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the Third International Symposium on Information Processing in Sensor Networks, IPSN 2004, Berkeley, California, USA, April 26-27, 2004, pp. 359-368, 2004, ACM, 1-58113-846-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings, pp. 82-101, 1997, Springer, 3-540-63533-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Jens Palsberg, Michael I. Schwartzbach |
What is Type-Safe Code Reuse? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings, pp. 325-341, 1991, Springer, 3-540-54262-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
31 | HyungTae Kim, HaeJeong Yang |
Software Architecture and Subclassing Technique for Semiconductor Manufacturing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.6125, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
31 | Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki 0001, Andrzej Wasowski |
Partial Instances via Subclassing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings, pp. 344-364, 2013, Springer, 978-3-319-02653-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Marcel Bruch, Mira Mezini, Martin Monperrus |
Mining subclassing directives to improve framework reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: Proceedings of the 7th International Working Conference on Mining Software Repositories, MSR 2010 (Co-located with ICSE), Cape Town, South Africa, May 2-3, 2010, Proceedings, pp. 141-150, 2010, IEEE Computer Society, 978-1-4244-6803-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Atanas Radenski |
The Subclassing Anomaly in Evolving Cellular Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the International Conference on Software Engineering Research and Practice, SERP '04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 2, pp. 776-781, 2004, CSREA Press, 1-932415-29-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
31 | Oleg Kiselyov |
Subclassing errors, OOP, and practically checkable rules to prevent them ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.PL/0301032, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
31 | Stephen Teilhet |
Subclassing and hooking with Visual Basic - harnessing the full power of VB/VB.NET: covers VB.NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
31 | Michel Biezunski, Steven R. Newcomb |
Specializing Occurrences in Topic Maps by Association Template Subclassing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Extreme Markup Languages® ![In: Proceedings of the Extreme Markup Languages® 2001 Conference, 12-17 August 2001, Montréal, Quebec, Canada, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
31 | Raymie Stata, John V. Guttag |
Modular Reasoning in the Presence of Subclassing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1995, Austin, Texas, USA, October 15-19, 1995., pp. 200-214, 1995, ACM, 0-89791-703-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Aamod Sane, Roy H. Campbell |
Object-Oriented State Machines: Subclassing, Composition, Delegation and Genericity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1995, Austin, Texas, USA, October 15-19, 1995., pp. 17-32, 1995, ACM, 0-89791-703-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Carlos Baquero, Rui Oliveira 0001, Francisco Moura |
Integration of Concurrency Control in a Language with Subtyping and Subclassing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COOTS ![In: Proceedings of the USENIX Conference on Object-Oriented Technologies, COOTS'95, Monterey, California, USA, June 26-29, 1995, 1995, USENIX. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
31 | Kevin Lano, Stephen J. Goldsack |
Refinement, Subtyping and Subclassing in VDM++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Formal Methods ![In: Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, UK, 11-14 September 1994, pp. 341-363, 1994, Imperial College Press, 1-86094-003-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
31 | Luigi V. Mancini |
A Technique for Subclassing and its Implementation Exploiting Polymorphic Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 18(4), pp. 287-300, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
31 | David W. Sandberg |
An Alternative to Subclassing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1986, Portland, Oregon, USA, Proceedings., pp. 424-428, 1986, ACM, 0-89791-204-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
31 | Gael A. Curry, Larry Baer, Daniel E. Lipkie, Bruce Lee |
Traits: An approach to multiple-inheritance subclassing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCS ![In: Proceedings of the SIGOA Conference on Office Information Systems, COCS 1982, Philadelphia, Pennsylvannia, USA, June 21-23, 1982, pp. 1-9, 1982, ACM, 978-0-89791-075-0. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
26 | K. Rustan M. Leino, Angela Wallenburg |
Class-local object invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: Proceeding of the 1st Annual India Software Engineering Conference, ISEC 2008, Hyderabad, India, February 19-22, 2008, pp. 57-66, 2008, ACM, 978-1-59593-917-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 36(3), pp. 263-290, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 12(1), pp. 18-40, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (26) ![In: TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, USA, pp. 97-, 1998, IEEE Computer Society, 0-8186-8482-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 8(4), pp. 29:1-29:26, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings, pp. 344-368, 2009, Springer, 978-3-642-03012-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, pp. 342-352, 2009, IEEE, 978-1-4244-3452-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ, USA, June 12-13, 2008, pp. 89-100, 2008, ACM, 978-1-60558-104-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings, pp. 412-437, 2008, Springer, 978-3-540-70591-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Wehr, Ralf Lämmel, Peter Thiemann 0001 |
JavaGI : Generalized Interfaces for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings, pp. 347-372, 2007, Springer, 978-3-540-73588-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Arnd Poetzsch-Heffter, Jan Schäfer 0002 |
A Representation-Independent Behavioral Semantics for Object-Oriented Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, pp. 157-173, 2007, Springer, 978-3-540-72919-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Joshua J. Bloch |
How to design a good API and why it matters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 506-507, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Markus Lumpe |
Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, pp. 290-306, 2006, Springer, 3-540-48937-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Anindya Banerjee 0001, David A. Naumann |
Ownership confinement ensures representation independence for object-oriented programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 52(6), pp. 894-960, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 21-40, 2005, ACM, 1-59593-031-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 177-189, 2005, ACM, 1-59593-031-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 38-49, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 1-15, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
XML, Description Logics, XPath, automated reasoning, Schema, DTD |
17 | Robert DeLine, Manuel Fähndrich |
Typestates for Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings, pp. 465-490, 2004, Springer, 3-540-22159-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | K. Rustan M. Leino, Peter Müller 0001 |
Object Invariants in Dynamic Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings, pp. 491-516, 2004, Springer, 3-540-22159-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | James Leslie Keedy, Christian Heinlein, Gisela Menger |
Reuse Variables: Reusing Code and State in Timor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Software Reuse: Methods, Techniques and Tools: 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2009. Proceedings, pp. 205-214, 2004, Springer, 3-540-22335-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Francesco Logozzo |
Automatic Inference of Class Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings, pp. 211-222, 2004, Springer, 3-540-20803-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Richard Widhalm, Thomas A. Mück |
Merging Topics in Well-Formed XML Topic Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings, pp. 64-79, 2003, Springer, 3-540-20362-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Jana Dospisil |
Code Complexity Metrics for Mobile Agents Implemented with Aspect/JTM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEMAS ![In: Multi-Agent Systems and Applications III, 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 16-18, 2003, Proceedings, pp. 647-657, 2003, Springer, 3-540-40450-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Anindya Banerjee 0001, David A. Naumann |
Representation independence, confinement and access control [extended abstract]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002, pp. 166-177, 2002, ACM, 1-58113-450-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Stéphane Ducasse, Thomas Hofmann, Oscar Nierstrasz |
OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings, pp. 1-18, 2000, Springer, 3-540-41020-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCSE ![In: Generative and Component-Based Software Engineering, First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999, Revised Papers, pp. 134-164, 1999, Springer, 3-540-41172-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Eddie Kohler, M. Frans Kaashoek, David R. Montgomery |
A Readable TCP in the Prolac Protocol Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 1999 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30 - September 3, 1999, Cambridge, Massachusetts, USA, pp. 3-13, 1999, ACM, 1-58113-135-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | K. Rustan M. Leino |
Data Groups: Specifying the Modification of Extended State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1998, Vancouver, British Columbia, Canada, October 18-22, 1998., pp. 144-153, 1998, ACM, 1-58113-005-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Young-Whun Lee, Suk I. Yoo |
Semantic Query Optimization for Object Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Fourth International Conference, DOOD'95, Singapore, December 4-7, 1995, Proceedings, pp. 467-484, 1995, Springer, 3-540-60608-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Young-Whun Lee, Suk I. Yoo |
Semantic Query Optimization in OODB Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 5th International Conference, DEXA '94, Athens, Greece, September 7 - 9, 1994, Proceedings, pp. 651-660, 1994, Springer, 3-540-58435-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Michel Léonard, Ian Prince |
NelleN: A Framework for Literate Data Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, CAiSE'92, Manchester, UK, May 12-15, 1992, Proceedings, pp. 239-256, 1992, Springer, 3-540-55481-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Craig L. Zarmer, Chee Chew |
Frameworks for Interactive, Extensible, Information-Intensive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on User Interface Software and Technology ![In: Proceedings of the Fifth ACM Symposium on User Interface Software and Technology, UIST 1992, Monteray, CA, USA, November 15-18, 1992, pp. 33-41, 1992, ACM, 0-89791-549-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
builders, end user programming, user interface management systems, application frameworks, user interface toolkits |