Strongest postcondition of unstructured programs.

Radu Grigore Julien Charles Fintan Fairmichael Joseph Kiniry

Published in: FTfJP@ECOOP (2009)

Keyphrases

structured data
semi structured
automatic programming
computer programs
information retrieval
database systems
hidden markov models
provably correct
unstructured data
fixpoint
answer sets
real time
relational databases
web services
artificial intelligence
learning algorithm
data mining