Towards a Strategy Language for Maude.

Narciso Martí-Oliet José Meseguer Alberto Verdejo

Published in: WRLA (2004)

Keyphrases

data sets
artificial intelligence
programming language
operational semantics
real time
language learning
natural language
english language
metadata
website
high level
xml documents
formal specification
language processing
representation language
declarative language