Verified Functional Programming of an Abstract Interpreter.
Lucas FranceschinoDavid PichardieJean-Pierre TalpinPublished in: SAS (2021)
Keyphrases
- functional programming
- programming language
- object oriented programming
- functional language
- execution model
- quantifier elimination
- high level
- software engineering
- data streams
- data structure
- logic programming
- abstract data types
- object oriented
- general purpose
- business processes
- information systems
- artificial intelligence