1401 search results - page 72 / 281 » Tool Integration for Reasoned Programming |
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
Tools support is crucial for the acceptance of a new programming language. However, providing such tool support is a huge investment that can usually not be provided for a researc...
ATAL
2006
Springer
14 years 18 days ago
2006
Springer
In this paper we present Mob, a service-oriented scripting language for programming mobile agents in distributed systems. The main feature of the language is the integration of th...
ICSM
1999
IEEE
14 years 1 months ago
1999
IEEE
Software systems are typically modified in order to extend or change their functionality, improve their performance, port them to different platforms, and so on. For developers, i...
ICSM
2008
IEEE
14 years 3 months ago
2008
IEEE
Aspect-oriented programming (AOP) is gaining popularity with the wider adoption of languages such as AspectJ. During AspectJ software evolution, when regression tests fail, it may...
FLOPS
2010
Springer
14 years 3 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...