Sciweavers

3708 search results - page 116 / 742
» Programming with C Exceptions
Sort
View
CSL
2001
Springer
15 years 7 months ago
Local Reasoning about Programs that Alter Data Structures
Peter W. O'Hearn, John C. Reynolds, Hongseok Yang
90
Voted
PODC
1998
ACM
15 years 6 months ago
Synthesis of Fault-Tolerant Concurrent Programs
Anish Arora, Paul C. Attie, E. Allen Emerson
DBPL
1989
Springer
65views Database» more  DBPL 1989»
15 years 6 months ago
Napier88 - A Database Programming Language?
Alan Dearle, Richard C. H. Connor, Fred Brown, Ron...