Icfp09

Download Icfp09 full books in PDF, epub, and Kindle. Read online Icfp09 ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!

Learning F# Functional Data Structures and Algorithms

Author : Adnan Masood
Publisher : Packt Publishing Ltd
ISBN 13 : 1783553855
Total Pages : 206 pages
Book Rating : 4.7/5 (835 download)

DOWNLOAD NOW!

Book Synopsis Learning F# Functional Data Structures and Algorithms by : Adnan Masood

Download or read book Learning F# Functional Data Structures and Algorithms written by Adnan Masood and published by Packt Publishing Ltd. This book was released on 2015-06-29 with total page 206 pages. Available in PDF, EPUB and Kindle. Book excerpt: F# is a multi-paradigm programming language that encompasses object-oriented, imperative, and functional programming language properties. The F# functional programming language enables developers to write simple code to solve complex problems. Starting with the fundamental concepts of F# and functional programming, this book will walk you through basic problems, helping you to write functional and maintainable code. Using easy-to-understand examples, you will learn how to design data structures and algorithms in F# and apply these concepts in real-life projects. The book will cover built-in data structures and take you through enumerations and sequences. You will gain knowledge about stacks, graph-related algorithms, and implementations of binary trees. Next, you will understand the custom functional implementation of a queue, review sets and maps, and explore the implementation of a vector. Finally, you will find resources and references that will give you a comprehensive overview of F# ecosystem, helping you to go beyond the fundamentals.

Encyclopedia of Parallel Computing

Author : David Padua
Publisher : Springer Science & Business Media
ISBN 13 : 038709766X
Total Pages : 2211 pages
Book Rating : 4.3/5 (87 download)

DOWNLOAD NOW!

Book Synopsis Encyclopedia of Parallel Computing by : David Padua

Download or read book Encyclopedia of Parallel Computing written by David Padua and published by Springer Science & Business Media. This book was released on 2014-07-08 with total page 2211 pages. Available in PDF, EPUB and Kindle. Book excerpt: Containing over 300 entries in an A-Z format, the Encyclopedia of Parallel Computing provides easy, intuitive access to relevant information for professionals and researchers seeking access to any aspect within the broad field of parallel computing. Topics for this comprehensive reference were selected, written, and peer-reviewed by an international pool of distinguished researchers in the field. The Encyclopedia is broad in scope, covering machine organization, programming languages, algorithms, and applications. Within each area, concepts, designs, and specific implementations are presented. The highly-structured essays in this work comprise synonyms, a definition and discussion of the topic, bibliographies, and links to related literature. Extensive cross-references to other entries within the Encyclopedia support efficient, user-friendly searchers for immediate access to useful information. Key concepts presented in the Encyclopedia of Parallel Computing include; laws and metrics; specific numerical and non-numerical algorithms; asynchronous algorithms; libraries of subroutines; benchmark suites; applications; sequential consistency and cache coherency; machine classes such as clusters, shared-memory multiprocessors, special-purpose machines and dataflow machines; specific machines such as Cray supercomputers, IBM’s cell processor and Intel’s multicore machines; race detection and auto parallelization; parallel programming languages, synchronization primitives, collective operations, message passing libraries, checkpointing, and operating systems. Topics covered: Speedup, Efficiency, Isoefficiency, Redundancy, Amdahls law, Computer Architecture Concepts, Parallel Machine Designs, Benmarks, Parallel Programming concepts & design, Algorithms, Parallel applications. This authoritative reference will be published in two formats: print and online. The online edition features hyperlinks to cross-references and to additional significant research. Related Subjects: supercomputing, high-performance computing, distributed computing

Programming Languages

Author : Norman Ramsey
Publisher : Cambridge University Press
ISBN 13 : 1316852989
Total Pages : 800 pages
Book Rating : 4.3/5 (168 download)

DOWNLOAD NOW!

Book Synopsis Programming Languages by : Norman Ramsey

