Poetry Madness
 
 

Recently Viewed clear list


Original Essays | April 11, 2014

Paul Laudiero: IMG Shit Rough Draft



I was sitting in a British and Irish romantic drama class my last semester in college when the idea for Shit Rough Drafts hit me. I was working... Continue »
  1. $9.07 Sale Trade Paper add to wish list

spacer
Qualifying orders ship free.
$266.75
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Software Engineering- General

Algorithimic Languages and Calculi (Ifip International Federation for Information Processing)

by

Algorithimic Languages and Calculi (Ifip International Federation for Information Processing) Cover

 

Synopses & Reviews

Publisher Comments:

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.

Synopsis:

Based on a conference on notations, methods and tool support for the calculation of programs from specification, this collection of papers aims to address topics which include the study of calculation of programs from specifications and the design of notations for such calculation.

Table of Contents

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 Details

ISBN:
9780412820502
Author:
Meerkens, Lambert
Publisher:
Springer
Author:
Bird, Richard
Location:
Boston, MA
Subject:
Programming - Software Development
Subject:
Software Development & Engineering - General
Subject:
Software Engineering/Programming and Operating Systems
Subject:
Software Engineering-General
Subject:
Computer Science
Subject:
Language, literature and biography
Subject:
Software engineering
Copyright:
Edition Number:
1
Edition Description:
Book
Series:
IFIP Advances in Information and Communication Technology
Publication Date:
19970731
Binding:
HARDCOVER
Language:
English
Illustrations:
Yes
Pages:
456
Dimensions:
235 x 155 mm 1790 gr

Related Subjects

Computers and Internet » Software Engineering » General
Reference » Science Reference » Technology
Science and Mathematics » Environmental Studies » Environment

Algorithimic Languages and Calculi (Ifip International Federation for Information Processing) New Hardcover
0 stars - 0 reviews
$266.75 In Stock
Product details 456 pages Springer - English 9780412820502 Reviews:
"Synopsis" by , Based on a conference on notations, methods and tool support for the calculation of programs from specification, this collection of papers aims to address topics which include the study of calculation of programs from specifications and the design of notations for such calculation.
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.