1700 search results - page 60 / 340 » Specifying and implementing refactorings |
128
click to vote
DALT
2003
Springer
15 years 9 months ago
2003
Springer
We propose a logic-based rendition of electronic institutions – these are means to specify open agent organisations. We employ a simple notation based on first-order logic and s...
113
click to vote
ICECCS
2002
IEEE
15 years 9 months ago
2002
IEEE
Distributed Java applications represent a large growth area in software. Validating such applications using information from runtime interactions is a challenge. We propose techni...
144
click to vote
ASIAN
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present a constraint system OF of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of...
162
click to vote
LICS
1992
IEEE
15 years 8 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...
142
click to vote
APLAS
2003
ACM
15 years 8 months ago
2003
ACM
A dataflow-based pointcut is proposed for aspect-oriented programming (AOP) languages. The pointcut specifies where aspects should be applied based on the origins of values. It is ...