Theoretical Foundations of Programming Methodology
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Netherlands

9789027714626, 9789400978935

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Fixed Point Approach to Applicative Multiprogramming

Theoretical Foundations of Programming Methodology ◽

10.1007/978-94-009-7893-5_16 ◽

1982 ◽

pp. 565-623 ◽

Author(s):

Manfred Broy

Keyword(s):

Fixed Point ◽

Fixed Point Approach

Download Full-text

Smoothsort, an Alternative for Sorting in Situ

Theoretical Foundations of Programming Methodology ◽

10.1007/978-94-009-7893-5_1 ◽

1982 ◽

pp. 3-17

Author(s):

Edsger W. Dijkstra

Download Full-text

Lectures on a Mathematical Theory of Computation

Theoretical Foundations of Programming Methodology ◽

10.1007/978-94-009-7893-5_9 ◽

1982 ◽

pp. 145-292 ◽

Author(s):

Dana S. Scott

Keyword(s):

Mathematical Theory ◽

Theory Of Computation

Download Full-text

Specification and Derivation of Programs

Theoretical Foundations of Programming Methodology ◽

10.1007/978-94-009-7893-5_7 ◽

1982 ◽

pp. 103-133

Author(s):

Sharon Sickel

Download Full-text

A Tutorial on the Split Binary Semaphore

Theoretical Foundations of Programming Methodology ◽

10.1007/978-94-009-7893-5_15 ◽

1982 ◽

pp. 555-564

Author(s):

Edsger W. Dijkstra

Download Full-text

Behaviors of Processes and Synchronized Systems of Processes

Theoretical Foundations of Programming Methodology ◽

10.1007/978-94-009-7893-5_14 ◽

1982 ◽

pp. 473-551 ◽

Author(s):

Maurice Nivat

Download Full-text

Repaying Our Debts

Theoretical Foundations of Programming Methodology ◽

10.1007/978-94-009-7893-5_8 ◽

1982 ◽

pp. 135-141

Author(s):

Edsger W. Dijkstra

Download Full-text

An Analysis of Semantic Models for Algebraic Specifications

Theoretical Foundations of Programming Methodology ◽

10.1007/978-94-009-7893-5_12 ◽

1982 ◽

pp. 351-413 ◽

Author(s):

Martin Wirsing ◽

Manfred Broy

Keyword(s):

Algebraic Specifications ◽

Semantic Models

Download Full-text

Algebras, Theories and Freeness: An Introduction for Computer Scientists

Theoretical Foundations of Programming Methodology ◽

10.1007/978-94-009-7893-5_11 ◽

1982 ◽

pp. 329-349 ◽

Author(s):

R. M. Burstall ◽

J. A. Goguen

Keyword(s):

Computer Scientists

Download Full-text

Verification of Sequential Programs: Temporal Axiomatization

Theoretical Foundations of Programming Methodology ◽

10.1007/978-94-009-7893-5_6 ◽

1982 ◽

pp. 53-102 ◽

Author(s):

Zohar Manna

Keyword(s):

Sequential Programs

Download Full-text