![Für diesen Artikel ist leider kein Bild verfügbar.](/img/platzhalter480px.png)
Algorithimic Languages and Calculi
Springer-Verlag New York Inc.
978-1-5041-2877-3 (ISBN)
- Titel wird leider nicht erscheinen
- Artikel merken
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.
Erscheinungsdatum | 11.01.2019 |
---|---|
Reihe/Serie | IFIP Advances in Information and Communication Technology |
Zusatzinfo | VIII, 443 p. |
Verlagsort | New York |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
ISBN-10 | 1-5041-2877-X / 150412877X |
ISBN-13 | 978-1-5041-2877-3 / 9781504128773 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich