309 search results - page 27 / 62 » Code Transformations for One-Pass Analysis |
121
Voted
PASTE
1998
ACM
15 years 6 months ago
1998
ACM
Concept analysis transforms any relation between ‘lobjects” and “attributes” into a complete lattice. This concept lattice can be studied by algebraic means and offers rem...
147
click to vote
ECEASST
2006
15 years 2 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
125
Voted
POPL
1995
ACM
15 years 6 months ago
1995
ACM
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this forces a compiler to use universal representations eve...
115
click to vote
ECOOP
2009
Springer
15 years 9 months ago
2009
Springer
Modern development environments support refactoring by providing atomically behaviour-preserving transformations. While useful, these transformations are limited in three ways: (i)...
99
Voted
ICMCS
2007
IEEE
15 years 8 months ago
2007
IEEE
In this digital era, digital multimedia contents are often transmitted over networks without any protection. This raises serious security concerns since the receivers/subscribers ...