Multi-paradigm Programming in Maude.

Santiago Escobar

Published in: WRLA@ETAPS (2018)

Keyphrases

formal specification
programming environment
case study
open source
programming course
programming paradigms
declarative programming
databases
machine learning
genetic algorithm
decision making
high level
database systems
novice programmers