A simple, verified validator for software pipelining.

Jean-Baptiste Tristan Xavier Leroy

Published in: POPL (2010)

Keyphrases

software tools
source code
software development
neural network
software design
software engineering
fine grain
database
computer software
software packages
software package
software systems
test cases
object oriented
expert systems
feature selection
learning algorithm
machine learning
databases
real time