Name: Terminating and Productive Functions
Start: 2019-02-04T18:00:00+01:00
End: 2019-02-04T19:00:00+01:00
Location: MULTIMEDIA INSTITUTE - club MaMa

Abstraction is a cornerstone of programming a complex software system. Without it, a complex software system is a complicated software system. In this talk, an important abstraction tool is considered: function totality. It covers termination and productivity. If a supposedly terminating program is not total, it can lead to a program crash or an infinite loop. Furthermore, a non-total program that needs to run forever can end up in a deadlock. This talk covers techniques for achieving function totality.

Marko Dimjašević

Lambda Zagreb

Technology

Lisp

Computer Programming

Programming Languages

Functional Programming

Haskell

Elixir

Clojure

Rust

Erlang Programming

Terminating and Productive Functions

MULTIMEDIA INSTITUTE - club MaMa

Share

Lambda Zagreb

Terminating and Productive Functions

Lambda Zagreb

Details

Members are also interested in