Permalink
Browse files

a

  • Loading branch information...
1 parent 1c8fe1c commit 4033705e98177eeb65ea281ce477076ee44cb557 Mathias Millet committed Oct 17, 2011
Showing with 7 additions and 7 deletions.
  1. +7 −7 SEM/cours.tex
View
@@ -356,14 +356,14 @@ \section{Exceptions}
\paragraph*{Sémantique : }
\begin{itemize}
-\item lever : \begin{itemize}
-\item $\overline{<\text{throw }e, \sigma> \xrightarrow{e} \sigma}$
-\item $\overline{<\text{throw }e ;c , \sigma> \xrightarrow{e} \sigma}$
-\end{itemize}
+\item lever : $\overline{<\text{throw }e; c,\sigma> \xrightarrow{e} <\sigma>}$\\
+
+\item propager :$\dfrac{<c, \sigma > \xrightarrow{e} <\sigma>}{<c;c', \sigma > \rightarrow <\sigma>}$ \\
+
\item rattraper : \begin{itemize}
-\item $\dfrac{< c, \sigma > \xrightarrow{\tau} < c'', \sigma' >}{<\text{try c catch }e:c', \sigma > \xrightarrow{\tau} <\text{try c'' catch }e:c', \sigma > }$\\
-\item $\dfrac{< c, \sigma > \xrightarrow{e} \sigma}{<\text{try c catch }e:c', \sigma > \xrightarrow{\tau} <\text{try c'' catch }e:c', \sigma > }$ : l'exception est traitée par $c'$\\
-\item $\dfrac{< c, \sigma > \xrightarrow{l} \sigma}{<\text{try c catch }e:c', \sigma > \xrightarrow{l} <\text{try c'' catch }e:c', \sigma > }, l \not = e$
+\item $\dfrac{< c, \sigma > \xrightarrow{\tau} < c', \sigma' >}{<\text{try }c\text{ catch }e;c'', \sigma > \xrightarrow{\tau} <\text{try }c'\text{ catch }e:c'', \sigma > }$\\
+\item $\dfrac{< c, \sigma > \xrightarrow{e} \sigma}{<\text{try }c\text{ catch }e;c', \sigma > \xrightarrow{\tau} <c', \sigma > }$ : l'exception est traitée par $c'$\\
+\item $\dfrac{< c, \sigma > \xrightarrow{l} \sigma}{<\text{try }c\text{ catch }e;c', \sigma > \xrightarrow{l} < \sigma > }, l \not = e$
\end{itemize}
\end{itemize}
\begin{rem}{} Les exceptions se propagent de haut en bas mais pas de gauche à droite : si toutes les exceptions sont rattrapées, aucune n'est observable pendant l'exécution.\\

0 comments on commit 4033705

Please sign in to comment.