Lecture Notes in Computer Science - Mathematics of Program Construction
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer International Publishing

9783319197968, 9783319197975

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Clear Picture of Lens Laws

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-319-19797-5_10 ◽

2015 ◽

pp. 215-223 ◽

Author(s):

Sebastian Fischer ◽

Zhenjiang Hu ◽

Hugo Pacheco

Keyword(s):

Download Full-text

Polynomial Functors Constrained by Regular Expressions

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-319-19797-5_6 ◽

2015 ◽

pp. 113-136 ◽

Author(s):

Dan Piponi ◽

Brent A. Yorgey

Keyword(s):

Regular Expressions ◽

Polynomial Functors

Download Full-text

Auto in Agda

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-319-19797-5_14 ◽

2015 ◽

pp. 276-301 ◽

Author(s):

Pepijn Kokke ◽

Wouter Swierstra

Download Full-text

Turing-Completeness Totally Free

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-319-19797-5_13 ◽

2015 ◽

pp. 257-275 ◽

Author(s):

Conor McBride

Keyword(s):

Turing Completeness

Download Full-text

Hierarchy in Generic Programming Libraries

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-319-19797-5_5 ◽

2015 ◽

pp. 93-112

Author(s):

José Pedro Magalhães ◽

Andres Löh

Keyword(s):

Generic Programming

Download Full-text

On Rely-Guarantee Reasoning

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-319-19797-5_2 ◽

2015 ◽

pp. 30-49 ◽

Author(s):

Stephan van Staden

Download Full-text

A Relation-Algebraic Approach to Multirelations and Predicate Transformers

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-319-19797-5_3 ◽

2015 ◽

pp. 50-70 ◽

Author(s):

Rudolf Berghammer ◽

Walter Guttmann

Keyword(s):

Algebraic Approach ◽

Predicate Transformers

Download Full-text

A Program Construction and Verification Tool for Separation Logic

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-319-19797-5_7 ◽

2015 ◽

pp. 137-158 ◽

Author(s):

Brijesh Dongol ◽

Victor B. F. Gomes ◽

Georg Struth

Keyword(s):

Separation Logic ◽

Verification Tool ◽

Program Construction

Download Full-text

Notions of Bidirectional Computation and Entangled State Monads

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-319-19797-5_9 ◽

2015 ◽

pp. 187-214 ◽

Author(s):

Faris Abou-Saleh ◽

James Cheney ◽

Jeremy Gibbons ◽

James McKinna ◽

Perdita Stevens

Keyword(s):

Entangled State

Download Full-text

Calculating Certified Compilers for Non-deterministic Languages

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-319-19797-5_8 ◽

2015 ◽

pp. 159-186

Author(s):

Patrick Bahr

Download Full-text