Search results for "Eiffel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Gary T. Leavens	Invited Talk: JML framed!	PASTE	2004	DBLP DOI BibTeX RDF
14	István Zólyomi, Zoltán Porkoláb	Towards a General Template Introspection Library.	GPCE	2004	DBLP DOI BibTeX RDF
14	Daniel Lohmann, Georg Blaschke, Olaf Spinczyk	Generic Advice: On the Combination of AOP with Generative Programming in AspectC++.	GPCE	2004	DBLP DOI BibTeX RDF
14	E. V. Krishnamurthy, Venu K. Murthy	Contextual-Knowledge Management in Peer to Peer Computing.	KES	2004	DBLP DOI BibTeX RDF
14	Florence Maraninchi, Lionel Morel	Logical-Time Contracts for Reactive Embedded Components.	EUROMICRO	2004	DBLP DOI BibTeX RDF
14	Karine Arnout, Bertrand Meyer 0001	Uncovering Hidden Contracts: The .NET Example.	Computer	2003	DBLP DOI BibTeX RDF
14	Khanh Vu, Kien A. Hua, Wallapak Tavanapong	Image Retrieval Based on Regions of Interest.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	arbitrary-shaped queries, Image processing, regions of interest, image indexing and retrieval
14	Bertrand Meyer 0001	The Outside-In Method of Teaching Introductory Programming.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
14	Eric E. Allen, Jonathan Bannet, Robert Cartwright	A first-class approach to genericity.	OOPSLA	2003	DBLP DOI BibTeX RDF
14	Patrice Chalin	Improving JML: For a Safer and More Effective Language.	FME	2003	DBLP DOI BibTeX RDF	behavioral interface specification languages, specification language design and semantics, arbitrary precision numeric types, assertion-based languages, formal methods, JML, Java Modeling Language
14	Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek	A Pattern Matching Compiler for Multiple Target Languages.	CC	2003	DBLP DOI BibTeX RDF
14	Volkan Arslan, Piotr Nienaltowski, Karine Arnout	Event Library: An Object-Oriented Library for Event-Driven Design.	JMLC	2003	DBLP DOI BibTeX RDF
14	Bertrand Meyer 0001	A Framework for Proving Contract-Equipped Classes.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
14	Martin Hirzel, Amer Diwan, Johannes Henkel	On the usefulness of type and liveness accuracy for garbage collection and leak detection.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	liveness accuracy, type accuracy, program analysis, leak detection, Conservative garbage collection
14	Jerome Miecznikowski, Laurie J. Hendren	Decompiling Java Bytecode: Problems, Traps and Pitfalls.	CC	2002	DBLP DOI BibTeX RDF
14	Robert Bruce Findler, Matthias Felleisen	Contracts for higher-order functions.	ICFP	2002	DBLP DOI BibTeX RDF	predicate typing, solfware reliability, contracts, behavioral specifications, higher-order functions
14	Pedro Guerreiro	Simple Support for Design by Contract in C++.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
14	Peter Grogono, Markku Sakkinen	Copying and Comparing: Problems and Solutions.	ECOOP	2000	DBLP DOI BibTeX RDF	complex object structures, cloning, equality, Copying
14	Richard Rasala	Toolkits in first year computer science: a pedagogical imperative.	SIGCSE	2000	DBLP DOI BibTeX RDF
14	Peter Forbrig, Ralf Lämmel	Programming with Patterns.	TOOLS (34)	2000	DBLP DOI BibTeX RDF
14	Pedro Guerreiro	Another Mediocre Assertion Mechanism for C++.	TOOLS (33)	2000	DBLP DOI BibTeX RDF
14	Roger Smith, Bertrand Meyer 0001, Clemens A. Szyperski, Gilda Pour	Component-Based Development? Refining the Blueprint.	TOOLS (34)	2000	DBLP DOI BibTeX RDF
14	Charles Lakos, Glenn Lewis	Behavior Inheritance for Object Lifecycles.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	Object lifecycles, Behavioral Compatibility, Shlaer-Mellor, UML, Petri Nets, Inheritance
14	Sophia Drossopoulou, Susan Eisenbach	Describing the Semantics of Java and Proving Type Soundness.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
14	Thomas Kühne 0001	Internal Iteration Externalized.	ECOOP	1999	DBLP DOI BibTeX RDF
14	Patrick Dunne, W. A. Gray	The Impact of Using Class Inheritance in a Distributed Information System.	ADBIS	1999	DBLP DOI BibTeX RDF
14	S. Tucker Taft	Programming Language Design and Software Quality.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
14	Benjamin M. Brosgol	Ada and the Objects.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
14	James C. McKim	Advanced Programming by Contract.	TOOLS (29)	1999	DBLP DOI BibTeX RDF
14	Rex Fowler	Direct Mapping and User Interface.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	User Interface, Object-Oriented, Business objects, Direct Mapping
14	Richard Bielak, Jean-Pierre Sarkis	Implementing a Distributed Garbage Collector for OO Databases.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	distribution, object oriented database, parallel garbage collection
14	Richard Riehle	The Great Language Debate.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
14	Gary T. Leavens, Todd D. Millstein	Multiple Dispatch as Dispatch on Tuples.	OOPSLA	1998	DBLP DOI BibTeX RDF	single dispatch, semantics, typing, language design, generic functions, tuple, multimethods, multiple dispatch, binary methods
14	Ferenc Vajda	The Pros and Cons of Web Programming.	EUROMICRO	1998	DBLP DOI BibTeX RDF
14	Jos van Hillegersberg, Kuldeep Kumar, Richard J. Welke	Using Metamodeling to Analyze the Fit of Object-Oriented Methods to Languages.	HICSS (5)	1998	DBLP DOI BibTeX RDF
14	R. Kramer	iContract - The Java(tm) Design by Contract(tm) Tool.	TOOLS (26)	1998	DBLP DOI BibTeX RDF
14	Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper	Extending Test Templates with Inheritance.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF	test templates, reuse, inheritance, specification-based testing, object-oriented testing
14	Reinhold Plösch	Design by Contract for Python.	APSEC	1997	DBLP DOI BibTeX RDF
14	Véronique Benzaken, Xavier Schaefer	Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers.	ECOOP	1997	DBLP DOI BibTeX RDF
14	Andreas Krall, Jan Vitek, R. Nigel Horspool	Near Optimal Hierarchical Encoding of Types.	ECOOP	1997	DBLP DOI BibTeX RDF
14	Martin Gergeleit, Jörg Kaiser, Hermann Streich	Checking timing constraints in distributed object-oriented programs.	OOPS Messenger	1996	DBLP DOI BibTeX RDF
14	Gail C. Murphy, David Notkin	Lightweight Lexical Source Model Extraction.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	scanner generation, source model, reverse engineering, static analysis, software maintenance, scanning, source code analysis, lexical analysis, lexing
14	Naftaly H. Minsky	Towards Alias-Free Pointers.	ECOOP	1996	DBLP DOI BibTeX RDF	pointer-induced aliasing, hiding, programming with threads, storage management, encapsulation
14	Jean-Marc Jézéquel, Jean-Lin Pacherie	Parallel Operators.	ECOOP	1996	DBLP DOI BibTeX RDF	Components and Frameworks, Distribution, Data Parallelism, Operators
14	Merlin Hughes, P. David Stotts	Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects.	ISSTA	1996	DBLP DOI BibTeX RDF
14	Satish Thatté	Automated Synthesis of Interface Adapters for Reusable Classes.	POPL	1994	DBLP DOI BibTeX RDF
14	José de Oliveira Guimarães	Parametrized Methods.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	C++
14	Jean-Marc Jézéquel	Transparent Parallelisation Through Reuse: Between a Compiler and a Library Approach.	ECOOP	1993	DBLP DOI BibTeX RDF	Components and Frameworks, Distribution, Reuse, Data Parallelism
14	Michael Löwe, Martin Beyer	AGG - An Implementation of Algebraic Graph Rewriting.	RTA	1993	DBLP DOI BibTeX RDF
14	Clemens A. Szyperski	Import is Not Inheritance - Why We Need Both: Modules and Classes.	ECOOP	1992	DBLP DOI BibTeX RDF
14	Eduardo Casais	An Incremental Class Reorganization Approach.	ECOOP	1992	DBLP DOI BibTeX RDF
14	Jean-Charles Fabre, Brian Randell	An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems.	ESORICS	1992	DBLP DOI BibTeX RDF
14	Kenneth P. Birman, Robert Cooper	The ISIS Project: Real Experience with a Fault Tolerant Programming System.	ACM SIGOPS Oper. Syst. Rev.	1991	DBLP DOI BibTeX RDF
14	Mauro Regio, Marco Temperini	Implementation and Manipulation of Formal Objects: An Object-Oriented View.	SIGSMALL/PC Symposium	1990	DBLP DOI BibTeX RDF