Sciweavers

10575 search results - page 75 / 2115
» Programming Languages
Sort
View
ESOP
1994
Springer
15 years 10 months ago
Polymorphic Binding-Time Analysis
Fritz Henglein, Christian Mossin
ICALP
1993
Springer
15 years 10 months ago
The Fork Calculus
Klaus Havelund, Kim Guldstrand Larsen
ICALP
1993
Springer
15 years 10 months ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen