272 search results - page 33 / 55 » Programming languages capturing complexity classes |
222
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
111
click to vote
CL
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
105
click to vote
TOOLS
2009
IEEE
15 years 7 months ago
2009
IEEE
Single inheritance often forces developers to duplicate code and logic. This widely recognized situation affects both business code and tests. In a large and complex application w...
128
click to vote
VEE
2006
ACM
15 years 6 months ago
2006
ACM
We present Vector LLVA, a virtual instruction set architecture (VISA) that exposes extensive static information about vector parallelism while avoiding the use of hardware-speciï¬...
101
Voted
ICSM
2009
IEEE
15 years 7 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...