Download or read book Programming Languages written by Norman Ramsey and published by Cambridge University Press. This book was released on 2022-10-27 with total page 800 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computer scientists often need to learn new programming languages quickly. The best way to prepare for this is to understand the foundational principles that underlie even the most complicated industrial languages. This text for an undergraduate programming languages course distills great languages and their design principles down to easy-to-learn 'bridge' languages implemented by interpreters whose key parts are explained in the text. The book goes deep into the roots of both functional and object-oriented programming, and it shows how types and modules, including generics/polymorphism, contribute to effective programming. The book is not just about programming languages; it is also about programming. Through concepts, examples, and more than 300 practice exercises that exploit the interpreter, students learn not only what programming-language features are but also how to do things with them. Substantial implementation projects include Milner's type inference, both copying and mark-and-sweep garbage collection, and arithmetic on arbitrary-precision integers.

Programming Languages and Systems

Author : Stephanie Weirich
Publisher : Springer Nature
ISBN 13 : 303157267X
Total Pages : 462 pages
Book Rating : 4.0/5 (315 download)

DOWNLOAD NOW!

Book Synopsis Programming Languages and Systems by : Stephanie Weirich

Download or read book Programming Languages and Systems written by Stephanie Weirich and published by Springer Nature. This book was released on with total page 462 pages. Available in PDF, EPUB and Kindle. Book excerpt:

The Cambridge Handbook of Computing Education Research

Author : Sally A. Fincher
Publisher : Cambridge University Press
ISBN 13 : 1108755704
Total Pages : 1180 pages
Book Rating : 4.1/5 (87 download)

DOWNLOAD NOW!

Book Synopsis The Cambridge Handbook of Computing Education Research by : Sally A. Fincher

Download or read book The Cambridge Handbook of Computing Education Research written by Sally A. Fincher and published by Cambridge University Press. This book was released on 2019-02-21 with total page 1180 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Handbook describes the extent and shape of computing education research today. Over fifty leading researchers from academia and industry (including Google and Microsoft) have contributed chapters that together define and expand the evidence base. The foundational chapters set the field in context, articulate expertise from key disciplines, and form a practical guide for new researchers. They address what can be learned empirically, methodologically and theoretically from each area. The topic chapters explore issues that are of current interest, why they matter, and what is already known. They include discussion of motivational context, implications for practice, and open questions which might suggest future research. The authors provide an authoritative introduction to the field which is essential reading for policy makers, as well as both new and established researchers.

Transactional Memory

Author : Tim Harris
Publisher : Morgan & Claypool Publishers
ISBN 13 : 1608452352
Total Pages : 247 pages
Book Rating : 4.6/5 (84 download)

DOWNLOAD NOW!

Book Synopsis Transactional Memory by : Tim Harris

Download or read book Transactional Memory written by Tim Harris and published by Morgan & Claypool Publishers. This book was released on 2010 with total page 247 pages. Available in PDF, EPUB and Kindle. Book excerpt: The advent of multicore processors has renewed interest in the idea of incorporating transactions into the programming model used to write parallel programs. This approach, known as transactional memory, offers an alternative, and hopefully better, way to coordinate concurrent threads. The ACI (atomicity, consistency, isolation) properties of transactions provide a foundation to ensure that con-current reads and writes of shared data do not produce inconsistent or incorrect results. At a higher level, a computation wrapped in a transaction executes atomically---either it completes successfully and commits its result in its entirety or it aborts. In addition, isolation ensures the transaction produces the same result as if no other transactions were executing concurrently. Although transactions are not a parallel programming panacea, they shift much of the burden of synchronizing and co-ordinating parallel computations from a programmer to a compiler, to a language runtime system, or to hardware. The challenge for the system implementers is to build an efficient transactional memory infrastructure. This book presents an overview of the state of the art in the design and implementation of transactional memory systems, as of early spring 2010.

Formal Approaches to Semantics and Pragmatics

Author : Elin McCready
Publisher : Springer
ISBN 13 : 9401788138
Total Pages : 378 pages
Book Rating : 4.4/5 (17 download)

DOWNLOAD NOW!

Book Synopsis Formal Approaches to Semantics and Pragmatics by : Elin McCready

