Mathematics of Program Construction | Zendy

Gerhard Goos | Zendy; Juris Hartmanis | Zendy; Jan Van Leeuwen | Zendy; David Hutchison | Zendy; Takeo Kanade | Zendy; Josef Kittler | Zendy; Jon Kleinberg | Zendy; Alfred Kobsa | Zendy; Friedemann Mattern | Zendy; John C. Mitchell | Zendy; Moni Naor | Zendy; Oscar Nierstrasz | Zendy; C Pandu | Zendy; Bernhard Steffen | Zendy; Madhu Sudan | Zendy; Demetri Terzopoulos | Zendy; Doug Tygar | Zendy; Gerhard Weikum | Zendy; Philippe Audebaud | Zendy; Christine Paulin-Mohring | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Mathematics of Program Construction

Author(s) -

Gerhard Goos,

Juris Hartmanis,

Jan Van Leeuwen,

David Hutchison,

Takeo Kanade,

Josef Kittler,

Jon Kleinberg,

Alfred Kobsa,

Friedemann Mattern,

John C. Mitchell,

Moni Naor,

Oscar Nierstrasz,

C Pandu,

Bernhard Steffen,

Madhu Sudan,

Demetri Terzopoulos,

Doug Tygar,

Gerhard Weikum,

Philippe Audebaud,

Christine Paulin-Mohring

Publication year - 2008

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/978-3-540-70594-9

Subject(s) - computer science , programming language

Exploiting Unique Fixed Points.- Scrap Your Type Applications.- Programming with Effects in Coq.- Verifying a Semantic ??-Conversion Test for Martin-Lof Type Theory.- The Capacity-C Torch Problem.- Recounting the Rationals: Twice!.- Zippy Tabulations of Recursive Functions.- Unfolding Abstract Datatypes.- Circulations, Fuzzy Relations and Semirings.- Asynchronous Exceptions as an Effect.- The Bohm-Jacopini Theorem Is False, Propositionally.- The Expression Lemma.- Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening.- Probabilistic Choice in Refinement Algebra.- Algebra of Programming Using Dependent Types.- Safe Modification of Pointer Programs in Refinement Calculus.- A Hoare Logic for Call-by-Value Functional Programs.- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems.- Modal Semirings Revisited.- Asymptotic Improvement of Computations over Free Monads.- Symmetric and Synchronous Communication in Peer-to-Peer Networks.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research