3440 search results - page 377 / 688 » Logics For Context-Free Languages |
197
click to vote
APLAS
2006
ACM
16 years 1 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
188
Voted
UML
2005
Springer
16 years 28 days ago
2005
Springer
While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further in...
176
Voted
PADL
2004
Springer
16 years 24 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...
195
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...
195
Voted
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...