2625 search results - page 86 / 525 » The development of the Emerald programming language |
SIGADA
1994
Springer
15 years 1 months ago
1994
Springer
AdaWise, a set of tools currently under development at ORA, performs automatic checks to verify the absence of common run-time errors affecting the correctness or portability of A...
ECOOP
2007
Springer
15 years 1 months ago
2007
Springer
In this paper, we present our approach to a visual refactoring tool, the Type Access Analyzer (TAA), which uses program analysis to detect code smells and for suggesting and perfo...
ICLP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
ICTCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
ECOOP
2000
Springer
15 years 2 months ago
2000
Springer
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows...