Search Sciweavers | Sciweavers

10666 search results - page 31 / 2134

» Quantum programming languages

181

click to vote

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

15 years 10 months ago

Download www.hpl.hp.com

K. Rustan M. Leino

claim paper

Read More »

117

Voted

SIGADA
1998
Springer

112views Programming Languages» more SIGADA 1998»

Object-Oriented and Concurrent Program Design Issues in Ada 95

15 years 10 months ago

Download www.sigada.org

Stephen H. Kaisler, Michael B. Feldman

claim paper

Read More »

144

Voted

PLDI
2010
ACM

222views Programming Languages» more PLDI 2010»

GUESSTIMATE: A Programming Model for Collaborative Distributed Systems

15 years 10 months ago

Download research.microsoft.com

Kaushik Rajan, Sriram Rajamani, Shashank Yaduvansh...

claim paper

Read More »

130

click to vote

POPL
1993
ACM

87views Programming Languages» more POPL 1993»

Imperative Functional Programming

15 years 10 months ago

Download home.in.tum.de

Simon L. Peyton Jones, Philip Wadler

claim paper

Read More »

155

Voted

PLDI
1994
ACM

105views Programming Languages» more PLDI 1994»

ATOM - A System for Building Customized Program Analysis Tools

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers