Formal Descriptions of Code Properties: Decidability, Complexity, Implementation.

Krystian Dudzinski Stavros Konstantinidis

Published in: Int. J. Found. Comput. Sci. (2012)

Keyphrases

formal descriptions
description logics
computational complexity
space complexity
code generation
real world
decision trees
pattern recognition
open source
source code
computational model
application programming interface
java virtual machine