A Decidable Clock Language for Synchronous Specifications.

Mirabelle Nebut Sophie Pinchinat

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

specification language
programming language
operational semantics
natural language
formal language
high speed
first order logic
conceptual models
controlled natural language
high level
power consumption
language learning
formal specification
description language
language processing