M. H. van Emden

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Egyptian multiplication and some of its ramifications.
CoRR, 2019

2018
Correct by construction.
CoRR, 2018

Beyond Structured Programming.
CoRR, 2018

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

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

2014
Matrix Code.
Sci. Comput. Program., 2014

Logic programming beyond Prolog.
CoRR, 2014

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

2012
Discovering Algorithms with Matrix Code
CoRR, 2012

Relational Semantics for Databases and Predicate Calculus
CoRR, 2012

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

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

2010
Integrating Interval Constraints into Logic Programming
CoRR, 2010

2008
Interval Semantics for Standard Floating-Point Arithmetic
CoRR, 2008

2007
Functions to Support Input and Output of Intervals
CoRR, 2007

The Fundamental Theorems of Interval Analysis
CoRR, 2007

2006
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

2004
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

2003
Using Propagation for Solving Complex Arithmetic Constraints
CoRR, 2003

2002
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

2001
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

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

1999
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

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

1997
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

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

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

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

1992
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

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

1988
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

1987
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

1986
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

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

1984
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

1982
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

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

1979
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

1977
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

1976
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

1970
Increasing the efficiency of quicksort.
Commun. ACM, 1970

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


  Loading...