3319 search results - page 360 / 664 » Subshifts, Languages and Logic |
167
click to vote
PADL
2004
Springer
16 years 6 days ago
2004
Springer
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space woul...
174
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
168
click to vote
TOOLS
1998
IEEE
15 years 11 months ago
1998
IEEE
In traditional information systems, the user interface is controlled by one single application. In distributed systems, several distributed components may want to influence the ap...
162
click to vote
VL
1996
IEEE
15 years 11 months ago
1996
IEEE
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...
196
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...