UNIGE document Conference Proceedings
previous document  unige:135940  next document
add to browser collection

A Formalism to Model Higher-Order Function

Publication New York: ACM, 2020
Abstract 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.
Keywords High-level Petri netsModelingHigher-order function
ISBN: 978-1-4503-7507-8
Full text
Proceedings (Published version) (534 Kb) - document accessible for UNIGE members only Limited access to UNIGE
Research group Software Modeling and Verification
(ISO format)
MORARD, Damien. A Formalism to Model Higher-Order Function. New York : ACM, 2020. doi: 10.1145/3397537.3398479 https://archive-ouverte.unige.ch/unige:135940

305 hits



Deposited on : 2020-05-19

Export document
Format :
Citation style :