LAFF – On Programming for Correctness

Maggie Myers, Robert van de Geijn, Devangi Parikh, UTAustinX

Learn to apply formal methods to systematically develop correct, loop-based programs, an essential skill for computer programmers.

Is my program correct? Will it give the right output for all possible permitted inputs? Computers are now essential in everyday life. Incorrect programs lead to frustration in the best case and disaster in the worst. Thus, knowing how to construct correct programs is a skill that all who program computers must strive to master.

In this computer science course, we will present "goal oriented programming" the way Edsger Dijkstra, one of the most influential computer scientists, intended. You will learn how to derive programs hand-in-hand with their proofs of correctness. The course presents a methodology that illustrates goal-oriented programming, starting with the formalization of what is to be computed, and then growing the program hand-in-hand with its proof of correctness. The methodology demonstrates that, for a broad class of matrix operations, the development, implementation, and establishment of correctness of a program can be made systematic.

Since this technique focuses on program specifications, it often leads to clearer, correct programs in less time. The approach rapidly yields a family of algorithms from which you can then pick the algorithm that has desirable properties, such as attaining better performance on a given architecture.

The audience of this MOOC extends beyond students and scholars interested in the domains of linear algebra algorithms and scientific computing. This course shows how to make the formal derivation of algorithms practical and will leave you pondering how our results might extend to other domains.

As a result of support from MathWorks, learners will be granted access to MATLAB for the duration of the course.

What will you learn

  • Develop assertions describing states in a program.
  • Prove programs correct using logic.
  • Build algorithms using goal-oriented programming techniques.
  • “Slice and dice” to discover families of loop-based algorithms for matrix computations.

会期:
  • 2020年8月12日
介绍:
  • 免费:
  • 收费:
  • 证书:
  • MOOC:
  • 视频讲座:
  • 音频讲座:
  • Email-课程:
  • 语言: 英语 Gb

反馈

目前这个课程还没有反馈。您想要留第一个反馈吗?

请注册, 为了写反馈

Show?id=n3eliycplgk&bids=695438
NVIDIA
还有标题«计算机科学»:
E84f731a-6611-4d90-9317-3a32bfd49ccd-582b2ac243c8.small Artificial Intelligence (AI)
Learn the fundamentals of Artificial Intelligence (AI), and apply them. Design...
A35c8b84-f0ef-4eb0-ad44-52f4bc61d7df-6b753882d8f8.small Machine Learning
Master the essentials of machine learning and algorithms to help improve learning...
95c877f3-076a-4dee-a640-9c6069ca0114-e3a2f8507f67.small Animation and CGI Motion
Learn the science behind movie animation from the Director of Columbia’s Computer...
9d918753-9409-4a56-ba00-54d1e0724c28-626b8a29512a.small Robotics
Learn the core techniques for representing robots that perform physical tasks...
Logo-white Neo4j Koans
A koan-style tutorial in Java for Neo4j. This set of Koans provides a hands...
还有edX:
3085e64d-d100-4bb8-a486-440985b6c6ca-ab76d47e368c.small The Conscious Mind - A Philosophical Road Trip
Explore the worlds of sense, thought and the mind, as revealed through the philosophical...
C1d8759b-8830-4ff1-ad31-16583ef0aff9-6838d4f0a789.small European Paintings: From Leonardo to Rembrandt to Goya
Uncover the meaning behind the art of the great painters from 1400 to 1800....
Af05174d-613f-4a54-9c6e-8298a26417e3-0f427e63cd96.small The Conquest of Space: Space Exploration and Rocket Science
Explore the history of space travel and learn the basics of aerospace engineering...
E84f731a-6611-4d90-9317-3a32bfd49ccd-582b2ac243c8.small Artificial Intelligence (AI)
Learn the fundamentals of Artificial Intelligence (AI), and apply them. Design...
A35c8b84-f0ef-4eb0-ad44-52f4bc61d7df-6b753882d8f8.small Machine Learning
Master the essentials of machine learning and algorithms to help improve learning...

© 2013-2019