2608 search results - page 183 / 522 » Subjects, Models, Languages, Transformations |
147
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Despite the automated refactoring support provided by today's IDEs many program transformations that are easy to conceptualize-such as improving the implementation of a desig...
167
click to vote
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
175
click to vote
MEMOCODE
2008
IEEE
16 years 26 days ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
139
click to vote
SIGCSE
2004
ACM
15 years 12 months ago
2004
ACM
We describe the instructional software JFLAP 4.0 and how it can be used to provide a hands-on formal languages and automata theory course. JFLAP 4.0 doubles the number of chapters...
159
click to vote
PEPM
2004
ACM
15 years 11 months ago
2004
ACM
We implement strength reduction and loop-invariant code motion by specializing instrumented interpreters; we define a novel program transformation that uses bisimulation to ident...