Computer Science – Programming Languages
Scientist
Computer Science
Programming Languages
Scientist
National Technical University of Athens
Katholieke Universiteit Leuven, Belgium
A Concurrent Language with a Uniform Treatment of Regions and Locks
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction
A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering
Termination Proofs for Logic Programs with Tabling
No associations
LandOfFree
Konstantinos Sagonas does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Konstantinos Sagonas, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Konstantinos Sagonas will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-192744