Download or read book Formal Approaches to Semantics and Pragmatics written by Elin McCready and published by Springer. This book was released on 2014-08-26 with total page 378 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume presents an exploration of a wide variety of new formal methods from computer science, biology and economics that have been applied to problems in semantics and pragmatics in recent years. Many of the contributions included focus on data from East Asian languages, particularly Japanese and Korean. The collection reflects on a range of new empirical issues that have arisen, including issues related to preference, evidentiality and attention. Separated into several sections, the book presents discussions on: information structure, speech acts and decisions, philosophical themes in semantics and new formal approaches to semantic and pragmatic theory. Its overarching theme is the relation between different kinds of content, from a variety of perspectives. The discussions presented are both theoretically innovative and empirically motivated.

Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models

Author : Martin Sjölund
Publisher : Linköping University Electronic Press
ISBN 13 : 9175190710
Total Pages : 243 pages
Book Rating : 4.1/5 (751 download)

DOWNLOAD NOW!

Book Synopsis Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models by : Martin Sjölund

Download or read book Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models written by Martin Sjölund and published by Linköping University Electronic Press. This book was released on 2015-05-11 with total page 243 pages. Available in PDF, EPUB and Kindle. Book excerpt: Equation-based object-oriented (EOO) modeling languages such as Modelica provide a convenient, declarative method for describing models of cyber-physical systems. Because of the ease of use of EOO languages, large and complex models can be built with limited effort. However, current state-of-the-art tools do not provide the user with enough information when errors appear or simulation results are wrong. It is of paramount importance that such tools should give the user enough information to correct errors or understand where the problems that lead to wrong simulation results are located. However, understanding the model translation process of an EOO compiler is a daunting task that not only requires knowledge of the numerical algorithms that the tool executes during simulation, but also the complex symbolic transformations being performed. As part of this work, methods have been developed and explored where the EOO tool, an enhanced Modelica compiler, records the transformations during the translation process in order to provide better diagnostics, explanations, and analysis. This information is used to generate better error-messages during translation. It is also used to provide better debugging for a simulation that produces unexpected results or where numerical methods fail. Meeting deadlines is particularly important for real-time applications. It is usually essential to identify possible bottlenecks and either simplify the model or give hints to the compiler that enable it to generate faster code. When profiling and measuring execution times of parts of the model the recorded information can also be used to find out why a particular system model executes slowly. Combined with debugging information, it is possible to find out why this system of equations is slow to solve, which helps understanding what can be done to simplify the model. A tool with a graphical user interface has been developed to make debugging and performance profiling easier. Both debugging and profiling have been combined into a single view so that performance metrics are mapped to equations, which are mapped to debugging information. The algorithmic part of Modelica was extended with meta-modeling constructs (MetaModelica) for language modeling. In this context a quite general approach to debugging and compilation from (extended) Modelica to C code was developed. That makes it possible to use the same executable format for simulation executables as for compiler bootstrapping when the compiler written in MetaModelica compiles itself. Finally, a method and tool prototype suitable for speeding up simulations has been developed. It works by partitioning the model at appropriate places and compiling a simulation executable for a suitable parallel platform.

The Cambridge Handbook of Computing Education Research

Author : Sally A. Fincher
Publisher :
ISBN 13 : 1108756212
Total Pages : 924 pages
Book Rating : 4.1/5 (87 download)

DOWNLOAD NOW!

Book Synopsis The Cambridge Handbook of Computing Education Research by : Sally A. Fincher

Download or read book The Cambridge Handbook of Computing Education Research written by Sally A. Fincher and published by . This book was released on 2019-02-13 with total page 924 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is an authoritative introduction to Computing Education research written by over 50 leading researchers from academia and the industry.

Generic Tools, Specific Languages

Author : Markus Voelter
Publisher : Createspace Independent Pub
ISBN 13 : 9781500359430
Total Pages : 292 pages
Book Rating : 4.3/5 (594 download)

DOWNLOAD NOW!

Book Synopsis Generic Tools, Specific Languages by : Markus Voelter

