1107 search results - page 66 / 222 » XAIRA : software for language analysis |
EUROSYS
2009
ACM
14 years 7 months ago
2009
ACM
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...
PLDI
2005
ACM
14 years 4 months ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...
JMLC
2000
Springer
14 years 2 months ago
2000
Springer
The principle of modularisation is one of the main techniques that software designers use to tame the complexity of programming. A software project, however, is complex in many oth...
PLDI
2005
ACM
14 years 4 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
We propose static program analysis techniques for identifying the impact of relational database schema changes upon object-oriented applications. We use dataflow analysis to extra...