1413 search results - page 93 / 283 » Bisimilarity of Open Terms |
126
click to vote
FOSSACS
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...
143
click to vote
ISSAC
2007
Springer
16 years 11 days ago
2007
Springer
In this paper, we describe the design of a C library named PTPol implementing arithmetic operations for univariate polynomials and report on practical experiments showing the rele...
153
click to vote
OOPSLA
2007
Springer
16 years 10 days ago
2007
Springer
This article reveals our work on refactoring plug-ins for Eclipse’s C++ Development Tooling (CDT). With CDT a reliable open source IDE exists for C/C++ developers. Unfortunately...
148
click to vote
WER
2007
Springer
16 years 10 days ago
2007
Springer
Complex information systems have numerous design variables that are systematically decided upon during the design process. In high-variability systems, some of these decisions are...
167
click to vote
AICT
2006
IEEE
16 years 9 days ago
2006
IEEE
An open problem in structured overlay networks is related to the anonymity to be provided to recipients, namely, those nodes who respond to request messages. Such a feature is of ...