Search Sciweavers | Sciweavers

12452 search results - page 47 / 2491

» An exploration of program as language

100

click to vote

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

15 years 2 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 2 months ago

Download www.sigada.org

Stephen H. Kaisler, Michael B. Feldman

claim paper

Read More »

click to vote

PLDI
2010
ACM

222views Programming Languages» more PLDI 2010»

GUESSTIMATE: A Programming Model for Collaborative Distributed Systems

15 years 1 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 1 months ago

Download home.in.tum.de

Simon L. Peyton Jones, Philip Wadler

claim paper

Read More »

click to vote

PLDI
1994
ACM

105views Programming Languages» more PLDI 1994»

ATOM - A System for Building Customized Program Analysis Tools

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers