Sciweavers

10585 search results - page 26 / 2117
» The Orc Programming Language
Sort
View
138
Voted
ESOP
1998
Springer
15 years 6 months ago
Recursive Object Types in a Logic of Object-Oriented Programs
K. Rustan M. Leino
SIGADA
1998
Springer
15 years 6 months ago
Object-Oriented and Concurrent Program Design Issues in Ada 95
Stephen H. Kaisler, Michael B. Feldman
100
Voted
PLDI
2010
ACM
15 years 6 months ago
GUESSTIMATE: A Programming Model for Collaborative Distributed Systems
Kaushik Rajan, Sriram Rajamani, Shashank Yaduvansh...
POPL
1993
ACM
15 years 6 months ago
Imperative Functional Programming
Simon L. Peyton Jones, Philip Wadler
104
Voted
PLDI
1994
ACM
15 years 6 months ago
ATOM - A System for Building Customized Program Analysis Tools
Amitabh Srivastava, Alan Eustace