A Calculus for Language Transformations.

Benjamin Mourad Matteo Cimini

Published in: SOFSEM (2020)

Keyphrases

formal language
language learning
programming language
natural language
database query languages
neural network
general purpose
computer algebra
type checking
relational calculus
target language
lambda calculus
specification language
pattern languages
expressive power
description logics
genetic algorithm