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

9783540223801, 9783540277644

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Free Construction of Kleene Algebras with Tests

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-540-27764-4_8 ◽

2004 ◽

pp. 129-141 ◽

Cited By ~ 1

Author(s):

Hitoshi Furusawa

Keyword(s):

Free Construction

Download Full-text

Travelling Processes

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-540-27764-4_20 ◽

2004 ◽

pp. 381-399 ◽

Cited By ~ 13

Author(s):

Xinbei Tang ◽

Jim Woodcock

Download Full-text

Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-540-27764-4_15 ◽

2004 ◽

pp. 274-288 ◽

Cited By ~ 7

Author(s):

Joseph M. Morris

Download Full-text

Optimizing Generic Functions

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-540-27764-4_3 ◽

2004 ◽

pp. 16-31 ◽

Cited By ~ 7

Author(s):

Artem Alimarine ◽

Sjaak Smetsers

Download Full-text

Describing Gen/Kill Static Analysis Techniques with Kleene Algebra

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-540-27764-4_7 ◽

2004 ◽

pp. 110-128 ◽

Cited By ~ 1

Author(s):

Therrezinha Fernandes ◽

Jules Desharnais

Keyword(s):

Static Analysis ◽

Analysis Techniques ◽

Kleene Algebra

Download Full-text

Modelling Nondeterminism

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-540-27764-4_13 ◽

2004 ◽

pp. 228-251 ◽

Cited By ~ 10

Author(s):

Clare E. Martin ◽

Sharon A. Curtis ◽

Ingrid Rewitzky

Download Full-text

Pointer Theory and Weakest Preconditions without Addresses and Heap

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-540-27764-4_19 ◽

2004 ◽

pp. 357-380 ◽

Cited By ~ 2

Author(s):

Birgit Schieder

Keyword(s):

Weakest Preconditions

Download Full-text

An Injective Language for Reversible Computation

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-540-27764-4_16 ◽

2004 ◽

pp. 289-313 ◽

Cited By ~ 14

Author(s):

Shin-Cheng Mu ◽

Zhenjiang Hu ◽

Masato Takeichi

Keyword(s):

Reversible Computation

Download Full-text

Lazy Kleene Algebra

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-540-27764-4_14 ◽

2004 ◽

pp. 252-273 ◽

Cited By ~ 29

Author(s):

Bernhard Möller

Keyword(s):

Kleene Algebra

Download Full-text

Chasing Bottoms

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-540-27764-4_6 ◽

2004 ◽

pp. 85-109 ◽

Cited By ~ 9

Author(s):

Nils Anders Danielsson ◽

Patrik Jansson

Download Full-text

Lecture Notes in Computer Science - Mathematics of Program ConstructionLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Free Construction of Kleene Algebras with Tests

Travelling Processes

Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy

Optimizing Generic Functions

Describing Gen/Kill Static Analysis Techniques with Kleene Algebra

Modelling Nondeterminism

Pointer Theory and Weakest Preconditions without Addresses and Heap

An Injective Language for Reversible Computation

Lazy Kleene Algebra

Chasing Bottoms

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