A Typed Language for Events

DOI10.1007/978-3-319-27436-2_7zbMath1473.68033OpenAlexW2395426698MaRDI QIDQ5743588

Sandra Alves, Maribel Fernández, Sabine Broda

Publication date: 5 February 2016

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: http://repositorio.inesctec.pt/handle/123456789/5223

zbMATH Keywords

rewritingobligationaccess controlevent type

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Related Items (1)

\texttt{EVL}: a typed higher-order functional language for events

Cites Work

• Unnamed Item
• A logic-based calculus of events
• Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics
• Term Rewriting and All That
• Authorization and Obligation Policies in Dynamic Systems

This page was built for publication: A Typed Language for Events