Algorithmic Languages and Calculi - Rilegato

Meerkens, Lambert

 
9780412820502: Algorithmic Languages and Calculi
Rilegato
ISBN 10: 0412820501 ISBN 13: 9780412820502
Casa editrice: Chapman & Hall, 1997

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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. Principled strength 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.

Product Description

Book by Bird Richard Meerkens Lambert

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Chapman & Hall
Data di pubblicazione
1997
Lingua
Inglese
ISBN 10 
0412820501
ISBN 13 
9780412820502
Rilegatura
Copertina rigida
Numero di pagine
443
Redattore
Bird Richard S.
Contatto del produttore
Elevation
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Germania

Altre edizioni note dello stesso titolo

9781504128773: Algorithimic Languages and Calculi

Edizione in evidenza

ISBN 10:  150412877X ISBN 13:  9781504128773
Casa editrice: Springer-Verlag New York Inc., 1998
Brossura