Download or read book Generic Tools, Specific Languages written by Markus Voelter and published by Createspace Independent Pub. This book was released on 2014-06-18 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt: Generic Tools, Specific Languages (GTSL) is an approach for developing tools and applications in a way that supports easier and more meaningful adaptation to specific domains. To achieve this goal, GTSL generalizes programming language IDEs to domains traditionally not addressed by languages and IDEs. At its core, GTSL represents applications as documents/programs/models expressed with suitable languages. Application functionality is provided through an IDE that is aware of the languages and their semantics. The IDE provides editing support, and also directly integrates domain-specific analyses and execution services. Applications and their languages can be adapted to increasingly specific domains using language engineering; this includes developing incremental extensions to existing languages or creating additional, tightly integrated languages. Language workbenches act as the foundation on which such applications are built. mbeddr is an extensible set of integrated languages for embedded software development built using the Generic Tools, Specific Languages approach.

How to Design Programs, second edition

Author : Matthias Felleisen
Publisher : MIT Press
ISBN 13 : 0262344122
Total Pages : 793 pages
Book Rating : 4.2/5 (623 download)

DOWNLOAD NOW!

Book Synopsis How to Design Programs, second edition by : Matthias Felleisen

Download or read book How to Design Programs, second edition written by Matthias Felleisen and published by MIT Press. This book was released on 2018-05-25 with total page 793 pages. Available in PDF, EPUB and Kindle. Book excerpt: A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed programming. This introduction to programming places computer science at the core of a liberal arts education. Unlike other introductory books, it focuses on the program design process, presenting program design guidelines that show the reader how to analyze a problem statement, how to formulate concise goals, how to make up examples, how to develop an outline of the solution, how to finish the program, and how to test it. Because learning to design programs is about the study of principles and the acquisition of transferable skills, the text does not use an off-the-shelf industrial language but presents a tailor-made teaching language. For the same reason, it offers DrRacket, a programming environment for novices that supports playful, feedback-oriented learning. The environment grows with readers as they master the material in the book until it supports a full-fledged language for the whole spectrum of programming tasks. This second edition has been completely revised. While the book continues to teach a systematic approach to program design, the second edition introduces different design recipes for interactive programs with graphical interfaces and batch programs. It also enriches its design recipes for functions with numerous new hints. Finally, the teaching languages and their IDE now come with support for images as plain values, testing, event-driven programming, and even distributed programming.

Transactional Memory, Second Edition

Author : Tim Harris
Publisher : Springer Nature
ISBN 13 : 3031017285
Total Pages : 247 pages
Book Rating : 4.0/5 (31 download)

DOWNLOAD NOW!

Book Synopsis Transactional Memory, Second Edition by : Tim Harris

Download or read book Transactional Memory, Second Edition written by Tim Harris and published by Springer Nature. This book was released on 2022-05-31 with total page 247 pages. Available in PDF, EPUB and Kindle. Book excerpt: The advent of multicore processors has renewed interest in the idea of incorporating transactions into the programming model used to write parallel programs. This approach, known as transactional memory, offers an alternative, and hopefully better, way to coordinate concurrent threads. The ACI (atomicity, consistency, isolation) properties of transactions provide a foundation to ensure that concurrent reads and writes of shared data do not produce inconsistent or incorrect results. At a higher level, a computation wrapped in a transaction executes atomically - either it completes successfully and commits its result in its entirety or it aborts. In addition, isolation ensures the transaction produces the same result as if no other transactions were executing concurrently. Although transactions are not a parallel programming panacea, they shift much of the burden of synchronizing and coordinating parallel computations from a programmer to a compiler, to a language runtime system, or to hardware. The challenge for the system implementers is to build an efficient transactional memory infrastructure. This book presents an overview of the state of the art in the design and implementation of transactional memory systems, as of early spring 2010. Table of Contents: Introduction / Basic Transactions / Building on Basic Transactions / Software Transactional Memory / Hardware-Supported Transactional Memory / Conclusions

On Electrohydraulic Pressure Control for Power Steering Applications

Author : Alessandro Dell'Amico
Publisher : Linköping University Electronic Press
ISBN 13 : 9176858383
Total Pages : 209 pages
Book Rating : 4.1/5 (768 download)

