1194 search results - page 82 / 239 » A Calculus for Predicative Programming |
135
Voted
AGP
1994
IEEE
15 years 6 months ago
1994
IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
137
Voted
ECOOP
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
115
Voted
ENTCS
2002
15 years 2 months ago
2002
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...
200
Voted
ECOOP
2009
Springer
16 years 3 months ago
2009
Springer
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...
152
click to vote
SEFM
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...