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

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540645917, 9783540693451

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Slack elasticity in concurrent computing

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/bfb0054295 ◽

1998 ◽

pp. 272-285 ◽

Author(s):

Rajit Manohar ◽

Alain J. Martin

Keyword(s):

Concurrent Computing

Download Full-text

Beyond fun: Order and membership in polytypic imperative programming

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/bfb0054296 ◽

1998 ◽

pp. 286-314 ◽

Author(s):

David A. Naumann

Download Full-text

Convergence of program transformers in the metric space of trees

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/bfb0054297 ◽

1998 ◽

pp. 315-337 ◽

Author(s):

Morten Heine B. Sørensen

Keyword(s):

Download Full-text

Relation-algebraic derivation of spanning tree algorithms

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/bfb0054283 ◽

1998 ◽

pp. 23-43 ◽

Author(s):

Rudolf Berghammer ◽

Burghard von Karger ◽

Andreas Wolf

Keyword(s):

Spanning Tree ◽

Tree Algorithms

Download Full-text

An application of program derivation techniques to 18th-century mathematics

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/bfb0054284 ◽

1998 ◽

pp. 44-51

Author(s):

A. Bijlsma

Keyword(s):

18Th Century ◽

Program Derivation

Download Full-text

A set-theoretic model for real-time specification and reasoning

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/bfb0054291 ◽

1998 ◽

pp. 188-206 ◽

Author(s):

C. J. Fidge ◽

I. J. Hayes ◽

A. P. Martin ◽

A. K. Wabenhorst

Keyword(s):

Real Time ◽

Theoretic Model

Download Full-text

Formal derivation of a loadable asynchronous counter

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/bfb0054293 ◽

1998 ◽

pp. 234-253 ◽

Author(s):

Mark B. Josephs

Keyword(s):

Formal Derivation

Download Full-text

Layered graph traversals and Hamiltonian path problems — An algebraic approach

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/bfb0054287 ◽

1998 ◽

pp. 96-121 ◽

Author(s):

Thomas Brunn ◽

Bernhard Möller ◽

Martin Russling

Keyword(s):

Hamiltonian Path ◽

Algebraic Approach ◽

Hamiltonian Path Problems ◽

Download Full-text

Generalising monads

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/bfb0054281 ◽

1998 ◽

pp. 6-6 ◽

Author(s):

John Hughes

Download Full-text

A semantic approach to secure information flow

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/bfb0054294 ◽

1998 ◽

pp. 254-271 ◽

Author(s):

K. Rustan ◽

M. Leino ◽

Rajeev Joshi

Keyword(s):

Information Flow ◽

Semantic Approach ◽

Secure Information

Download Full-text