Login / Signup
Static Monotonicity Analysis for lambda-Definable Functions. over Lattices.
Andrzej S. Murawski
Kwangkeun Yi
Published in:
APLAS (2001)
Keyphrases
</>
database
data sets
real time
knowledge base
case study
data analysis
information technology
transitive closure