Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information.

Klaus Indermark Thomas Noll

Published in: Acta Informatica (2006)

Keyphrases

neural network
information sharing
real time
image segmentation
information retrieval systems
information sources
spatial information
information services
e learning
knowledge base
computer systems
contextual information
structural information