Mathematical Studies of Information Processing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540095415, 9783540350101

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On a theory of decision problems in programming languages

Mathematical Studies of Information Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-09541-1_38 ◽

1979 ◽

pp. 538-558 ◽

Author(s):

Hans Langmaack

Keyword(s):

Programming Languages ◽

Decision Problems

Download Full-text

Specified programming

Mathematical Studies of Information Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-09541-1_29 ◽

1979 ◽

pp. 228-251 ◽

Author(s):

Andrzej Blikle

Download Full-text

A file organization suitable for relational database operations

Mathematical Studies of Information Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-09541-1_28 ◽

1979 ◽

pp. 193-227 ◽

Author(s):

Katsumi Tanaka ◽

Chung Viet ◽

Yahiko Kambayashi ◽

Shuzo Yajima

Keyword(s):

Relational Database ◽

File Organization ◽

Database Operations

Download Full-text

Equivalent key problem of the relational database model

Mathematical Studies of Information Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-09541-1_27 ◽

1979 ◽

pp. 165-192 ◽

Author(s):

Yahiko Kambayashi

Keyword(s):

Relational Database ◽

Download Full-text

Verifying parallel programs with resource allocation

Mathematical Studies of Information Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-09541-1_26 ◽

1979 ◽

pp. 151-164

Author(s):

Susan Owicki

Keyword(s):

Resource Allocation ◽

Parallel Programs

Download Full-text

The vienna development method (VDM)

Mathematical Studies of Information Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-09541-1_33 ◽

1979 ◽

pp. 326-359 ◽

Author(s):

Dines Bjørner

Keyword(s):

Development Method

Download Full-text

A formal specification technique for abstract data types with parallelism

Mathematical Studies of Information Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-09541-1_25 ◽

1979 ◽

pp. 127-150

Author(s):

Akinori Yonezawa

Keyword(s):

Formal Specification ◽

Abstract Data Types ◽

Download Full-text

Recursive programs as functions in a first order theory

Mathematical Studies of Information Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-09541-1_40 ◽

1979 ◽

pp. 576-629

Author(s):

Robert Cartwright ◽

John McCarthy

Keyword(s):

Order Theory ◽

First Order ◽

First Order Theory ◽

Recursive Programs

Download Full-text

The specification and proof of correctness of interactive programs

Mathematical Studies of Information Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-09541-1_37 ◽

1979 ◽

pp. 474-537 ◽

Author(s):

Leslie Lamport

Keyword(s):

Proof Of Correctness

Download Full-text

Program synthesis through Gödel's interpretation

Mathematical Studies of Information Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-09541-1_32 ◽

1979 ◽

pp. 302-325 ◽

Author(s):

Shigeki Goto

Keyword(s):

Program Synthesis

Download Full-text