Login / Signup
A brief account: Implementation and applications of a Pascal program verifier (Position Statement).
David C. Luckham
Published in:
ACM Annual Conference (2) (1978)
Keyphrases
</>
implementation details
databases
genetic algorithm
training set
data mining
computer vision
expert systems
object oriented
parallel implementation
static analysis
implementation issues
high level programming