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

A Formalism to Model Higher-Order Function

Author
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
Identifiers
ISBN: 978-1-4503-7507-8
Full text
Proceedings (Published version) (534 Kb) - document accessible for UNIGE members only Limited access to UNIGE
Structures
Research group Software Modeling and Verification
Citation
(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

229 hits

6 downloads

Update

Deposited on : 2020-05-19

Export document
Format :
Citation style :