DOWNLOAD NOW!

Book Synopsis On Electrohydraulic Pressure Control for Power Steering Applications by : Alessandro Dell'Amico

Download or read book On Electrohydraulic Pressure Control for Power Steering Applications written by Alessandro Dell'Amico and published by Linköping University Electronic Press. This book was released on 2016-02-04 with total page 209 pages. Available in PDF, EPUB and Kindle. Book excerpt: This thesis deals with the Electrohydraulic Power Steering system for road vehicles, using electronic pressure control valves. With an ever increasing demand for safer vehicles and fewer traffic accidents, steering-related active safety functions are becoming more common in modern vehicles. Future road vehicles will also evolve towards autonomous vehicles, with several safety, environmental and financial benefits. A key component in realising such solutions is active steering. The power steering system was initially developed to ease the driver's workload by assisting in turning the wheels. This is traditionally done through a passive open-centre hydraulic system and heavy trucks must still rely on fluid power, due to the heavy work forces. Since the purpose of the original system is to control the assistive pressure, one way would be to use proportional pressure control valves. Since these are electronically controlled, active steering is possible and with closed-centre, energy efficiency can be significantly improved on. In this work, such a system is analysed in detail with the purpose of investigating the possible use of the system for Boost curve control and position control for autonomous driving. Commercially available valves are investigated since they provide an attractive solution. A model-based approach is adopted, where simulation of the system is an important tool. Another important tool is hardware-in-the-loop simulation. A test rig of an electrohydraulic power steering system, is developed. This work has shown how proportional pressure control valves can be used for Boost curve control and position control and what implications this has on a system level. As it turns out, the valves add a great deal of time lag and with the high gain from the Boost curve, this creates a control challenge. The problem can be handled by tuning the Boost gain, pressure response and damping and has been effectively shown through simulation and experiments. For position control, there is greater freedom to design the controller to fit the system. The pressure response can be made fast enough for this case and the time lag is much less critical.

The Tower of Hanoi – Myths and Maths

Author : Andreas M. Hinz
Publisher : Birkhäuser
ISBN 13 : 3319737791
Total Pages : 469 pages
Book Rating : 4.3/5 (197 download)

DOWNLOAD NOW!

Book Synopsis The Tower of Hanoi – Myths and Maths by : Andreas M. Hinz

Download or read book The Tower of Hanoi – Myths and Maths written by Andreas M. Hinz and published by Birkhäuser. This book was released on 2018-04-17 with total page 469 pages. Available in PDF, EPUB and Kindle. Book excerpt: The solitaire game “The Tower of Hanoi" was invented in the 19th century by the French number theorist Édouard Lucas. The book presents its mathematical theory and offers a survey of the historical development from predecessors up to recent research. In addition to long-standing myths, it provides a detailed overview of the essential mathematical facts with complete proofs, and also includes unpublished material, e.g., on some captivating integer sequences. The main objects of research today are the so-called Hanoi graphs and the related Sierpiński graphs. Acknowledging the great popularity of the topic in computer science, algorithms, together with their correctness proofs, form an essential part of the book. In view of the most important practical applications, namely in physics, network theory and cognitive (neuro)psychology, the book also addresses other structures related to the Tower of Hanoi and its variants. The updated second edition includes, for the first time in English, the breakthrough reached with the solution of the “The Reve's Puzzle" in 2014. This is a special case of the famed Frame-Stewart conjecture which is still open after more than 75 years. Enriched with elaborate illustrations, connections to other puzzles and challenges for the reader in the form of (solved) exercises as well as problems for further exploration, this book is enjoyable reading for students, educators, game enthusiasts and researchers alike. Excerpts from reviews of the first edition: “The book is an unusual, but very welcome, form of mathematical writing: recreational mathematics taken seriously and serious mathematics treated historically. I don’t hesitate to recommend this book to students, professional research mathematicians, teachers, and to readers of popular mathematics who enjoy more technical expository detail.” Chris Sangwin, The Mathematical Intelligencer 37(4) (2015) 87f. “The book demonstrates that the Tower of Hanoi has a very rich mathematical structure, and as soon as we tweak the parameters we surprisingly quickly find ourselves in the realm of open problems.” László Kozma, ACM SIGACT News 45(3) (2014) 34ff. “Each time I open the book I discover a renewed interest in the Tower of Hanoi. I am sure that this will be the case for all readers.” Jean-Paul Allouche, Newsletter of the European Mathematical Society 93 (2014) 56.

