Marko Dimjašević - Function Totality Abstraction Tool in Programming | Lambda Days 19

Thanks! Share it with your friends!

You disliked this video. Thanks for the feedback!

Added by admin
2 Views
This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019

Get involved in Lambda Days' next conference http://www.lambdadays.org

---

FUNCTION TOTALITY: ABSTRACTION TOOL IN PROGRAMMING
by Marko Dimjašević

ABSTRACT
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.

Read the full abstract: http://www.lambdadays.org/lambdadays2019/marko-dimjasevic

---

THE SPEAKER - MARKO DIMJAŠEVIĆ
Computer scientist interested in correct software

Marko Dimjašević is a computer scientist with research interests in type theory and formal methods. He is an engineer at Input Output Hong Kong where he works on formally specifying a blockchain. Marko holds a doctoral degree in computer science from the University of Utah, USA. His dissertation was on automatic software testing. At NASA he performed research and development on software testing and runtime verification techniques for an aircraft collision avoidance system.
dimjasevic.net/marko

More on Marko Dimjašević: http://www.lambdadays.org/lambdadays2019/marko-dimjasevic

---

LAMBDA DAYS & ERLANG SOLUTIONS
Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber.

LAMBDA DAYS
Website: http://www.lambdadays.org
Twitter: https://twitter.com/LambdaDays
Facebook: https://www.facebook.com/lambdadays
LinkedIn: https://www.linkedin.com/company/lambda-days/
Mail: info at lambdadays.org

#LambdaDays #Haskell #Agda #Iris
Category
Lambda Days 2019

Post your comment