Program Correctness by Transformation.

Marieke Huisman Stefan Blom Saeed Darabi Mohsen Safari

Published in: ISoLA (1) (2018)

Keyphrases

program execution
data sets
databases
high level
linear transformation
automatic programming
artificial intelligence
video sequences
computer programs
programming environment