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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540356318, 9783540356325

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Loopless Functional Algorithms

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/11783596_9 ◽

2006 ◽

pp. 90-114 ◽

Cited By ~ 1

Author(s):

Richard S. Bird

Download Full-text

Towards Generic Programming with Sized Types

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/11783596_4 ◽

2006 ◽

pp. 10-28 ◽

Cited By ~ 3

Author(s):

Andreas Abel

Keyword(s):

Generic Programming

Download Full-text

Nondeterministic Folds

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/11783596_17 ◽

2006 ◽

pp. 274-298 ◽

Cited By ~ 2

Author(s):

Clare E. Martin ◽

Sharon A. Curtis

Download Full-text

Generic Views on Data Types

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/11783596_14 ◽

2006 ◽

pp. 209-234 ◽

Cited By ~ 14

Author(s):

Stefan Holdermans ◽

Johan Jeuring ◽

Andres Löh ◽

Alexey Rodriguez

Keyword(s):

Data Types

Download Full-text

Compositional Reasoning for Pointer Structures

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/11783596_10 ◽

2006 ◽

pp. 115-139 ◽

Cited By ~ 8

Author(s):

Yifeng Chen ◽

J. W. Sanders

Keyword(s):

Compositional Reasoning

Download Full-text

What Is a Good Process Semantics?

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/11783596_1 ◽

2006 ◽

pp. 1-3 ◽

Cited By ~ 2

Author(s):

Robin Cockett

Download Full-text

Continuous Action System Refinement

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/11783596_19 ◽

2006 ◽

pp. 316-337 ◽

Cited By ~ 6

Author(s):

Larissa Meinicke ◽

Ian J. Hayes

Keyword(s):

Continuous Action ◽

Action System

Download Full-text

Bimonadic Semantics for Basic Pattern Matching Calculi

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/11783596_16 ◽

2006 ◽

pp. 253-273

Author(s):

Wolfram Kahl ◽

Jacques Carette ◽

Xiaoheng Ji

Keyword(s):

Pattern Matching ◽

Basic Pattern

Download Full-text

Improving Saddleback Search: A Lesson in Algorithm Design

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/11783596_8 ◽

2006 ◽

pp. 82-89 ◽

Cited By ~ 3

Author(s):

Richard S. Bird

Keyword(s):

Algorithm Design

Download Full-text

Refinement Algebra with Operators for Enabledness and Termination

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/11783596_23 ◽

2006 ◽

pp. 397-415 ◽

Cited By ~ 14

Author(s):

Kim Solin ◽

Joakim von Wright

Download Full-text

Lecture Notes in Computer Science - Mathematics of Program ConstructionLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Loopless Functional Algorithms

Towards Generic Programming with Sized Types

Nondeterministic Folds

Generic Views on Data Types

Compositional Reasoning for Pointer Structures

What Is a Good Process Semantics?

Continuous Action System Refinement

Bimonadic Semantics for Basic Pattern Matching Calculi

Improving Saddleback Search: A Lesson in Algorithm Design

Refinement Algebra with Operators for Enabledness and Termination

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