Search Sciweavers | Sciweavers

2477 search results - page 15 / 496

» First-Order Interactive Programming

click to vote

TOOLS
1999
IEEE

69views Programming Languages» more TOOLS 1999»

Interaction Schemata: Compiling Interactions to Code

13 years 11 months ago

Download www.cs.virginia.edu

Programming object interactions is at the heart of object-oriented programming. To improve reusability of the interactions, it is important to program object interactions generica...

Neeraj Sangal, Edward Farrell, Karl J. Lieberherr,...

claim paper

Read More »

click to vote

ICALP
2009
Springer

90views Programming Languages» more ICALP 2009»

Multiple Random Walks and Interacting Particle Systems

14 years 4 days ago

Download www.dcs.kcl.ac.uk

Colin Cooper, Alan M. Frieze, Tomasz Radzik

claim paper

Read More »

click to vote

ICALP
2001
Springer

94views Programming Languages» more ICALP 2001»

On Interactive Proofs with a Laconic Prover

14 years 15 hour ago

Download dash.harvard.edu

Oded Goldreich, Salil P. Vadhan, Avi Wigderson

claim paper

Read More »

click to vote

CEFP
2007
Springer

114views Programming Languages» more CEFP 2007»

An Introduction to iTasks: Defining Interactive Work Flows for the Web

13 years 11 months ago

Download www.st.cs.ru.nl

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...

claim paper

Read More »

click to vote

IFIP
1991
Springer

117views Programming Languages» more IFIP 1991»

An Intelligent Integrated Interactive CAD-A Preliminary Report

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers