Home

Niels__Jrgensen


Finding Fixpoints in Finite Function Spaces Using Neededness Analysis and Chaotic Iteration

Some Global Compile-Time Optimizations for CLP(R