68 search results - page 10 / 14 » Specifying generic Java programs: two case studies |
133
Voted
MSWIM
2005
ACM
15 years 11 months ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
147
Voted
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
144
Voted
OOPSLA
2009
Springer
16 years 10 days ago
2009
Springer
Modern object-oriented languages have complex features that cause programmers to overspecify their programs. This overspeciļ¬cation hinders automatic optimizers, since they must ...
170
Voted
APSEC
2009
IEEE
15 years 9 months ago
2009
IEEE
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...
152
Voted
CSMR
2007
IEEE
16 years 4 days ago
2007
IEEE
As software systems evolve, they become more complex and harder to understand and maintain. Certain reverse engineering techniques attempt to reconstruct software models from sour...