Dennis de Champeaux

37 papers A* 3A 8Journal 12Unranked 12
YearRankTypeTitle / Venue / Authors
2022 J jnl
Faster Linear Unification Algorithm.
J. Autom. Reason.
Dennis de Champeaux
2013 — ch.
The Geneva Convention on the Treatment of Object Aliasing.
Aliasing in Object-Oriented Programming
John Hogg, Doug Lea, Alan Cameron Wills, Dennis de Champeaux, Richard C. Holt
2002 J jnl
Software engineering considered harmful.
Commun. ACM
Dennis de Champeaux
1995 A conf
Extending the Statechart Formalism: Event Scheduling & Disposition.
OOPSLA
Arthur Allen, Dennis de Champeaux
1995 — conf
OO process and metrics for effort estimation.
OOPSLA Addendum
Dennis de Champeaux, Simon Horner, Granville Miller
1994 — conf
Artificial intelligence for object-oriented software engineering.
OOPSLA Addendum
Dennis de Champeaux, Hermann Kaindl, Joachim H. Laubsch, Albert Schappert
1993 — book
Object-oriented system development.
Dennis de Champeaux, Doug Lea, Penelope Faure
1993 — conf
Processes and metrics for object-oriented software development.
OOPSLA Addendum
Steven Craig Bilow, Doug Lea, Karl Freburger, Dennis de Champeaux
1993 A conf
Strategies for Object-Oriented Technology Transfer (Panel).
OOPSLA
Dennis de Champeaux, Andrew J. Baer, Brian Bernsen, Alan R. Korncoff, Timothy D. Korson, Daniel S. Tkach
1992 J jnl
A framework for using formal methods in object-oriented software development.
OOPS Messenger
Richard C. Holt, Dennis de Champeaux
1992 A conf
Case Study of Object-Oriented Software Development.
OOPSLA
Dennis de Champeaux, Al Anderson, Ed Feldhousen
1992 — conf
Object-Oriented Experiences.
TRI-Ada Tutorials (1)
Mohamed Fayad, Dennis de Champeaux
1992 J jnl
The Geneva convention on the treatment of object aliasing.
OOPS Messenger
John Hogg, Doug Lea, Alan Cameron Wills, Dennis de Champeaux, Richard C. Holt
1992 A conf
The OO Software Development Process (Panel).
OOPSLA
Dennis de Champeaux, Robert Balzer, Dave Bulman, Kathleen Culver-Lozo, Ivar Jacobson, Stephen J. Mellor
1992 — conf
The OO software development process (abstract).
OOPSLA Addendum
Dennis de Champeaux
1992 — conf
The OOA process.
OOPSLA Addendum
Dennis de Champeaux
1992 A conf
The Process of Object-Oriented Design.
OOPSLA
Dennis de Champeaux, Doug Lea, Penelope Faure
1991 A conf
Formal Techniques for OO Software Development (Panel).
OOPSLA
Dennis de Champeaux, Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary T. Leavens, Fiona Hayes
1991 — conf
Formal techniques for object oriented software development.
OOPSLA Addendum
Dennis de Champeaux
1991 — conf
Object oriented (domain) analysis.
OOPSLA Addendum
John Burnham, Dennis de Champeaux
1991 A conf
Object-Oriented Analysis and Top-Down Software Development.
ECOOP
Dennis de Champeaux
1990 — conf
Structured Analysis and Object Oriented Analysis (Panel).
OOPSLA/ECOOP
Dennis de Champeaux, Larry L. Constantine, Ivar Jacobson, Stephen J. Mellor, Paul Ward, Edward Yourdon
1990 — conf
Structured analysis and object oriented analysis (panel session).
OOPSLA/ECOOP Addendum
Dennis de Champeaux, Larry L. Constantine, Ivar Jacobson, Stephen J. Mellor, Paul Ward, Edward Yourdon
1986 J jnl
About the Paterson-Wegman Linear Unification Algorithm.
J. Comput. Syst. Sci.
Dennis de Champeaux
1986 J jnl
Subproblem finder and instance checker, two cooperating modules for theorem provers.
J. ACM
Dennis de Champeaux
1983 J jnl
Bidirectional Heuristic Search Again
J. ACM
Dennis de Champeaux
1982 J jnl
A note on resolution, connection graphs, and subsumption.
SIGART Newsl.
Dennis de Champeaux
1982 A conf
Heuristic Search with Partial Node Expansion and Bi-Directional Search in Product Space.
ECAI
Dennis de Champeaux, E. van Dijk
1981 J jnl
Challenge problem 1 without search.
SIGART Newsl.
Dennis de Champeaux
1981 A* conf
Symbolic Evaluation of LISP Functions with Side Effects for Verification.
IJCAI
Dennis de Champeaux, Jos de Bruin
1979 A* conf
Sub-problem Finder and Instance Checker: Two Cooperating Preprocessors for Theorem Provers.
IJCAI
Dennis de Champeaux
1978 — conf
A Theorem Prover Dating a Semantic Network.
AISB/GI (ECAI)
Dennis de Champeaux
1978 J jnl
Substad: For Fast Substitution in LISP, with an Application on Unification.
Inf. Process. Lett.
Dennis de Champeaux
1977 J jnl
An Improved Bidirectional Heuristic Search Algorithm.
J. ACM
Dennis de Champeaux, Lenie Sint
1977 J jnl
An Optimality Theorem for a Bi-Directional Heuristic Search Algorithm.
Comput. J.
Dennis de Champeaux, Lenie Sint
1977 — conf
Solutions and Their Problems.
International Computing Symposium
Dennis de Champeaux
1975 A* conf
An Improved Di-Directional Heuristic Search Algorithm.
IJCAI
Dennis de Champeaux, Lenie Sint