Maarten H. van Emden

Publication Activity (10 Years)

Years Active: 1970-2011
Publications (10 Years): 0

Publications

Maarten H. van Emden
Matrix Code: a Language for the Parallel Development of Verification and Program CoRR (2011)
Maarten H. van Emden
From Interval Arithmetic to Interval Constraints. Reliab. Comput. 15 (2) (2011)
Maarten H. van Emden
Integrating Interval Constraints into Logic Programming CoRR (2010)
William W. Edmonson, Maarten H. van Emden
Interval Semantics for Standard Floating-Point Arithmetic CoRR (2008)
Maarten H. van Emden, Belaid Moa, S. C. Somosan
Functions to Support Input and Output of Intervals CoRR (2007)
Maarten H. van Emden, Belaid Moa
The Fundamental Theorems of Interval Analysis CoRR (2007)
Maarten H. van Emden, S. C. Somosan
Object-Oriented Modeling of Programming Paradigms CoRR (2006)
Maarten H. van Emden, Belaid Moa
Computational Euclid CoRR (2006)
Maarten H. van Emden
Compositional Semantics for the Procedural Interpretation of Logic CoRR (2006)
Maarten H. van Emden
Compositional Semantics for the Procedural Interpretation of Logic. ICLP (2006)
H. Ibrahim, Maarten H. van Emden
Towards Applicative Relational Programming CoRR (2006)
Maarten H. van Emden, Belaid Moa
Computational Euclid. CCCG (2006)
Maarten H. van Emden
Set-Theoretic Preliminaries for Computer Scientists CoRR (2006)
Maarten H. van Emden, Belaid Moa
Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems CoRR (2004)
Maarten H. van Emden
On the Significance of Digits in Interval Notation. Reliab. Comput. 10 (1) (2004)
Maarten H. van Emden, Belaid Moa
Using Propagation for Solving Complex Arithmetic Constraints CoRR (2003)
Maarten H. van Emden
New Developments in Interval Arithmetic and Their Implications for Floating-Point Standardization CoRR (2002)
Maarten H. van Emden
On the Significance of Digits in Interval Notation CoRR (2002)
Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden
A Portrait of a Scientist as a Computational Logician. Computational Logic: Logic Programming and Beyond (2002)
Timothy J. Hickey, Qun Ju, Maarten H. van Emden
Interval arithmetic: From principles to implementation. J. ACM 48 (5) (2001)
Maarten H. van Emden
Computing Functional and Relational Box Consistency by Structured Propagation in Atomic Constraint Systems CoRR (2001)
Maarten H. van Emden
Factored Notation for Interval I/O CoRR (2001)
Timothy J. Hickey, Zhe Qju, Maarten H. van Emden
Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations. Reliab. Comput. 6 (1) (2000)
Maarten H. van Emden
Algorithmic Power from Declarative Use of Redundant Constraints. Constraints An Int. J. 4 (4) (1999)
Timothy J. Hickey, Maarten H. van Emden, Huan Wu
A Unified Framework for Interval Constraints and Interval Arithmetic. CP (1998)
Maarten H. van Emden
Canonical extensions as common basis for interval constraints and interval arithmetic. JFPLC (1997)
Maarten H. van Emden
Value Constraints in the CLP Scheme. Constraints An Int. J. 2 (2) (1997)
Mantis H. M. Cheng, Douglas Stott Parker Jr., Maarten H. van Emden
A Method for Implementing Equational Theories as Logic Programs. ICLP (1995)
Jimmy Ho-Man Lee, Maarten H. van Emden
Interval Computation as Deduction in CHIP. J. Log. Program. 16 (3) (1993)
Paul A. Strooper, Maarten H. van Emden
Describing Symmetrical Structures in Logic. Ann. Math. Artif. Intell. 8 (3-4) (1993)
Maarten H. van Emden
Editorial: Rhetoric versus Modernism in Computing. J. Log. Comput. 2 (5) (1992)
Jimmy Ho-Man Lee, Maarten H. van Emden
Adapting CLP to Floating-Point Arithmetic. FGCS (1992)
Maarten H. van Emden
Mental Ergonomics as Basis for New-Generation Computer Systems. FGCS (1992)
Maarten H. van Emden
Structured Inspections of Code. Softw. Test. Verification Reliab. 2 (3) (1992)
Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards
On Warren's Method for Functional Programming in Logic. ICLP (1990)
Mantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee
Tables as a User Interface for Logic Programs. FGCS (1988)
Maarten H. van Emden
Conditional Answers for Polymorphic Type Inference. ICLP/SLP (1988)
Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper
Complete Sets of Frontiers in Logic-Based Program Transformation. META (1988)
Maarten H. van Emden, Keitaro Yukawa
Logic Programming with Equations. J. Log. Program. 4 (4) (1987)
Maarten H. van Emden
First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract). LICS (1987)
Maarten H. van Emden
Quantitative Deduction and its Fixpoint Theory. J. Log. Program. 3 (1) (1986)
Maarten H. van Emden, Masaru Ohki, Akikazu Takeuchi
Spreadsheets with Incremental Queries as a User Interface for Logic Programming. New Gener. Comput. 4 (3) (1986)
Maarten H. van Emden, M. A. Nait Abdallah
Top-Down Semantics of Fair Computations of Logic Programs. J. Log. Program. 2 (1) (1985)
Derek R. Brough, Maarten H. van Emden
Dataflow, Flowcharts, and "LUCID"-style Programming in Logic. SLP (1984)
Maarten H. van Emden
Towards a western Fifth-Generation Computer System project. ACM Annual Conference (1984)
Maarten H. van Emden, John W. Lloyd
A Logical Reconstruction of Prolog II. J. Log. Program. 1 (2) (1984)
Maarten H. van Emden, John W. Lloyd
A Logical Reconstruction of Prolog II. ICLP (1984)
Krzysztof R. Apt, Maarten H. van Emden
Contributions to the Theory of Logic Programming. J. ACM 29 (3) (1982)
Maarten H. van Emden
An Algorithm for Interpreting Prolog Programs. ICLP (1982)
Keith L. Clark, Maarten H. van Emden
Consequence Verification of Flowcharts. IEEE Trans. Software Eng. 7 (1) (1981)
Maarten H. van Emden
Programming with Verification Conditions. IEEE Trans. Software Eng. 5 (2) (1979)
Maarten H. van Emden, T. S. E. Maibaum
Equations Compared with Clauses for Specification of Abstract Data Types. Advances in Data Base Theory (1979)
Maarten H. van Emden
Computation and Deductive Information Retrieval. Formal Description of Programming Concepts (1977)
Maarten H. van Emden, Robert A. Kowalski
The Semantics of Predicate Logic as a Programming Language. J. ACM 23 (4) (1976)
Maarten H. van Emden
Verification Conditions as Programs. ICALP (1976)
Maarten H. van Emden
Algorithms 402: Increasing the efficiency of quicksort. Commun. ACM 13 (11) (1970)