Mathematical Foundations of Software Development - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540151982, 9783540393023

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Decompilation of control structures by means of graph transformations

Mathematical Foundations of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15198-2_18 ◽

1985 ◽

pp. 284-297 ◽

Author(s):

Ulrike Lichtblau

Keyword(s):

Control Structures ◽

Graph Transformations

Download Full-text

Parameter preserving data type specifications

Mathematical Foundations of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15198-2_21 ◽

1985 ◽

pp. 323-341 ◽

Author(s):

Peter Padawitz

Keyword(s):

Download Full-text

A LISP compiler for FP language and its proof via algebraic semantics

Mathematical Foundations of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15198-2_26 ◽

1985 ◽

pp. 403-415 ◽

Author(s):

C. Choppy ◽

G. Guiho ◽

S. Kaplan

Keyword(s):

Algebraic Semantics

Download Full-text

On the parameterized algebraic specification of concurrent systems

Mathematical Foundations of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15198-2_22 ◽

1985 ◽

pp. 342-358 ◽

Author(s):

E. Astesiano ◽

G. F. Mascari ◽

G. Reggio ◽

M. Wirsing

Keyword(s):

Concurrent Systems ◽

Algebraic Specification

Download Full-text

Specification languages for distributed systems

Mathematical Foundations of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15198-2_3 ◽

1985 ◽

pp. 29-51 ◽

Author(s):

Pierpaolo Degano ◽

Ugo Montanari

Keyword(s):

Distributed Systems ◽

Specification Languages

Download Full-text

A complete modal proof system for a subset of SCCS

Mathematical Foundations of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15198-2_16 ◽

1985 ◽

pp. 253-266 ◽

Author(s):

Colin Stirling

Keyword(s):

Download Full-text

Specification and top down design of distributed systems

Mathematical Foundations of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15198-2_2 ◽

1985 ◽

pp. 4-28 ◽

Author(s):

Manfred Broy

Keyword(s):

Distributed Systems ◽

Download Full-text

The semantics of shared submodules specifications

Mathematical Foundations of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15198-2_23 ◽

1985 ◽

pp. 359-373 ◽

Author(s):

E. K. Blum ◽

F. Parisi-Presicce

Download Full-text

On observational equivalence and algebraic specification

Mathematical Foundations of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15198-2_20 ◽

1985 ◽

pp. 308-322 ◽

Author(s):

Donald Sannella ◽

Andrzej Tarlecki

Keyword(s):

Algebraic Specification ◽

Observational Equivalence

Download Full-text

Inductively defined functions

Mathematical Foundations of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-15198-2_6 ◽

1985 ◽

pp. 92-96 ◽

Author(s):

R. M. Burstall

Download Full-text