Ian A. Mason ; Carolyn L. Talcott - Reasoning about effects: from lists to cyber-physical agents

lmcs:4239 - Logical Methods in Computer Science, April 30, 2019, Volume 15, Issue 2 - https://doi.org/10.23638/LMCS-15(2:8)2019
Reasoning about effects: from lists to cyber-physical agentsArticle

Authors: Ian A. Mason ; Carolyn L. Talcott

    Theories for reasoning about programs with effects initially focused on basic manipulation of lists and other mutable data. The next challenge was to consider higher-order programming, adding functions as first class objects to mutable data. Reasoning about actors added the challenge of dealing with distributed open systems of entities interacting asynchronously. The advent of cyber-physical agents introduces the need to consider uncertainty, faults, physical as well as logical effects. In addition cyber-physical agents have sensors and actuators giving rise to a much richer class of effects with broader scope: think of self-driving cars, autonomous drones, or smart medical devices. This paper gives a retrospective on reasoning about effects highlighting key principles and techniques and closing with challenges for future work.


    Volume: Volume 15, Issue 2
    Published on: April 30, 2019
    Accepted on: September 16, 2018
    Submitted on: January 27, 2018
    Keywords: Computer Science - Programming Languages,Computer Science - Logic in Computer Science

    Consultation statistics

    This page has been seen 1390 times.
    This article's PDF has been downloaded 235 times.