nch@PROOF.ERGO.CS.CMU.EDU (Nevin Heintze) (06/12/90)
Enclosed is a preliminary program for the workshop on abstract
interpretation and program analysis at ICLP90. Please note that
the two afternoon sessions are joint sessions with
the workshop on semantics of concurrent logic languages.
-- Nevin Heintze and Kim Marriot.
\documentstyle[11pt]{article}
\pagestyle{plain}
\begin{document}
\section*{PRELIMINARY PROGRAMME:}
\begin{center}
{\large \bf
Workshop on "Abstract Interpretation and Program Analysis"}\\[0.5cm]
{\large Eilat, June 14, 1990}
\end{center}
\noindent
In the morning session talks should be about 30 minutes plus 10 minutes
for discussion. In the (joint) afternoon session talks should be
about 20 minutes plus 10 minutes for discussion.
\noindent
9:00 -- 9.10 Introductory note
\noindent
9.10 -- 10:30 Session A
\begin{itemize}
\item "Deriving Description of Possible Values of Program Variables
by means of Abstract Interpretation",
G. Janssens, M. Bruynooghe
\item "Inferring Precise and Structured Modes Efficiently with a
Bidirectional Algorithm",
N.-F. Zhou , T. Takagi, K. Ushijima
\end{itemize}
\noindent
10:30 -- 11:00 Coffee break
\noindent
11:00 -- 1:00 Session B
\begin{itemize}
\item "Parallelizing Logic Programs using Abstract Interpretation",
M. Hermenegildo
\item "A General Framework for Bottom-Up Abstract Interpretation",
R. Barbuti, R. Giacobazzi, G. Levi
\item "Bottom-up Abstract Interpretation of Sequential and
Concurrent Logic Programs",
M. Codish, D. Dams, E. Yardeni
\end{itemize}
\noindent
1:00 -- 3:10 Lunch
\noindent
3:10 -- 4:10 Session C: joint session with workshop on
Semantics of Concurrent Logic Languages
\begin{itemize}
\item "Mode Analysis of Flat GHC Programs",
K. Ueda, M. Morita
\item "Abstract Interpretation of FGHC Programs",
K. Horiuchi
\end{itemize}
\noindent
4:10 -- 4:30 Coffee Break
\noindent
4:30 -- 5:30 Session D: joint session with workshop on
Semantics of Concurrent Logic Languages (continued)
\begin{itemize}
\item "A Collecting Semantics for Strand",
I. Foster, W. Winsborough
\item "Abstract Interpretation for Concurrent Logic Languages",
C. Codognet, P. Codognet, M. Corsini
\end{itemize}
\end{document}