\documentclass{icai}
\begin{document}
%_______________________________________________________________________
\title{A Cache-Based Inter-Procedural\\
\medskip
Static Slicing Algorithm}
\thanks{Supported by the Hungarian Ministry of Education 
        under Grant FKFP0018/2002}
\author{Mihály Biczó, Krisztián Pócza, Zoltán Porkoláb}
\institute{
           Dept. of Programming Languages and Compilers, \\ 
           Fac. of Informatics, E\"otv\"os Lor\'and University, Budapest \\ 
           e-mail:mihaly.biczo@axelero.hu, kpocza@kpocza.net, gsd@elte.hu}
\address{\textbf{Mih\'aly Bicz\'o}\\ P\'azm\'any P\'eter s\'et\'any 1/c.,
         H-1117 Budapest, Hungary\AND
         \textbf{Kriszti\'an P\'ocza}\\ P\'azm\'any P\'eter s\'et\'any 1/c.,
         H-1117 Budapest, Hungary\AND
         \textbf{Zolt\'an Porkol\'ab}\\ P\'azm\'any P\'eter s\'et\'any 1/c. 
         H-1117 Budapest, Hungary}
%_______________________________________________________________________
% You can define environment for private theorem
\privatetheorem{prob}{Problem}{\rm}
%_______________________________________________________________________
\begin{ICAIpaper}
\begin{abstract}

Since the notion of program slicing was introduced, the area has seen a continuous evolution due to its wide application 
possibilities. While dynamic slicing gained more interest, static slicing has also been widely studied. Unfortunately, 
many slicing algorithms fail when applied to real-world programs. Improved algorithms offer the capability to slice 
real-world applications, but their usability is still heavily limited by their resource intensive characteristics. In this paper a 
caching algorithm intended to decrease average complexity of SDG-based static slicing is proposed. Caching different 
formal parameter set-ups of a procedure implies significant speed growth since re-computing the dependences between 
formal input and output parameters is avoidable.
% itt tilos space-t hagyni:
\keywords  static slicing, caching, inter-procedural
\AMSclassificationnumber 68M15 Reliability, testing and fault tolerance 
\end{abstract}

\end{ICAIpaper}
\end{document}
