Computer Science – Programming Languages
Scientist
Computer Science
Programming Languages
Scientist
Katholieke Universiteit Leuven, Belgium
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction
A Semantics-Aware Editing Environment for Prolog in Eclipse
Constraint-Based Deadlock Checking of High-Level Specifications
Improving Size-Change Analysis in Offline Partial Evaluation
Logic program specialisation through partial deduction: Control issues
No associations
LandOfFree
Michael Leuschel does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Michael Leuschel, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Michael Leuschel will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-77941