Sciweavers

416 search results - page 24 / 84
» Software Code Generation for the RVC-CAL Language
Sort
View
PEPM
2004
ACM
15 years 7 months ago
Declarative specialization for object-oriented-program specialization
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
Helle Markmann Andersen, Ulrik Pagh Schultz
GPCE
2007
Springer
15 years 8 months ago
Generative programming techniques for Java library migration
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
Victor L. Winter, Azamatbek Mametjanov
CC
2008
Springer
123views System Software» more  CC 2008»
15 years 3 months ago
Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts
Portable low-level C programs must often support multiple equivalent in-memory layouts of data, due to the byte or bit order of the compiler, architecture, or external data formats...
Marius Nita, Dan Grossman
JSS
2010
120views more  JSS 2010»
14 years 8 months ago
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
Marco Bernardo, Edoardo Bontà, Alessandro A...
ICSM
2002
IEEE
15 years 6 months ago
Documenting Pattern Use in Java Programs
Design patterns are widely recognized as important software development methods. Their use as software understanding tools, though generally acknowledged has been scarcely explore...
Marco Torchiano