Conference proceedings

A Formalism to Model Higher-Order Function

ContributorsMorard, Damien
PublisherNew York : ACM
Publication date2020

Recent years have seen a significant renewed interest into functional programming. This approach focuses on a more declarative style of programming, as opposed to the imperative view, which focuses on describing computation steps. Therefore, it sits at a higher abstraction level, particularly useful to describe complex modular applications, such as mobile and web user interfaces. Unfortunately, existing formalisms, tools and techniques to model computer systems are ill-suited to describe highly-functional applications. In a effort to tackle this issue, we propose a new formalism, based on high-level Petri nets, that allows to manipulate functions as first-class objects, directly within the model. We present our motivation, introduce our formalism by the means of examples and discuss potential ways to carry out software verification.

  • High-level Petri nets
  • Modeling
  • Higher-order function
Citation (ISO format)
MORARD, Damien. A Formalism to Model Higher-Order Function. New York : ACM, 2020. doi: 10.1145/3397537.3398479
Main files (1)
Proceedings (Published version)

Technical informations

Creation05/18/2020 2:29:00 PM
First validation05/18/2020 2:29:00 PM
Update time03/15/2023 9:56:18 PM
Status update03/15/2023 9:56:18 PM
Last indexation01/17/2024 9:50:38 AM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack