On the Verifiability of Programs Written in the Feature Language Extensions.

Wu-Hon F. Leung

Published in: HASE (2007)

Keyphrases

programs written
programming language
operating system
source code
scripting languages
language learning
image features
natural language
information systems
high level
feature vectors
software engineering
open source
model checking
programming environment