1194 search results - page 57 / 239 » A Calculus for Predicative Programming |
112
click to vote
EUROCAST
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...
109
click to vote
ENTCS
2007
15 years 1 months ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
224
click to vote
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
131
click to vote
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
96
Voted
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
It is labor-intensive to manually verify the outputs of a large set of tests that are not equipped with test oracles. Test selection helps to reduce this cost by selecting a small...