Proceedings Of The Eighth Saudi Students Conference In The Uk

Author : Neil Alford
Publisher : World Scientific
ISBN 13 : 1783269162
Total Pages : 862 pages
Book Rating : 4.7/5 (832 download)

DOWNLOAD NOW!

Book Synopsis Proceedings Of The Eighth Saudi Students Conference In The Uk by : Neil Alford

Download or read book Proceedings Of The Eighth Saudi Students Conference In The Uk written by Neil Alford and published by World Scientific. This book was released on 2015-12-15 with total page 862 pages. Available in PDF, EPUB and Kindle. Book excerpt: Included in this proceedings is a selection of peer-reviewed scholarly papers by Saudi postgraduate researchers who presented their work at a student conference held in London at the Queen Elizabeth II Conference Centre from January 31 to February 1, 2015. The volume covers topics from fields in the humanities, social sciences and natural and applied sciences. Appealing to both specialists and non-specialists, the topics addressed by the students reflect advances in knowledge, research trends, and scholarly debates across the academic spectrum.This cross-disciplinary conference was organised by the Scientific Society for Saudi Students in the UK with support from the Saudi Arabian Cultural Bureau in London, Imperial College London and King Abdullah University of Science and Technology.KAUST is committed to the development of a knowledge-based economy in Saudi Arabia. Under the leadership of founding Vice President, Dr Najah Ashry, KAUST's Saudi Initiatives organization invests in the Nation's brightest young minds to ensure a strong and prosperous future. Through a variety of targeted programs and special projects, such as this year's Conference, Saudi Initiatives identifies, nurtures, and supports talented young Saudis for KAUST and for Saudi Arabia.

Improving Software Testing

Author : Tim A. Majchrzak
Publisher : Springer Science & Business Media
ISBN 13 : 3642274633
Total Pages : 171 pages
Book Rating : 4.6/5 (422 download)

DOWNLOAD NOW!

Book Synopsis Improving Software Testing by : Tim A. Majchrzak

Download or read book Improving Software Testing written by Tim A. Majchrzak and published by Springer Science & Business Media. This book was released on 2012-02-03 with total page 171 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software is continuously increasing in complexity. Paradigmatic shifts and new development frameworks make it easier to implement software – but not to test it. Software testing remains to be a topic with many open questions with regard to both technical low-level aspects and to the organizational embedding of testing. However, a desired level of software quality cannot be achieved by either choosing a technical procedure or by optimizing testing processes. In fact, it requires a holistic approach.This Brief summarizes the current knowledge of software testing and introduces three current research approaches. The base of knowledge is presented comprehensively in scope but concise in length; thereby the volume can be used as a reference. Research is highlighted from different points of view. Firstly, progress on developing a tool for automated test case generation (TCG) based on a program’s structure is introduced. Secondly, results from a project with industry partners on testing best practices are highlighted. Thirdly, embedding testing into e-assessment of programming exercises is described.

Pearls of Functional Algorithm Design

Author : Richard Bird
Publisher : Cambridge University Press
ISBN 13 : 1139490605
Total Pages : pages
Book Rating : 4.1/5 (394 download)

DOWNLOAD NOW!

Book Synopsis Pearls of Functional Algorithm Design by : Richard Bird

Download or read book Pearls of Functional Algorithm Design written by Richard Bird and published by Cambridge University Press. This book was released on 2010-09-16 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: Richard Bird takes a radical approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression and string matching. Each pearl starts with the statement of the problem expressed using the functional programming language Haskell, a powerful yet succinct language for capturing algorithmic ideas clearly and simply. The novel aspect of the book is that each solution is calculated from an initial formulation of the problem in Haskell by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style.