Algorithimic Languages and Calculi

Inbunden, Engelska, 1997

Del i serien IFIP Advances in Information and Communication Technology

2 271 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

The general theme of this working conference is notations, methods, and tool support for the calculation of programs from specifications. Its purpose is to present the results of ongoing research, descriptions of existing and prosposed systems and applications to the production of practical software. This work, a collection of papers from the conference, aims to address the following topics: the study of the calculation of programs from specifications, the design of notations for such calculation, the formulation of algorithm theories using such notations and the investigation of software support for program derivation. This book should be of interest to computer science students, software researchers and programmers requiring correct codes.

Produktinformation

Utgivningsdatum:1997-07-31
Mått:155 x 235 x 25 mm
Vikt:812 g
Format:Inbunden
Språk:Engelska
Serie:IFIP Advances in Information and Communication Technology
Antal sidor:443
Upplaga:1997
Förlag:Chapman and Hall
ISBN:9780412820502

Utforska kategorier

Programvaruutveckling inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

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.

Mer från samma författare

Practical Guide to Pruning, Training and Topiary

Richard Bird

Inbunden, 2018

172 kr

Pearls of Functional Algorithm Design

Richard Bird

Inbunden, 2010

873 kr

Kitchen Gardens

Richard Bird

Häftad, 2018

43 kr

Thinking Functionally with Haskell

Richard Bird

Häftad, 2014

820 kr

Introduction Functional Programming

Richard Bird

Häftad, 1998

1 049 kr

Algorithimic Languages and Calculi

Lambert Meerkens, Richard Bird

E-bok

2016

2 948 kr

Human Resource Management in Education

Justine Mercer, Bernard Barker, Richard Bird

Häftad, 2010

592 kr

Human Resource Management in Education

Justine Mercer, Bernard Barker, Richard Bird

Inbunden, 2010

2 404 kr

The VAT in Developing and Transitional Countries

Richard Bird, Pierre-Pascal Gendron

Inbunden, 2007

1 033 kr

Fruit & Vegetable Gardener

Richard Bird

Inbunden, 2011

172 kr

Mer från samma serie

Del 246

Advances in Production Management Systems

Jan Olhager, Fredrik Persson

Häftad, 2010

1 138 kr

Information System Concepts

Eckhard D. Falkenberg, Wolfgang Hesse, Antoni Olive

Inbunden, 1995

2 271 kr

Data Management for the AI Era: Ensuring Reliability and Accountability

Paolo Ceravolo, Sylvio Barbon Junior, Faiza Bukhsh, Maurice Van Keulen, Samira Maghool, Robert Wrembel, Paolo Ceravolo, Sylvio Barbon Junior, Faiza Bukhsh, Maurice Van Keulen, Samira Maghool, Robert Wrembel

Inbunden, 2026

1 520 kr

Advances in Production Management Systems

Jan Olhager, Fredrik Persson

Inbunden, 2007

1 139 kr

Trust Management II

Yücel Karabulut, John C. Mitchell, Peter Herrmann, Christian Damsgaard Jensen

Inbunden, 2008

1 139 kr

Wireless Sensor and Actor Networks II

Ali Miri

Inbunden, 2008

1 106 kr

Advances in Ad Hoc Networking

Pedro Cuenca, Carlos Guerrero, Ramon Puigjaner, Bartomeu Serra

Inbunden, 2008

1 139 kr

Innovation in Manufacturing Networks

Américo Azevedo

Inbunden, 2008

1 139 kr

Del 268

Biologically-Inspired Collaborative Computing

Mike Hinchey, Anastasia Pagnoni, Franz J. Rammig, Hartmut Schmeck

Inbunden, 2008

1 139 kr

History of Computing and Education 3 (HCE3)

John Impagliazzo

Inbunden, 2008

541 kr

Du kanske också är intresserad av

Nyhet

L’amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Algorithimic Languages and Calculi

Lambert Meerkens, Richard Bird

E-bok

2016

2 948 kr

Signerad!

SIGNERAD - Om julens wälgång

Klara Peters Bastin

Inbunden, 2026

249 kr

Ruth Kvarnström-Jones - SIGNERAD - Systrarna på Sophiahemmet, Inbunden

Signerad!

Del 3

SIGNERAD - Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

269 kr

-21%

Ha en nice dag

Mikael Yvesand

Inbunden, 2026

189 kr239 kr

-30%

Se dig inte om

Harlan Coben

Pocket, 2026

69 kr99 kr

Nyhet

Svanesång : min syster Diana

Charles Spencer

Inbunden, 2026

269 kr

-19%

Stortaxi

Flora Wiström

Inbunden, 2026

(3)

209 kr259 kr

-30%

Del 1

Fel sida älven

Karin Janson

Pocket, 2026

69 kr99 kr

Algorithimic Languages and Calculi

AvRichard Bird,Lambert Meerkens

Inbunden, Engelska, 1997

Del i serien IFIP Advances in Information and Communication Technology

2 271 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:1997-07-31
Mått:155 x 235 x 25 mm
Vikt:812 g
Format:Inbunden
Språk:Engelska
Serie:IFIP Advances in Information and Communication Technology
Antal sidor:443
Upplaga:1997
Förlag:Chapman and Hall
ISBN:9780412820502

Utforska kategorier

Programvaruutveckling inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

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.