201
click to vote
PEPM
17 years 1 months ago
2009 ACM 
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...
126
click to vote
PEPM
15 years 6 months ago
2009 ACM 
A well-known bad code smell in refactoring and software maintenance is duplicated code, or code clones. A code clone is a code fragment that is identical or similar to another. Un...
102
click to vote
PEPM
15 years 10 months ago
2009 ACM 
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
123
click to vote
PEPM
15 years 10 months ago
2009 ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
115
click to vote
PEPM
15 years 10 months ago
2009 ACM 
Abstract. This paper presents techniques and tools to transform spreadsheets into relational databases and back. A set of data refinement rules is introduced to map a tabular data...
|
Software Engineering