M. H. van Emden

According to our database, M. H. van Emden authored at least 67 papers between 1970 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Egyptian multiplication and some of its ramifications.

M. H. van Emden

CoRR, 2019

2018

Correct by construction.

M. H. van Emden

CoRR, 2018

Beyond Structured Programming.

M. H. van Emden

CoRR, 2018

2015

Contributions to the compositional semantics of first-order predicate logic.

Philip Kelly, M. H. van Emden

CoRR, 2015

The lambda mechanism in lambda calculus and in other calculi.

M. H. van Emden

CoRR, 2015

2014

Matrix Code.

M. H. van Emden

Sci. Comput. Program., 2014

Logic programming beyond Prolog.

M. H. van Emden

CoRR, 2014

2013

Constraint propagation as information maximization.

A. Nait Abdallah, M. H. van Emden

Artif. Intell., 2013

2012

Discovering Algorithms with Matrix Code

M. H. van Emden

CoRR, 2012

Relational Semantics for Databases and Predicate Calculus

Philip Kelly, M. H. van Emden

CoRR, 2012

2011

From Interval Arithmetic to Interval Constraints.

Maarten H. van Emden

Reliab. Comput., 2011

Matrix Code: a Language for the Parallel Development of Verification and Program

Maarten H. van Emden

CoRR, 2011

2010

Integrating Interval Constraints into Logic Programming

Maarten H. van Emden

CoRR, 2010

2008

Interval Semantics for Standard Floating-Point Arithmetic

William W. Edmonson, Maarten H. van Emden

CoRR, 2008

2007

Functions to Support Input and Output of Intervals

Maarten H. van Emden, Belaid Moa, S. C. Somosan

CoRR, 2007

The Fundamental Theorems of Interval Analysis

Maarten H. van Emden, Belaid Moa

CoRR, 2007

2006

Set-Theoretic Preliminaries for Computer Scientists

Maarten H. van Emden

CoRR, 2006

Object-Oriented Modeling of Programming Paradigms

Maarten H. van Emden, S. C. Somosan

CoRR, 2006

Towards Applicative Relational Programming

H. Ibrahim, Maarten H. van Emden

CoRR, 2006

Compositional Semantics for the Procedural Interpretation of Logic.

Maarten H. van Emden

Proceedings of the Logic Programming, 22nd International Conference, 2006

Computational Euclid.

Maarten H. van Emden, Belaid Moa

Proceedings of the 18th Annual Canadian Conference on Computational Geometry, 2006

2004

On the Significance of Digits in Interval Notation.

Maarten H. van Emden

Reliab. Comput., 2004

Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems

Maarten H. van Emden, Belaid Moa

CoRR, 2004

2003

Using Propagation for Solving Complex Arithmetic Constraints

Maarten H. van Emden, Belaid Moa

CoRR, 2003

2002

New Developments in Interval Arithmetic and Their Implications for Floating-Point Standardization

Maarten H. van Emden

CoRR, 2002

A Portrait of a Scientist as a Computational Logician.

Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Interval arithmetic: From principles to implementation.

Timothy J. Hickey, Qun Ju, Maarten H. van Emden

J. ACM, 2001

Computing Functional and Relational Box Consistency by Structured Propagation in Atomic Constraint Systems

Maarten H. van Emden

CoRR, 2001

Factored Notation for Interval I/O

Maarten H. van Emden

CoRR, 2001

2000

Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations.

Timothy J. Hickey, Zhe Qju, Maarten H. van Emden

Reliab. Comput., 2000

1999

Algorithmic Power from Declarative Use of Redundant Constraints.

Maarten H. van Emden

Constraints An Int. J., 1999

The Logic Programming Paradigm in Numerical Computation.

Maarten H. van Emden

Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998

A Unified Framework for Interval Constraints and Interval Arithmetic.

Timothy J. Hickey, Maarten H. van Emden, Huan Wu

Proceedings of the Principles and Practice of Constraint Programming, 1998

1997

Value Constraints in the CLP Scheme.

Maarten H. van Emden

Constraints An Int. J., 1997

Canonical extensions as common basis for interval constraints and interval arithmetic.

Maarten H. van Emden

Proceedings of the JFPLC'97, 1997

