Sciweavers

1021 search results - page 126 / 205
» Design of a Specification Language by Abstract Syntax Engine...
Sort
View
GPCE
2007
Springer
15 years 3 months ago
Generative metaprogramming
Recent advances in Software Engineering have reduced the cost of coding programs at the expense of increasing the complexity of program synthesis, i.e. metaprograms, which when ex...
Salvador Trujillo, Maider Azanza, Oscar Día...
ISSRE
2000
IEEE
15 years 3 months ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
PPPJ
2006
ACM
15 years 5 months ago
The Project Maxwell assembler system
The JavaTM programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platfo...
Bernd Mathiske, Douglas N. Simon, Dave Ungar
CLEIEJ
2002
113views more  CLEIEJ 2002»
14 years 11 months ago
The MT Stack: Paging Algorithm and Performance in a Distributed Virtual Memory System
Advances in parallel computation are of central importance to Artificial Intelligence due to the significant amount of time and space their programs require. Functional languages ...
Marco T. Morazán, Douglas R. Troeger, Myles...
WCRE
2003
IEEE
15 years 4 months ago
Comparative Evaluation of Dynamic Visualisation Tools
Despite their potential applications in software comprehension, it appears that dynamic visualisation tools are seldom used outside the research laboratory. This paper presents an...
Michael J. Pacione, Marc Roper, Murray Wood