Sciweavers

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