2625 search results - page 114 / 525 » The development of the Emerald programming language |
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
ECOOP
2006
Springer
15 years 1 months ago
2006
Springer
This paper briefly describes the design of a dynamic adaptation management framework exploiting the concepts provided by Aspect-Oriented Software Development (AOSD) -in particular ...
116
click to vote
JMLC
2000
Springer
15 years 1 months ago
2000
Springer
The principle of modularisation is one of the main techniques that software designers use to tame the complexity of programming. A software project, however, is complex in many oth...
SIGADA
2005
Springer
15 years 3 months ago
2005
Springer
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
PGA (ProGram Algebra) is an algebra of programs which concerns programs in their simplest form: sequences of instructions. Molecular dynamics is a simple model of computation deve...