1995

A Method for Implementing Equational Theories as Logic Programs.

Mantis H. M. Cheng, Douglas Stott Parker Jr., Maarten H. van Emden

Proceedings of the Logic Programming, 1995

1993

Interval Computation as Deduction in CHIP.

Jimmy Ho-Man Lee, Maarten H. van Emden

J. Log. Program., 1993

Describing Symmetrical Structures in Logic.

Paul A. Strooper, Maarten H. van Emden

Ann. Math. Artif. Intell., 1993

1992

Structured Inspections of Code.

Maarten H. van Emden

Softw. Test. Verification Reliab., 1992

Compositional Operational Semantics for Prolog Programs.

Mantis H. M. Cheng, R. Nigel Horspool, Michael R. Levy, M. H. van Emden

New Gener. Comput., 1992

Editorial: Rhetoric versus Modernism in Computing.

Maarten H. van Emden

J. Log. Comput., 1992

Adapting CLP to Floating-Point Arithmetic.

Jimmy Ho-Man Lee, Maarten H. van Emden

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Mental Ergonomics as Basis for New-Generation Computer Systems.

Maarten H. van Emden

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1990

On Warren's Method for Functional Programming in Logic.

Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards

Proceedings of the Logic Programming, 1990

1988

Complete Sets of Frontiers in Logic-Based Program Transformation.

Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper

Proceedings of the Meta-Programming in Logic Programming, 1988

Conditional Answers for Polymorphic Type Inference.

Maarten H. van Emden

Proceedings of the Logic Programming, 1988

Tables as a User Interface for Logic Programs.

Mantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Converting AND-Control to OR-Control by Program Transformation.

Maarten H. van Emden, Péter Szeredi

Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987

Logic Programming with Equations.

Maarten H. van Emden, Keitaro Yukawa

J. Log. Program., 1987

First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract).

Maarten H. van Emden

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986

Spreadsheets with Incremental Queries as a User Interface for Logic Programming.

Maarten H. van Emden, Masaru Ohki, Akikazu Takeuchi

New Gener. Comput., 1986

Quantitative Deduction and its Fixpoint Theory.

Maarten H. van Emden

J. Log. Program., 1986

1985

Top-Down Semantics of Fair Computations of Logic Programs.

Maarten H. van Emden, M. A. Nait Abdallah

J. Log. Program., 1985

1984

A Logical Reconstruction of Prolog II.

Maarten H. van Emden, John W. Lloyd

J. Log. Program., 1984

Dataflow, Flowcharts, and "LUCID"-style Programming in Logic.

Derek R. Brough, Maarten H. van Emden

Proceedings of the 1984 International Symposium on Logic Programming, 1984

Towards a western Fifth-Generation Computer System project.

Maarten H. van Emden

Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, 1984

An Interpreting Algorithm for Prolog Programs.

Maarten H. van Emden

Proceedings of the Implementations of Prolog. , 1984

1982

Contributions to the Theory of Logic Programming.

Krzysztof R. Apt, Maarten H. van Emden

J. ACM, 1982

An Algorithm for Interpreting Prolog Programs.

Maarten H. van Emden

Proceedings of the First International Logic Programming Conference, 1982

1981

Consequence Verification of Flowcharts.

Keith L. Clark, Maarten H. van Emden

IEEE Trans. Software Eng., 1981

1979

Programming with Verification Conditions.

Maarten H. van Emden

IEEE Trans. Software Eng., 1979

Equations Compared with Clauses for Specification of Abstract Data Types.

Maarten H. van Emden, T. S. E. Maibaum

Proceedings of the Advances in Data Base Theory, 1979

1977

Computation and Deductive Information Retrieval.

Maarten H. van Emden

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

1976

The Semantics of Predicate Logic as a Programming Language.

Maarten H. van Emden, Robert A. Kowalski

J. ACM, 1976

Verification Conditions as Programs.

Maarten H. van Emden

Proceedings of the Third International Colloquium on Automata, 1976

1970

Increasing the efficiency of quicksort.

M. H. van Emden

Commun. ACM, 1970

Algorithms 402: Increasing the efficiency of quicksort.

Maarten H. van Emden

Commun. ACM, 1970