Maarten H. van Emden - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 41 from 41

2011

From Interval Arithmetic to Interval ConstraintsMaarten H. van Emden. rc, 15(2):144-155, 2011. [doi]

2006

Computational EuclidMaarten H. van Emden, Belaid Moa. cccg 2006: [doi]

Compositional Semantics for the Procedural Interpretation of LogicMaarten H. van Emden. ICLP 2006: 315-329 [doi]

2004

On the Significance of Digits in Interval NotationMaarten H. van Emden. rc, 10(1):45-58, 2004. [doi]

2002

A Portrait of a Scientist as a Computational LogicianMaurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden. BIRTHDAY 2002: 1-4 [doi]

2001

Interval arithmetic: From principles to implementationTimothy J. Hickey, Qun Ju, Maarten H. van Emden. JACM, 48(5):1038-1068, 2001. [doi]

2000

Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined RelationsTimothy J. Hickey, Zhe Qju, Maarten H. van Emden. rc, 6(1):81-92, 2000. [doi]

1999

Algorithmic Power from Declarative Use of Redundant ConstraintsMaarten H. van Emden. constraints, 4(4):363-381, 1999.

The Logic Programming Paradigm in Numerical ComputationMaarten H. van Emden. In Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David Scott Warren, editors, The Logic Programming Paradigm - A 25-Year Perspective. Artificial Intelligence, pages 257-276, Springer, 1999. [doi]

1998

A Unified Framework for Interval Constraints and Interval ArithmeticTimothy J. Hickey, Maarten H. van Emden, Huan Wu. cp 1998: 250-264 [doi]

1997

Canonical extensions as common basis for interval constraints and interval arithmeticMaarten H. van Emden. jfplc 1997: 71-84

Value Constraints in the CLP SchemeMaarten H. van Emden. constraints, 2(2):163-183, 1997.

1995

A Method for Implementing Equational Theories as Logic ProgramsMantis H. M. Cheng, Douglas Stott Parker Jr., Maarten H. van Emden. ICLP 1995: 497-511

1993

Interval Computation as Deduction in CHIPJimmy Ho-Man Lee, Maarten H. van Emden. jlp, 16(3):255-276, 1993.

Describing Symmetrical Structures in LogicPaul A. Strooper, Maarten H. van Emden. AMAI, 8(3-4):301-314, 1993.

1992

Adapting CLP to Floating-Point ArithmeticJimmy Ho-Man Lee, Maarten H. van Emden. fgcs 1992: 996-1003

Structured Inspections of CodeMaarten H. van Emden. stvr, 2(3):133-153, 1992.

Editorial: Rhetoric versus Modernism in ComputingMaarten H. van Emden. logcom, 2(5):551-555, 1992.

1990

On Warren s Method for Functional Programming in LogicMantis H. M. Cheng, Maarten H. van Emden, B. E. Richards. ICLP 1990: 546-560

1988

Complete Sets of Frontiers in Logic-Based Program TransformationMantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper. meta 1988: 283-297

Tables as a User Interface for Logic ProgramsMantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee. fgcs 1988: 784-791

Converting AND-Control to OR-Control by Program TransformationMaarten H. van Emden, Péter Szeredi. In Foundations of Deductive Databases and Logic Programming.. pages 699-709, 1988.

Conditional Answers for Polymorphic Type InferenceMaarten H. van Emden. ICLP 1988: 590-603

1987

Logic Programming with EquationsMaarten H. van Emden, Keitaro Yukawa. jlp, 4(4):265-288, 1987.

First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract)Maarten H. van Emden. lics 1987: 179

1986

Quantitative Deduction and its Fixpoint TheoryMaarten H. van Emden. jlp, 3(1):37-53, 1986.

Spreadsheets with Incremental Queries as a User Interface for Logic ProgrammingMaarten H. van Emden, Masaru Ohki, Akikazu Takeuchi. ngc, 4(3):287-304, 1986.

1985

Top-Down Semantics of Fair Computations of Logic ProgramsMaarten H. van Emden, M. A. Nait Abdallah. jlp, 2(1):67-75, 1985.

1984

Dataflow, Flowcharts, and LUCID -style Programming in LogicDerek R. Brough, Maarten H. van Emden. SLP 1984: 252-258

A Logical Reconstruction of Prolog IIMaarten H. van Emden, John W. Lloyd. ICLP 1984: 35-40

A Logical Reconstruction of Prolog IIMaarten H. van Emden, John W. Lloyd. jlp, 1(2):143-149, 1984.

Towards a western Fifth-Generation Computer System projectMaarten H. van Emden. acm 1984: 298-302 [doi]

1982

Contributions to the Theory of Logic ProgrammingKrzysztof R. Apt, Maarten H. van Emden. JACM, 29(3):841-862, 1982. [doi]

An Algorithm for Interpreting Prolog ProgramsMaarten H. van Emden. iclp 1982: 56-64

1981

Consequence Verification of FlowchartsKeith L. Clark, Maarten H. van Emden. TSE, 7(1):52-60, 1981.

1979

Programming with Verification ConditionsMaarten H. van Emden. TSE, 5(2):148-159, 1979.

Equations Compared with Clauses for Specification of Abstract Data TypesMaarten H. van Emden, T. S. E. Maibaum. adbt 1979: 159-193

1977

Computation and Deductive Information RetrievalMaarten H. van Emden. ifip2 1978: 421-440

1976

The Semantics of Predicate Logic as a Programming LanguageMaarten H. van Emden, Robert A. Kowalski. JACM, 23(4):733-742, 1976. [doi]

Verification Conditions as ProgramsMaarten H. van Emden. icalp 1976: 99-119

1970

Algorithms 402: Increasing the efficiency of quicksortMaarten H. van Emden. CACM, 13(11):693-694, 1970. [doi]

Sign in or sign up to see more results.

runs on WebDSL