Sold Out
Book Categories |
Program Analysis for Implicit Computational Complexity | 1 | |
Deriving Preconditions for Array Bound Check Elimination | 2 | |
Type Systems for Useless-Variable Elimination | 25 | |
Boolean Constraints for Binding-Time Analysis | 39 | |
Constraint Abstractions | 63 | |
Implementing Circularity Using Partial Evaluation | 84 | |
Combining Forward and Backward Analyses of Temporal Properties | 103 | |
Numerical Power Analysis | 117 | |
Run-Time Bytecode Specialization | 138 | |
A New Numerical Abstract Domain Based on Difference-Bound Matrices | 155 | |
Partial Evaluation for Class-Based Object-Oriented Languages | 173 | |
Driving in the Jungle | 198 | |
Higher-Order Pattern Matching for Automatically Applying Fusion Transformations | 218 | |
Dynamic Partial Evaluation | 238 | |
Tag Elimination and Jones-Optimality | 257 | |
Bottom-Up Deduction with Deletion and Priorities | 276 | |
Author Index | 279 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionPrograms as Data Objects
X
This Item is in Your InventoryPrograms as Data Objects
X
You must be logged in to review the productsX
X
X
Add Programs as Data Objects, , Programs as Data Objects to the inventory that you are selling on WonderClubX
X
Add Programs as Data Objects, , Programs as Data Objects to your collection on WonderClub |