2236 search results - page 307 / 448 » Language Independence and Language Tolerance in Logic Progra... |
137
click to vote
TPHOL
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
121
click to vote
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
157
click to vote
TYPES
1998
Springer
15 years 8 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
132
click to vote
ICALP
1995
Springer
15 years 8 months ago
1995
Springer
We describe the rst parallel algorithm with optimal speedup for constructing minimum-width tree decompositions of graphs of bounded treewidth. On n-vertex input graphs, the algori...
107
click to vote
ENTCS
2006
15 years 4 months ago
2006
The goal of this paper is to translate (fragments of) the quantified discrete duration calculus QDDC, proposed by P. Pandya, into symbolic acceptors with counters. Acceptors are w...