Logotype Mälardalen University

MRTC publications



ALF (ARTIST2 Language for Flow Analysis) Specification

Authors: Jan Gustafsson, Andreas Ermedahl (former), Björn Lisper
Source: Technical Report, MRTC
Notes: This is a version 1.31 of the ALF specification. It replaces v. 1.30 from 2008.
 

Abstract

ALF (ARTIST2 Language for Flow Analysis) is a language intended to be used for flow analysis in conjunction with WCET (Worst Case Execution Time) analysis. ALF is designed to be possible to generate from a rich set of sources: linked binaries, source code, compiler intermediate formats, and possibly more.
 

BibTeX entry

@techreport{Gustafsson_1351:2011,
   author = {Jan Gustafsson and Andreas Ermedahl and Bj{\"o}rn Lisper},
   title = {ALF (ARTIST2 Language for Flow Analysis) Specification},
   month = {October},
   year = {2011},
   institution = {M{\aa}lardalen University},
   number = {},
   type = {{T}echnical {R}eport},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1351},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2010.02.23