Items related to Arrays, Functional Languages, and Parallel Systems...

Arrays, Functional Languages, and Parallel Systems (Coastlines of the World) - Hardcover

 
Image Not Available

Synopsis

During a meeting in Toronto last winter, Mike Jenkins, Bob Bernecky and I were discussing how the two existing theories on arrays influenced or were in­ fluenced by programming languages and systems. More's Army Theory was the basis for NIAL and APL2 and Mullin's A Mathematics of A rmys(MOA) , is being used as an algebra of arrays in functional and A-calculus based pro­ gramming languages. MOA was influenced by Iverson's initial and extended algebra, the foundations for APL and J respectively. We discussed that there is a lot of interest in the Computer Science and Engineering communities concerning formal methods for languages that could support massively parallel operations in scientific computing, a back­ to-roots interest for both Mike and myself. Languages for this domain can no longer be informally developed since it is necessary to map languages easily to many multiprocessor architectures. Software systems intended for parallel computation require a formal basis so that modifications can be done with relative ease while ensuring integrity in design. List based lan­ guages are profiting from theoretical foundations such as the Bird-Meertens formalism. Their theory has been successfully used to describe list based parallel algorithms across many classes of architectures.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date1991
  • ISBN 10 0792392132
  • ISBN 13 9780792392132
  • BindingHardcover
  • LanguageEnglish
  • Number of pages330
  • EditorRestifo Mullin Lenore M.

Buy Used

Condition: As New
Like New View this item

Shipping: US$ 33.08
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to basket

Other Popular Editions of the Same Title

Image Not Available

Featured Edition

ISBN 10:  1461367891 ISBN 13:  9781461367895
Publisher: Springer, 2012
Softcover

Search results for Arrays, Functional Languages, and Parallel Systems...

Stock Image

Published by Springer, 1991
ISBN 10: 0792392132 ISBN 13: 9780792392132
New Hardcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Feb2416190185730

Contact seller

Buy New

US$ 178.97
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Lenore M. Restifo Mullin
Published by Springer US Okt 1991, 1991
ISBN 10: 0792392132 ISBN 13: 9780792392132
New Hardcover
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -During a meeting in Toronto last winter, Mike Jenkins, Bob Bernecky and I were discussing how the two existing theories on arrays influenced or were in fluenced by programming languages and systems. More's Army Theory was the basis for NIAL and APL2 and Mullin's A Mathematics of A rmys(MOA) , is being used as an algebra of arrays in functional and A-calculus based pro gramming languages. MOA was influenced by Iverson's initial and extended algebra, the foundations for APL and J respectively. We discussed that there is a lot of interest in the Computer Science and Engineering communities concerning formal methods for languages that could support massively parallel operations in scientific computing, a back to-roots interest for both Mike and myself. Languages for this domain can no longer be informally developed since it is necessary to map languages easily to many multiprocessor architectures. Software systems intended for parallel computation require a formal basis so that modifications can be done with relative ease while ensuring integrity in design. List based lan guages are profiting from theoretical foundations such as the Bird-Meertens formalism. Their theory has been successfully used to describe list based parallel algorithms across many classes of architectures. 336 pp. Englisch. Seller Inventory # 9780792392132

Contact seller

Buy New

US$ 188.38
Convert currency
Shipping: US$ 26.21
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Restifo Mullin, Lenore M.|Jenkins, Michael|Hains, Gaetan|Bernecky, Robert|Guang R. Gao
Published by Springer US, 1991
ISBN 10: 0792392132 ISBN 13: 9780792392132
New Hardcover

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Gebunden. Condition: New. Seller Inventory # 5971335

Contact seller

Buy New

US$ 159.82
Convert currency
Shipping: US$ 55.83
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Lenore M. Restifo Mullin
Published by Springer US, Springer US, 1991
ISBN 10: 0792392132 ISBN 13: 9780792392132
New Hardcover

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - During a meeting in Toronto last winter, Mike Jenkins, Bob Bernecky and I were discussing how the two existing theories on arrays influenced or were in fluenced by programming languages and systems. More's Army Theory was the basis for NIAL and APL2 and Mullin's A Mathematics of A rmys(MOA) , is being used as an algebra of arrays in functional and A-calculus based pro gramming languages. MOA was influenced by Iverson's initial and extended algebra, the foundations for APL and J respectively. We discussed that there is a lot of interest in the Computer Science and Engineering communities concerning formal methods for languages that could support massively parallel operations in scientific computing, a back to-roots interest for both Mike and myself. Languages for this domain can no longer be informally developed since it is necessary to map languages easily to many multiprocessor architectures. Software systems intended for parallel computation require a formal basis so that modifications can be done with relative ease while ensuring integrity in design. List based lan guages are profiting from theoretical foundations such as the Bird-Meertens formalism. Their theory has been successfully used to describe list based parallel algorithms across many classes of architectures. Seller Inventory # 9780792392132

Contact seller

Buy New

US$ 193.07
Convert currency
Shipping: US$ 35.72
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1991
ISBN 10: 0792392132 ISBN 13: 9780792392132
Used Hardcover

Seller: Mispah books, Redhill, SURRE, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA77307923921326

Contact seller

Buy Used

US$ 258.97
Convert currency
Shipping: US$ 33.08
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket