The SL synchronous language, revisited.

Roberto M. Amadio

Published in: J. Log. Algebraic Methods Program. (2007)

Keyphrases

language learning
programming language
natural language
computer vision
specification language
high level
general purpose
context dependent
real time
neural network
genetic algorithm
website
language processing
object oriented programming
target language
formal language