Sciweavers

10871 search results - page 94 / 2175
» A stable programming language
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
IFIP
1993
Springer
15 years 10 months ago
What is a Deadlock?
Y. C. Tay