Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About

About

Miguel Ramos is a Computer Science undergrad student at the Faculty of Sciences of the University of Porto (FCUP).

Interest
Topics
Details

Details

  • Name

    Jorge Miguel Ramos
  • Cluster

    Computer Science
  • Role

    External Student
  • Since

    16th November 2016
Publications

2020

EVL: A Typed Higher-order Functional Language for Events

Authors
Alves, S; Fernandez, M; Ramos, M;

Publication
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

Abstract
We define EVL, a minimal higher-order functional language for dealing with generic events. The notion of generic event extends the well-known notion of event traditionally used in a variety of areas, such as database management, concurrency, reactive systems and cybersecurity. Generic events were introduced in the context of a metamodel to deal with obligations in access control systems. Event specifications are represented as records and we use polymorphic record types to type events in our language. We show how the higher-order capabilities of EVL can be used in the context of Complex Event Processing (CEP), to define higher-order parameterised functions that deal with the usual CEP techniques.