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