Prospects For Functional Programming In Software Engineering(1st Edition)
Authors:
Jean Pierre Banatre ,Simon B Jones ,Daniel Le Metayer ,P Fradet ,A Sinclair
In Stock: 1 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3540538526, 978-3540538523
Book publisher: Springer
Book Price $0 : 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.
Popular Among Students
Mastering Sun And Wind Energy For A Greener Future Transcending Traditional Power With A Diy Journey Into Renewable Energy - 1st Edition
Jakubo D Rollinsa
ISBN: B0CCCSC2BR, 979-8852883018
$0 $13.99
Open Source A Capitalistic Value Engine - 1st Edition
Christian Paterson
ISBN: 132677865X, 978-1326778651
$0 $17.50
Le Concept De Lappariement Immobilier Innovant Simplifie Le Courtage Immobilier Appariement Immobilier Le Courtage Immobilier Devient Simple Immobilier Innovant - 1st Edition
Matthias Fiedler
ISBN: 3947184964, 978-3947184965
$0 $13.99
Fool Proof Dictation A No Nonsense System For Effective And Rewarding Dictation - 1st Edition
Christopher Downing
ISBN: 1973191598, 978-1973191599
$0 $7.50
Sams Teach Yourself Cobol In 24 Hours - 1st Edition
Thane Hubbel
ISBN: 0672314533, 978-0672314537
$0 $31.92
Of Bookmen And Printers A Gathering Of Memories - 1st Edition
Ward Richie
ISBN: 0870932756, 978-0870932755
$0 $34.15
Recommended For You
The Copper Crown The Second Book Of The Keltiad - 1st Edition
Patricia Kennealy
ISBN: 0586068317, 978-0586068311
$0 $45.83
Aspect Oriented Requirements Engineering - 1st Edition
Ana Moreira
ISBN: 3642386393, 978-3642386398
$76.3 $109.00
Foundations Of Software Testing Istqb Certification - 1st Edition
Rex Black
ISBN: 1408044056, 978-1408044056
$0 $16.61
Structural Complexity I - 1st Edition
J L Balcazar Josep Diaz
ISBN: 354058384X, 978-3540583844
$0 $12.99
Just War Theory And Artificial Intelligence - 1st Edition
Maria Power
ISBN: 1032576227, 978-1032576220
$70.7 $101.00