Sciweavers

18 search results - page 2 / 4
» cc 1999
Sort
View
CC
1999
Springer
157views System Software» more  CC 1999»
13 years 5 months ago
Tool Support for Language Design and Prototyping with Montages
In this paper, we describe the tool Gem-Mex, supporting Montages, a visual formalism for the speci cation of imperative object oriented programming languages.
Matthias Anlauff, Philipp W. Kutter, Alfonso Piera...
DATE
1999
IEEE
120views Hardware» more  DATE 1999»
13 years 9 months ago
Hardware Synthesis from C/C++ Models
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
Giovanni De Micheli
CC
1999
Springer
154views System Software» more  CC 1999»
13 years 9 months ago
Faster Generalized LR Parsing
Tomita devised a method of generalized LR GLR parsing to parse ambiguous grammars e ciently. A GLR parser uses linear-time LR parsing techniques as long as possible, falling back...
John Aycock, R. Nigel Horspool
CC
1999
Springer
107views System Software» more  CC 1999»
13 years 9 months ago
Link-Time Improvement of Scheme Programs
Abstract. Optimizing compilers typically limit the scope of their analyses and optimizations to individual modules. This has two drawbacks: rst, library code cannot be optimized to...
Saumya K. Debray, Robert Muth, Scott A. Watterson
CC
1999
Springer
116views System Software» more  CC 1999»
13 years 9 months ago
A Programmable ANSI C Transformation Engine
Abstract. Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementin...
Maarten Boekhold, Ireneusz Karkowski, Henk Corpora...