Search Sciweavers | Sciweavers

10622 search results - page 441 / 2125

» Python Programming Language

146

click to vote

ECOOP
2006
Springer

158views Programming Languages» more ECOOP 2006»

Session Types for Object-Oriented Languages

15 years 10 months ago

Download www.doc.ic.ac.uk

A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...

Mariangiola Dezani-Ciancaglini, Dimitris Mostrous,...

claim paper

Read More »

218

click to vote

ICLP
2009
Springer

118views Automated Reasoning» more ICLP 2009»

Debugging for Model Expansion

16 years 6 months ago

Download www.mai.kuleuven.be

Johan Wittocx, Hanne Vlaeminck, Marc Denecker

claim paper

Read More »

218

click to vote

CP
2009
Springer

99views Artificial Intelligence» more CP 2009»

Snake Lex: An Alternative to Double Lex

16 years 6 months ago

Download www.cs.st-andrews.ac.uk

Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal

claim paper

Read More »

149

click to vote

ICALP
2009
Springer

90views Programming Languages» more ICALP 2009»

The Tile Complexity of Linear Assemblies

16 years 6 months ago

Download www.cs.duke.edu

Harish Chandran, Nikhil Gopalkrishnan, John H. Rei...

claim paper

Read More »

125

click to vote

ICALP
2009
Springer

107views Programming Languages» more ICALP 2009»

Incompressibility through Colors and IDs

16 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers