Language Hierarchies and Interfaces - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540079941, 9783540379720

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Problems in many-language systems

Language Hierarchies and Interfaces - Lecture Notes in Computer Science ◽

10.1007/3-540-07994-7_60 ◽

1976 ◽

pp. 358-428 ◽

Cited By ~ 1

Author(s):

A. P. Ershov

Download Full-text

Proof of correctness of data representations

Language Hierarchies and Interfaces - Lecture Notes in Computer Science ◽

10.1007/3-540-07994-7_54 ◽

1976 ◽

pp. 183-193 ◽

Cited By ~ 3

Author(s):

C. A. R. Hoare

Keyword(s):

Data Representations ◽

Proof Of Correctness

Download Full-text

A philosophy of programming

Language Hierarchies and Interfaces - Lecture Notes in Computer Science ◽

10.1007/3-540-07994-7_55 ◽

1976 ◽

pp. 194-241 ◽

Cited By ~ 2

Author(s):

F. L. Bauer

Download Full-text

The structure of an operating system

Language Hierarchies and Interfaces - Lecture Notes in Computer Science ◽

10.1007/3-540-07994-7_56 ◽

1976 ◽

pp. 242-265 ◽

Cited By ~ 7

Author(s):

C. A. R. Hoare

Keyword(s):

Operating System

Download Full-text

On the teaching of programming, i.e. on the teaching of thinking

Language Hierarchies and Interfaces - Lecture Notes in Computer Science ◽

10.1007/3-540-07994-7_46 ◽

1976 ◽

pp. 1-10 ◽

Cited By ~ 8

Author(s):

E. W. Dijkstra

Download Full-text

Guarded commands, non-determinacy and a calculus for the derivation of programs

Language Hierarchies and Interfaces - Lecture Notes in Computer Science ◽

10.1007/3-540-07994-7_51 ◽

1976 ◽

pp. 111-124 ◽

Cited By ~ 6

Author(s):

Edsger W. Dijkstra

Download Full-text

Language aspects in operating systems

Language Hierarchies and Interfaces - Lecture Notes in Computer Science ◽

10.1007/3-540-07994-7_57 ◽

1976 ◽

pp. 266-292

Author(s):

G. Seegmüller

Keyword(s):

Operating Systems

Download Full-text

Parallel programming: An axiomatic approach

Language Hierarchies and Interfaces - Lecture Notes in Computer Science ◽

10.1007/3-540-07994-7_47 ◽

1976 ◽

pp. 11-42 ◽

Cited By ~ 8

Author(s):

C. A. R. Hoare

Keyword(s):

Parallel Programming ◽

Axiomatic Approach

Download Full-text

An exercise in proving parallel programs correct

Language Hierarchies and Interfaces - Lecture Notes in Computer Science ◽

10.1007/3-540-07994-7_49 ◽

1976 ◽

pp. 57-81 ◽

Cited By ~ 1

Author(s):

D. Gries

Keyword(s):

Parallel Programs

Download Full-text

The programming language concurrent pascal

Language Hierarchies and Interfaces - Lecture Notes in Computer Science ◽

10.1007/3-540-07994-7_50 ◽

1976 ◽

pp. 82-110 ◽

Cited By ~ 2

Author(s):

Per Brinch Hansen

Keyword(s):

Programming Language

Download Full-text

Language Hierarchies and Interfaces - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Problems in many-language systems

Proof of correctness of data representations

A philosophy of programming

The structure of an operating system

On the teaching of programming, i.e. on the teaching of thinking

Guarded commands, non-determinacy and a calculus for the derivation of programs

Language aspects in operating systems

Parallel programming: An axiomatic approach

An exercise in proving parallel programs correct

The programming language concurrent pascal

Language Hierarchies and Interfaces - Lecture Notes in Computer Science
Latest Publications