M. H. van Emden

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

Collaborative distances:



In proceedings 
PhD thesis 


Online presence:

On csauthors.net:


Egyptian multiplication and some of its ramifications.
CoRR, 2019

Correct by construction.
CoRR, 2018

Beyond Structured Programming.
CoRR, 2018

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

The lambda mechanism in lambda calculus and in other calculi.
CoRR, 2015

Matrix Code.
Sci. Comput. Program., 2014

Logic programming beyond Prolog.
CoRR, 2014

Constraint propagation as information maximization.
Artif. Intell., 2013

Discovering Algorithms with Matrix Code
CoRR, 2012

Relational Semantics for Databases and Predicate Calculus
CoRR, 2012

From Interval Arithmetic to Interval Constraints.
Reliab. Comput., 2011

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

Integrating Interval Constraints into Logic Programming
CoRR, 2010

Interval Semantics for Standard Floating-Point Arithmetic
CoRR, 2008

Functions to Support Input and Output of Intervals
CoRR, 2007

The Fundamental Theorems of Interval Analysis
CoRR, 2007

Set-Theoretic Preliminaries for Computer Scientists
CoRR, 2006

Object-Oriented Modeling of Programming Paradigms
CoRR, 2006

Towards Applicative Relational Programming
CoRR, 2006

Compositional Semantics for the Procedural Interpretation of Logic.
Proceedings of the Logic Programming, 22nd International Conference, 2006

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

On the Significance of Digits in Interval Notation.
Reliab. Comput., 2004

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

Using Propagation for Solving Complex Arithmetic Constraints
CoRR, 2003

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

A Portrait of a Scientist as a Computational Logician.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

Interval arithmetic: From principles to implementation.
J. ACM, 2001

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

Factored Notation for Interval I/O
CoRR, 2001

Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations.
Reliab. Comput., 2000

Algorithmic Power from Declarative Use of Redundant Constraints.
Constraints An Int. J., 1999

The Logic Programming Paradigm in Numerical Computation.
Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

A Unified Framework for Interval Constraints and Interval Arithmetic.
Proceedings of the Principles and Practice of Constraint Programming, 1998

Value Constraints in the CLP Scheme.
Constraints An Int. J., 1997

Canonical extensions as common basis for interval constraints and interval arithmetic.
Proceedings of the JFPLC'97, 1997

A Method for Implementing Equational Theories as Logic Programs.
Proceedings of the Logic Programming, 1995

Interval Computation as Deduction in CHIP.
J. Log. Program., 1993

Describing Symmetrical Structures in Logic.
Ann. Math. Artif. Intell., 1993

Structured Inspections of Code.
Softw. Test. Verification Reliab., 1992

Compositional Operational Semantics for Prolog Programs.
New Gener. Comput., 1992

Editorial: Rhetoric versus Modernism in Computing.
J. Log. Comput., 1992

Adapting CLP to Floating-Point Arithmetic.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Mental Ergonomics as Basis for New-Generation Computer Systems.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

On Warren's Method for Functional Programming in Logic.
Proceedings of the Logic Programming, 1990

Complete Sets of Frontiers in Logic-Based Program Transformation.
Proceedings of the Meta-Programming in Logic Programming, 1988

Conditional Answers for Polymorphic Type Inference.
Proceedings of the Logic Programming, 1988

Tables as a User Interface for Logic Programs.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Converting AND-Control to OR-Control by Program Transformation.
Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

Logic Programming with Equations.
J. Log. Program., 1987

First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract).
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

Spreadsheets with Incremental Queries as a User Interface for Logic Programming.
New Gener. Comput., 1986

Quantitative Deduction and its Fixpoint Theory.
J. Log. Program., 1986

Top-Down Semantics of Fair Computations of Logic Programs.
J. Log. Program., 1985

A Logical Reconstruction of Prolog II.
J. Log. Program., 1984

Dataflow, Flowcharts, and "LUCID"-style Programming in Logic.
Proceedings of the 1984 International Symposium on Logic Programming, 1984

Towards a western Fifth-Generation Computer System project.
Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, 1984

An Interpreting Algorithm for Prolog Programs.
Proceedings of the Implementations of Prolog. , 1984

Contributions to the Theory of Logic Programming.
J. ACM, 1982

An Algorithm for Interpreting Prolog Programs.
Proceedings of the First International Logic Programming Conference, 1982

Consequence Verification of Flowcharts.
IEEE Trans. Software Eng., 1981

Programming with Verification Conditions.
IEEE Trans. Software Eng., 1979

Equations Compared with Clauses for Specification of Abstract Data Types.
Proceedings of the Advances in Data Base Theory, 1979

Computation and Deductive Information Retrieval.
Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

The Semantics of Predicate Logic as a Programming Language.
J. ACM, 1976

Verification Conditions as Programs.
Proceedings of the Third International Colloquium on Automata, 1976

Increasing the efficiency of quicksort.
Commun. ACM, 1970

Algorithms 402: Increasing the efficiency of quicksort.
Commun. ACM, 1970