5090 search results - page 339 / 1018 » Constructing Strategies for Programming |
144
click to vote
IJCAI
1993
15 years 6 months ago
1993
SEQUEL is a new-generation functional programming language, which allows the specification of types in a notation based on the sequent calculus. The sequent calculus notation suff...
134
click to vote
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs wh...
123
click to vote
MP
2010
15 years 3 months ago
2010
In this paper, we develop a convexification tool that enables the construction of convex hulls for orthogonal disjunctive sets using convex extensions and disjunctive programming...
159
click to vote
MOBICOM
2004
ACM
15 years 10 months ago
2004
ACM
In this paper we consider the problem of searching for a node or an object (i.e., piece of data, file, etc.) in a large network. Applications of this problem include searching fo...
152
click to vote
POPL
1996
ACM
15 years 9 months ago
1996
ACM
that defines abstract costs for measuring or analyzing the performance of computations, (2) to supply the users with a mapping of these costs onto runtimes on various machine model...