Items related to Prospects for Functional Programming in Software Engineering...
Prospects for Functional Programming in Software Engineering (Research Reports Esprit, 1) - Softcover
Synopsis
The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and from a practical point of view. The software development process is studied and a brief introduction to functional programming and languages is provided. Functional programming tends to promote locality which makes it possible to reason about a component of a program, independent of the rest of the program. The significance of the functional approach for formal program manipulation is illustrated by two important techniques, abstract interpretation and program transformation. Abstract interpretation is applied to the compilation of memory management and program transformation is illustrated with many applications such as program correctness proofs, program analysis and compilation. A correct compiler is described entirely in terms of program transformations. Regarding program construction, it is shown that input/output and state-oriented problems can be described in a purely functional framework.
"synopsis" may belong to another edition of this title.
Search results for Prospects for Functional Programming in Software Engineering...
Stock Image
Prospects for Functional Programming in Software Engineering
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1991
ISBN 10: 3540538526
ISBN 13: 9783540538523
Used
Softcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Bon. Ancien livre de bibliothèque. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-554-890
Quantity: 1 available
Stock Image
Prospects for Functional Programming in Software Engineering (Research Reports Esprit, 1)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020169796
Quantity: Over 20 available
Stock Image
Prospects for Functional Programming in Software Engineering (Research Reports Esprit, 1)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540538523
Quantity: 2 available
Stock Image
Prospects for Functional Programming in Software Engineering (Research Reports Esprit, 1)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540538523_new
Quantity: Over 20 available
Stock Image
Prospects for Functional Programming in Software Engineering
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540538523
Quantity: 10 available
Seller Image
Prospects for Functional Programming in Software Engineering
Published by
Springer Berlin Heidelberg Apr 1991, 1991
ISBN 10: 3540538526
ISBN 13: 9783540538523
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and a practical point of view. Formal techniques such as abstract interpretation and program transformation are presented and applied to practical problems. 224 pp. Englisch. Seller Inventory # 9783540538523
Quantity: 2 available
Seller Image
Prospects for Functional Programming in Software Engineering
Published by
Springer Berlin Heidelberg, 1991
ISBN 10: 3540538526
ISBN 13: 9783540538523
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextThe aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and a practical point of view. Formal techniques such as abstract interpretation and progra. Seller Inventory # 4892955
Quantity: Over 20 available
Stock Image
Prospects for Functional Programming in Software Engineering
Published by
Springer Berlin Heidelberg, 1991
ISBN 10: 3540538526
ISBN 13: 9783540538523
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 110508/202
Quantity: 1 available
Seller Image
Prospects for Functional Programming in Software Engineering
Published by
Springer Berlin Heidelberg Apr 1991, 1991
ISBN 10: 3540538526
ISBN 13: 9783540538523
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and a practical point of view. Formal techniques such as abstract interpretation and program transformation are presented and applied to practical problems.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch. Seller Inventory # 9783540538523
Quantity: 1 available
Seller Image
Prospects for Functional Programming in Software Engineering
Published by
Springer Berlin Heidelberg, 1991
ISBN 10: 3540538526
ISBN 13: 9783540538523
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and a practical point of view. Formal techniques such as abstract interpretation and program transformation are presented and applied to practical problems. Seller Inventory # 9783540538523
Quantity: 1 available