10666 search results - page 1600 / 2134 » Quantum programming languages |
172
click to vote
LICS
2006
IEEE
16 years 28 days ago
2006
IEEE
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context ...
206
click to vote
QEST
2006
IEEE
16 years 28 days ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
180
click to vote
ERLANG
2006
ACM
16 years 27 days ago
2006
ACM
A concurrent cache design is presented which allows cached data to be spread across a cluster of computers. The implementation s persistent storage from cache storage and abstract...
187
click to vote
ICECCS
2005
IEEE
16 years 16 days ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
195
click to vote
IPPS
2005
IEEE
16 years 15 days ago
2005
IEEE
UPC is a parallel programming language based on the concept of partitioned shared memory. There are now several UPC compilers available and several different parallel architecture...