Enforcing trace properties by program transformation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2000

Enforcing trace properties by program transformation

Pascal Fradet
  • Function : Author
  • PersonId : 830961


We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program and the property and automatically produces another ``equivalent'' program satisfying the property. This separation of concerns makes the program easier to develop and maintain. Our approach is both static and dynamic. It integrates static analyses in order to avoid useless transformations. On the other hand, it never rejects programs but adds dynamic checks when necessary. An important challenge is to make this dynamic enforcement as inexpensive as possible. The most obvious application domain is the enforcement of security policies. In particular, a potential use of the method is the securization of mobile code upon receipt.
Fichier principal
Vignette du fichier
POPL00.pdf (267.62 Ko) Télécharger le fichier

Dates and versions

inria-00000937 , version 1 (15-12-2005)


  • HAL Id : inria-00000937 , version 1


Thomas Colcombet, Pascal Fradet. Enforcing trace properties by program transformation. Principles of Programming Languages, Jan 2000, Boston. ⟨inria-00000937⟩
125 View
211 Download


Gmail Facebook Twitter LinkedIn More