Algorithimic Languages and Calculi de Richard Bird

Algorithimic Languages and Calculi: IFIP Advances in Information and Communication Technology

Richard Bird

Lambert Meerkens

The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.

Citește tot Restrânge

Din seria IFIP Advances in Information and Communication Technology

20%

Preț: 170^.51 lei
20%

Preț: 615^.74 lei
20%

Preț: 340^.32 lei
Preț: 397^.38 lei
20%

Preț: 336^.02 lei
20%

Preț: 340^.98 lei
20%

Preț: 503^.41 lei
17%

Preț: 523^.40 lei
20%

Preț: 502^.06 lei
17%

Preț: 488^.96 lei
20%

Preț: 501^.04 lei
20%

Preț: 403^.20 lei
15%

Preț: 708^.83 lei
20%

Preț: 1162^.12 lei
20%

Preț: 1288^.25 lei
18%

Preț: 1227^.21 lei
20%

Preț: 1282^.00 lei
18%

Preț: 1224^.18 lei
18%

Preț: 953^.03 lei
18%

Preț: 953^.20 lei
18%

Preț: 944^.99 lei
18%

Preț: 948^.29 lei
15%

Preț: 645^.47 lei
18%

Preț: 960^.13 lei
20%

Preț: 1288^.11 lei
20%

Preț: 998^.70 lei
18%

Preț: 949^.23 lei
20%

Preț: 1283^.81 lei
20%

Preț: 995^.89 lei
15%

Preț: 645^.79 lei
20%

Preț: 1276^.74 lei
20%

Preț: 1922^.99 lei
20%

Preț: 1285^.97 lei
18%

Preț: 956^.69 lei
18%

Preț: 946^.72 lei
18%

Preț: 1224^.36 lei
20%

Preț: 1277^.89 lei
18%

Preț: 953^.03 lei
18%

Preț: 947^.98 lei
20%

Preț: 1292^.54 lei
18%

Preț: 956^.18 lei
20%

Preț: 645^.79 lei
18%

Preț: 1235^.25 lei
20%

Preț: 1284^.47 lei
18%

Preț: 1231^.01 lei
20%

Preț: 993^.09 lei
20%

Preț: 1288^.94 lei
20%

Preț: 987^.17 lei
18%

Preț: 1833^.33 lei

Cuprins

Preface. Programme committee. Dynamic programming: a different perspective - S. Curtis. Calculating with pointer structures - B. Moller. Deriving a systolic regular language recognizer - M. Vaccarri and R. Backhouse. Discussion. A calculation fusion system HYLO - Y. Onoue, Z. Hu, H. Iwasaki and M. Takeichi. Refinement of data parallel programs in PEI - E. Violard, S. Genaud and G-R. Perrin. Solving large systems of differential equations in parallel using covers and skeletons - M. Sudholt, C. Piepenbrock, K. Obermayer and P. Pepper. Discussion. Refinement of parameterized algebraic specifications - Y.V. Srinivas. Towards a compositional interpretation of object diagrams - J.C. Bicarregui, K.C. Lano and T.S.E. Maibaum. A powerful transformation rule, its applications and variants - K. Achatz and H. Partsch. Program derivation via list introduction - A. Pettorossi and M. Proietti. Towards a calculus for abstract syntax trees - D.S. Wile. Discussion. Principledstrength reduction - Y.A. Liu. The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset - D. Goyal and R. Paige. Predicative semantics of loops - T.S. Norvell. Discussion. Index of contributors. Keyword index.