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

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642311123, 9783642311130

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-642-31113-0_16 ◽

2012 ◽

pp. 324-362 ◽

Author(s):

Ralf Hinze

Keyword(s):

Download Full-text

Scheduling and Buffer Sizing of n-Synchronous Systems

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-642-31113-0_6 ◽

2012 ◽

pp. 74-101

Author(s):

Louis Mandel ◽

Florence Plateau

Keyword(s):

Synchronous Systems ◽

Download Full-text

Dependently Typed Programming Based on Automated Theorem Proving

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-642-31113-0_12 ◽

2012 ◽

pp. 220-240

Author(s):

Alasdair Armstrong ◽

Simon Foster ◽

Georg Struth

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving

Download Full-text

Reverse Exchange for Concurrency and Local Reasoning

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-642-31113-0_10 ◽

2012 ◽

pp. 177-197 ◽

Author(s):

Han-Hing Dang ◽

Bernhard Möller

Keyword(s):

Local Reasoning

Download Full-text

Deriving Real-Time Action Systems Controllers from Multiscale System Specifications

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-642-31113-0_7 ◽

2012 ◽

pp. 102-131 ◽

Author(s):

Brijesh Dongol ◽

Ian J. Hayes

Keyword(s):

Real Time ◽

Download Full-text

Modular Tree Automata

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-642-31113-0_14 ◽

2012 ◽

pp. 263-299 ◽

Author(s):

Patrick Bahr

Keyword(s):

Download Full-text

The Geometry of Synthesis

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-642-31113-0_3 ◽

2012 ◽

pp. 23-24

Author(s):

Dan R. Ghica

Download Full-text

The Laws of Programming Unify Process Calculi

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-642-31113-0_2 ◽

2012 ◽

pp. 7-22 ◽

Author(s):

Tony Hoare ◽

Stephan van Staden

Keyword(s):

Process Calculi

Download Full-text

Constructing Applicative Functors

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-642-31113-0_15 ◽

2012 ◽

pp. 300-323 ◽

Author(s):

Ross Paterson

Download Full-text

Calculating Graph Algorithms for Dominance and Shortest Path

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-642-31113-0_8 ◽

2012 ◽

pp. 132-156 ◽

Author(s):

Ilya Sergey ◽

Jan Midtgaard ◽

Dave Clarke

Keyword(s):

Shortest Path ◽

Graph Algorithms

Download Full-text