FLOREnce: A Hybrid Logic-Functional Reactive Programming Language.
Louise Van VerreHumberto Rodríguez-AvilaJens NicolayWolfgang De MeuterPublished in: REBLS@SPLASH (2022)
Keyphrases
- programming language
- logic programming
- functional language
- lambda calculus
- general purpose
- object oriented
- high level
- database languages
- object oriented programming
- strongly typed
- specification language
- concurrent programming
- database language
- software engineering
- denotational semantics
- programming environment
- high level programming language
- predicate logic
- computer programs
- modal logic
- functional programming
- programs written
- data abstraction
- object oriented concepts
- abstract data types
- programming tool
- linear logic
- domain specific languages