1821 search results - page 49 / 365 » Security-Aware Program Transformations |
135
Voted
LOPSTR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. It has often been observed that a point-free style of programvides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semant...
132
click to vote
SCAM
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents a flexible way in which a deisgn model extracted from Java programs can remain unified with the source code. Each entity declaration and reference in the Java ...
134
Voted
WORDS
2003
IEEE
15 years 7 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
122
Voted
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
81
Voted
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
Programs written in point-free form express computation purely in terms of functions. Such programs are especially amenable to local transformation. In this paper, we describe a pr...