Formalisation of C Language Interfaces.

Gustavo A. Ospina Baudouin Le Charlier

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

Keyphrases

formal analysis
database interface
user interface
visual interfaces
website
computational complexity
human computer interaction
interface design
real time
databases
machine learning
multi agent
data structure
learning environment
trade off
object oriented programming