3775 search results - page 558 / 755 » The Expression Problem Revisited |
136
click to vote
SERA
2009
Springer
15 years 11 months ago
2009
Springer
In the context of computer programming, the importance of computer assistance is being understood by many developer communities. Developers are e.g. using the same well known expre...
139
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
159
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
158
click to vote
ASPDAC
2009
ACM
15 years 11 months ago
2009
ACM
— Multiprocessors on a chip are the reality of these days. Semiconductor industry has recognized this approach as the most efficient in order to exploit chip resources, but the ...
130
click to vote
SIGGRAPH
2009
ACM
15 years 11 months ago
2009
ACM
While it seems that interdisciplinary collaboration in a visualization course is (theoretically) a very good idea, the practical undergoing is problematic: in a single semester co...