A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition.

Victor N. Kasyanov Alexander P. Stasenko

Published in: PaCT (2007)

Keyphrases

functional programming
functional language
programming language
object oriented programming
quantifier elimination
execution model
general purpose
high level
databases
object oriented
software engineering
query optimization
key concepts