Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
CCS
2010
ACM
10 years 3 months ago
TAPS: automatically preparing safe SQL queries
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakris...
TOPLAS
1998
133views more  TOPLAS 1998»
10 years 4 months ago
A Systematic Study of Functional Language Implementations
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
Rémi Douence, Pascal Fradet
SPE
2008
83views more  SPE 2008»
10 years 4 months ago
Conditioned semantic slicing for abstraction; industrial experiment
raction; Industrial Experiment Martin Ward, , Hussein Zedan
Martin P. Ward, Hussein Zedan, Matthias Ladkau, St...
CORR
2010
Springer
147views Education» more  CORR 2010»
10 years 4 months ago
Mechanized semantics
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
Xavier Leroy
CORR
2010
Springer
62views Education» more  CORR 2010»
10 years 4 months ago
Views, Program Transformations, and the Evolutivity Problem
In this article, we argue that a program transformation approach is a good way to solve the tyranny of the primary decomposition. We illustrate our transformation-based approach o...
Julien Cohen, Rémi Douence
DAGSTUHL
1996
10 years 5 months ago
A Comparative Revisitation of Some Program Transformation Techniques
We revisit the main techniques of program transformation which are used in partial evaluation, mixed computation, supercompilation, generalized partial computation, rule-based prog...
Alberto Pettorossi, Maurizio Proietti
IWFM
1998
10 years 5 months ago
Applications of the TAMPR Transformation System
In this paper we present an overview of the uses of the TAMPR transformation system and present experience with using transformation in industrial applications. TAMPR is a fully a...
Terence J. Harmer, Patrick J. McParland, James M. ...
IASTEDSEA
2004
10 years 5 months ago
Higher-order strategic programming: A road to software assurance
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
Victor L. Winter, Steve Roach, Fares Fraij

4
posts
with
448
views
252profile views Browse  My Posts »
Sergei A. RomanenkoResearch Scientist, PhD
Keldysh Institute of Applied Mathematics
Sergei A. Romanenko
PEPM
1991
ACM
10 years 7 months ago
Properties of Unfolding-based Meta-level Systems
It is well known that the performance of a program can often be improved by means of program transformation. Several program transformation techniques, eg. partial evaluation, wor...
Torben Amtoft Hansen
books