Sciweavers

10666 search results - page 444 / 2134
» Quantum programming languages
Sort
View
TGC
2005
Springer
16 years 10 days ago
A Distributed Object-Oriented Language with Session Types
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Al...
ECOOP
2006
Springer
15 years 10 months ago
Session Types for Object-Oriented Languages
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,...
ICLP
2009
Springer
16 years 7 months ago
Debugging for Model Expansion
Johan Wittocx, Hanne Vlaeminck, Marc Denecker
CP
2009
Springer
16 years 7 months ago
Snake Lex: An Alternative to Double Lex
Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal
ICALP
2009
Springer
16 years 7 months ago
The Tile Complexity of Linear Assemblies
Harish Chandran, Nikhil Gopalkrishnan, John H. Rei...