Login / Signup
A Toolkit for Constructing Type- and Constraint-Based Program Analyses.
Alexander Aiken
Manuel Fähndrich
Jeffrey S. Foster
Zhendong Su
Published in:
Types in Compilation (1998)
Keyphrases
</>
search engine
web services
statistical analysis
constraint satisfaction
image sequences
multiscale
digital libraries
artificial neural networks