MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Mathematics of Program Construction." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

53 documents found, showing 1 through 10. Next 10 →

ATOM

Mathpad - Tool Support for the Calculational Method
by Roland Backhouse, Richard Verhoeven — 1996 — University of York
… of program construction. We discuss the nature of proof, and the priorities for software tools. Our view…
Cited by 1 (0 self) – Add To MetaCart

Tool Support for the Calculational Method
by Roland Backhouse And, Richard Verhoeven — 1996 — University of York
… of program construction. We discuss the nature of proof, and the priorities for software tools. Our view…
Add To MetaCart

Scrap your type applications
by Barry Jay, Simon Peyton Jones
… of Program Construction (MPC’08), Marseille, July 2008. 1 Introduction The polymorphic lambda calculus…
Add To MetaCart

The representation of program synthesis in higher order logic
by Christoph Kreitz — 1990 — GWAI-90, 14th German Workshop on Artificial Intelligence
… to unify and extend them. We believe that deeper insights into the mathematics of program construction…
Cited by 1 (0 self) – Add To MetaCart

Feature Minimization within Decision Trees
by Erin J. Bredensteiner, Kristin P. Bennett — 1996 — Computational Optimization and Applications
… 1996 Abstract Decision trees for classification can be constructed using mathematical programming…
Cited by 13 (2 self) – Add To MetaCart

Dual M-Sets: The Theoretical Framework and Applications
by Shen-Tzay Huang — 1994
… of Lists." In Mathematics of Program Construction, volume 375 of LNCS. SpringVerlag, 1989. [Ste88] Mark…
Add To MetaCart

Logical Specifications for Functional Programs
by Theodore S. Norvell, Eric C. R. Hehner — 1993 — Proceedings of the Mathematics of Program Construction
…. Thus (1; 2) = 2 j true; false Mathematics of Program Construction '92, LNCS 669. 3 whereas 1; 2 6j 2…
Cited by 8 (2 self) – Add To MetaCart

A Machine-assisted Proof of the Subject Reduction Property for a Small Typed Functional Language
by Ana Bove, Alvaro Tasistro — 1995
… is to investigate constructive formalizations of the mathematics of programs. Constructive type theory can also…
Cited by 2 (2 self) – Add To MetaCart

Two-Categories and Program Structure
by David Andrew Naumann, Richard August, Naumann After, Using L, Leslie Lamport, The American
…-Lof. Constructive mathematics and computer programming. In C.A.R. Hoare and J.C. Shephardson, editors, Mathematical…
Add To MetaCart

Paramorphisms
by Lambert Meertens — 1990
…. Homomorphisms and promotability. In J.L.A. van de Snepscheut, editor, Mathematics of Program Construction, pages…
Cited by 5 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB