Search Sciweavers | Sciweavers

10666 search results - page 31 / 2134

» Quantum programming languages

139

click to vote

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

15 years 7 months ago

Download www.hpl.hp.com

K. Rustan M. Leino

claim paper

Read More »

click to vote

SIGADA
1998
Springer

112views Programming Languages» more SIGADA 1998»

Object-Oriented and Concurrent Program Design Issues in Ada 95

15 years 7 months ago

Download www.sigada.org

Stephen H. Kaisler, Michael B. Feldman

claim paper

Read More »

102

click to vote

PLDI
2010
ACM

222views Programming Languages» more PLDI 2010»

GUESSTIMATE: A Programming Model for Collaborative Distributed Systems

15 years 7 months ago

Download research.microsoft.com

Kaushik Rajan, Sriram Rajamani, Shashank Yaduvansh...

claim paper

Read More »

click to vote

POPL
1993
ACM

87views Programming Languages» more POPL 1993»

Imperative Functional Programming

15 years 7 months ago

Download home.in.tum.de

Simon L. Peyton Jones, Philip Wadler

claim paper

Read More »

105

click to vote

PLDI
1994
ACM

105views Programming Languages» more PLDI 1994»

ATOM - A System for Building Customized Program Analysis Tools

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers