6794 search results - page 963 / 1359 » Semantics of Visual Languages |
167
click to vote
PEPM
2004
ACM
16 years 5 days 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...
169
click to vote
SIGADA
2004
Springer
16 years 5 days ago
2004
Springer
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...
160
click to vote
SIGADA
2004
Springer
16 years 5 days ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
162
click to vote
TSD
2004
Springer
16 years 5 days ago
2004
Springer
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...
203
click to vote
VMCAI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...