Dennis de Champeaux - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 37 from 37

2022

Faster Linear Unification AlgorithmDennis de Champeaux. JAR, 66(4):845-860, 2022. [doi]

2013

The Geneva Convention on the Treatment of Object AliasingJohn Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, Richard C. Holt. In Dave Clarke, James Noble, Tobias Wrigstad, editors, Aliasing in Object-Oriented Programming. Types, Analysis and Verification. Volume 7850 of Lecture Notes in Computer Science, pages 7-14, Springer, 2013. [doi]

2002

Software engineering considered harmfulDennis de Champeaux. CACM, 45(11):102-104, 2002. [doi]

1995

Extending the Statechart Formalism: Event Scheduling & DispositionArthur Allen, Dennis de Champeaux. OOPSLA 1995: 1-16

OO process and metrics for effort estimationDennis de Champeaux, Simon Horner, Granville Miller. oopsm, 6(4):138-142, 1995.

1994

Processes and metrics for object-oriented software developmentSteven Craig Bilow, Doug Lea, Karl Freburger, Dennis de Champeaux. oopsm, 5(2):95-98, 1994.

Artificial intelligence for object-oriented software engineeringDennis de Champeaux, Hermann Kaindl, Joachim Laubsch, Albert Schappert. oopsm, 5(4):127-130, 1994.

1993

Strategies for Object-Oriented Technology Transfer (Panel)Dennis de Champeaux, Andrew J. Baer, Brian Bernsen, Alan R. Korncoff, Timothy D. Korson, Daniel S. Tkach. OOPSLA 1993: 437-447

The OOA processDennis de Champeaux. oopsm, 4(2):71-74, 1993.

The OO software development process (abstract)Dennis de Champeaux. oopsm, 4(2):61-62, 1993.

Object-oriented system developmentDennis de Champeaux, Douglas Lea, Penelope Faure. Addison-Wesley, 1993.

1992

Object oriented (domain) analysisJohn Burnham, Dennis de Champeaux. oopsm, 3(4):83-90, 1992.

Case Study of Object-Oriented Software DevelopmentDennis de Champeaux, Al Anderson, Ed Feldhousen. OOPSLA 1992: 377-391

The Process of Object-Oriented DesignDennis de Champeaux, Doug Lea, Penelope Faure. OOPSLA 1992: 45-62

Formal techniques for object oriented software developmentDennis de Champeaux. oopsm, 3(4):49-54, 1992.

The OO Software Development Process (Panel)Dennis de Champeaux, Robert Balzer, Dave Bulman, Kathleen Culver-Lozo, Ivar Jacobson, Stephen J. Mellor. OOPSLA 1992: 484-489

Object-Oriented ExperiencesMohamed Fayad, Dennis de Champeaux. sigada 1992: 380-496 [doi]

The Geneva convention on the treatment of object aliasingJohn Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, Richard C. Holt. oopsm, 3(2):11-16, 1992.

A framework for using formal methods in object-oriented software developmentRichard C. Holt, Dennis de Champeaux. oopsm, 3(2):9-10, 1992.

1991

Object-Oriented Analysis and Top-Down Software DevelopmentDennis de Champeaux. ECOOP 1991: 360-376 [doi]

Formal Techniques for OO Software Development (Panel)Dennis de Champeaux, Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary T. Leavens, Fiona Hayes. OOPSLA 1991: 166-170

1990

Structured Analysis and Object Oriented Analysis (Panel)Dennis de Champeaux, Larry L. Constantine, Ivar Jacobson, Stephen J. Mellor, Paul Ward, Edward Yourdon. OOPSLA 1990: 135-139

Structured analysis and object oriented analysis (panel session)Dennis de Champeaux, Larry L. Constantine, Ivar Jacobson, Stephen J. Mellor, Paul Ward, Edward Yourdon. ECOOP 1991: 15-17 [doi]

1986

About the Paterson-Wegman Linear Unification AlgorithmDennis de Champeaux. jcss, 32(1):79-90, 1986.

Subproblem finder and instance checker, two cooperating modules for theorem proversDennis de Champeaux. JACM, 33(4):633-657, 1986. [doi]

1983

Bidirectional Heuristic Search AgainDennis de Champeaux. JACM, 30(1):22-32, January 1983. [doi]

1982

Heuristic Search with Partial Node Expansion and Bi-Directional Search in Product SpaceDennis de Champeaux, E. van Dijk. ecai 1982: 180-182

A note on resolution, connection graphs, and subsumptionDennis de Champeaux. sigart, 81:15-17, 1982. [doi]

1981

Symbolic Evaluation of LISP Functions with Side Effects for VerificationDennis de Champeaux, Jos de Bruin. IJCAI 1981: 519-524

Challenge problem 1 without searchDennis de Champeaux. sigart, 76:12-13, 1981. [doi]

1979

Sub-problem Finder and Instance Checker: Two Cooperating Preprocessors for Theorem ProversDennis de Champeaux. IJCAI 1979: 191-196

1978

A Theorem Prover Dating a Semantic NetworkDennis de Champeaux. ecai 1978: 82-92

Substad: For Fast Substitution in LISP, with an Application on UnificationDennis de Champeaux. ipl, 7(1):58-62, 1978.

1977

An Improved Bidirectional Heuristic Search AlgorithmDennis de Champeaux, Lenie Sint. JACM, 24(2):177-191, 1977. [doi]

Solutions and Their ProblemsDennis de Champeaux. icsym 1977: 119-127

An Optimality Theorem for a Bi-Directional Heuristic Search AlgorithmDennis de Champeaux, Lenie Sint. cj, 20(2):148-150, 1977.

1975

An Improved Di-Directional Heuristic Search AlgorithmDennis de Champeaux, Lenie Sint. IJCAI 1975: 309-314

Sign in or sign up to see more results.

runs on WebDSL