15824 search results - page 4 / 3165 » Specialising in Software Engineering |
129
Voted
FASE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
121
Voted
PEPM
1998
ACM
15 years 7 months ago
1998
ACM
We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...
285
Voted
ICSE
2012
IEEE-ACM
13 years 6 months ago
2012
IEEE-ACM
201
Voted
TOSEM
2012
13 years 6 months ago
2012
