Lecture Notes in Computer Science - Program Construction
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

354009251x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A study on transformational semantics

Lecture Notes in Computer Science - Program Construction ◽

10.1007/bfb0014674 ◽

2005 ◽

pp. 322-405 ◽

Cited By ~ 14

Author(s):

P. Pepper

Download Full-text

Languages as tools — Interactive program construction

Lecture Notes in Computer Science - Program Construction ◽

10.1007/bfb0014679 ◽

2005 ◽

pp. 493-493

Author(s):

J. J. Horning

Keyword(s):

Interactive Program ◽

Program Construction

Download Full-text

Semantics of nondeterministic and noncontinuous constructs

Lecture Notes in Computer Science - Program Construction ◽

10.1007/bfb0014683 ◽

2005 ◽

pp. 553-592 ◽

Cited By ~ 25

Author(s):

M. Broy ◽

R. Gnatz ◽

M. Wirsing

Download Full-text

Programming methodology and language implications

Lecture Notes in Computer Science - Program Construction ◽

10.1007/bfb0014681 ◽

2005 ◽

pp. 531-542 ◽

Cited By ~ 1

Author(s):

Michael Griffiths

Keyword(s):

Programming Methodology

Download Full-text

The multiple assignment statement

Lecture Notes in Computer Science - Program Construction ◽

10.1007/bfb0014663 ◽

2005 ◽

pp. 100-112 ◽

Cited By ~ 1

Author(s):

David Gries

Keyword(s):

Assignment Statement ◽

Multiple Assignment

Download Full-text

On the interplay between mathematics and programming

Lecture Notes in Computer Science - Program Construction ◽

10.1007/bfb0014653 ◽

2005 ◽

pp. 35-46

Author(s):

E. W. Dijkstra

Download Full-text

A derivation-oriented proof of the Schorr-Waite marking algorithm

Lecture Notes in Computer Science - Program Construction ◽

10.1007/bfb0014678 ◽

2005 ◽

pp. 472-492 ◽

Cited By ~ 2

Author(s):

Susan L. Gerhart

Download Full-text

Specification and verification of a network mail system

Lecture Notes in Computer Science - Program Construction ◽

10.1007/bfb0014669 ◽

2005 ◽

pp. 198-234 ◽

Cited By ~ 7

Author(s):

Susan S. Owicki

Keyword(s):

Specification And Verification ◽

Mail System

Download Full-text

Detailization and lazy evaluation, infinite objects and pointer representation

Lecture Notes in Computer Science - Program Construction ◽

10.1007/bfb0014675 ◽

2005 ◽

pp. 406-420 ◽

Cited By ~ 2

Author(s):

F. L. Bauer

Keyword(s):

Lazy Evaluation

Download Full-text

A more formal treatment of a less simple example

Lecture Notes in Computer Science - Program Construction ◽

10.1007/bfb0014650 ◽

2005 ◽

pp. 1-20

Author(s):

Edsger W. Dijkstra

Keyword(s):

Formal Treatment

Download Full-text

Lecture Notes in Computer Science - Program ConstructionLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

A study on transformational semantics

Languages as tools — Interactive program construction

Semantics of nondeterministic and noncontinuous constructs

Programming methodology and language implications

The multiple assignment statement

On the interplay between mathematics and programming

A derivation-oriented proof of the Schorr-Waite marking algorithm

Specification and verification of a network mail system

Detailization and lazy evaluation, infinite objects and pointer representation

A more formal treatment of a less simple example

Lecture Notes in Computer Science - Program Construction
Latest Publications