EVL: A Typed Higher-order Functional Language for Events | Zendy

Sandra Alves | Zendy; Maribel Fernández | Zendy; Miguel Ramos | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

EVL: A Typed Higher-order Functional Language for Events

Author(s) -

Sandra Alves,

Maribel Fernández,

Miguel Ramos

Publication year - 2020

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2020.08.002

Subject(s) - concurrency , computer science , programming language , event (particle physics) , context (archaeology) , language construct , variety (cybernetics) , metamodeling , theoretical computer science , artificial intelligence , paleontology , physics , quantum mechanics , biology

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research