Sciweavers

787 search results - page 14 / 158
» Source code analysis and manipulation
Sort
View
PEPM
2009
ACM
15 years 2 months ago
Translation and optimization for a core calculus with exceptions
A requirement of any source language is to be rich in features and concise to use by the programmers. As a drawback, it is often too complex to analyse, causing research studies t...
Cristina David, Cristian Gherghina, Wei-Ngan Chin
ENTCS
2007
168views more  ENTCS 2007»
14 years 9 months ago
Bytecode Rewriting in Tom
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
Emilie Balland, Pierre-Etienne Moreau, Antoine Rei...
HYBRID
2003
Springer
15 years 2 months ago
Mode Reconstruction for Source Coding and Multi-modal Control
s of Invited Presentations The Mathematics of Matter and the Mathematics of Mind . . . . . . . . . . . . . 1 David Berlinski A Grand Challenge: Full Reactive Modeling of a Multi-ce...
Adam Austin, Magnus Egerstedt
SCAM
2006
IEEE
15 years 3 months ago
Linking Analysis and Transformation Tools with Source-Based Mappings
This paper discusses an approach to linking separate analysis and transformation tools, such that analysis results can be used to guide transformations. Our approach consists of t...
Magiel Bruntink
ETRA
2006
ACM
122views Biometrics» more  ETRA 2006»
15 years 3 months ago
Analyzing individual performance of source code review using reviewers' eye movement
This paper proposes to use eye movements to characterize the performance of individuals in reviewing source code of computer programs. We first present an integrated environment t...
Hidetake Uwano, Masahide Nakamura, Akito Monden, K...