P. Cousot, IFIP-WG 2.3 Cambridge meeting, 21—25 July 2008, Cambridge, England

Patrick Cousot.
Calculational Design of Semantics of the Eager Lambda-Calculus by Abstract Interpretation.
IFIP-WG 2.3 Cambridge meeting , 21—25 July 2008, Cambridge, England.
Abstract of the 45 mn talk : We introduce the notion of non-monotone bi-inductive definitions and their abstraction and apply them to the definition of a hierarchy of finite and infinite semantics of the eager lambda calculus, in small and big-step presentation, at various levels of abstraction, including trace, relational ans transitional semantics.
Slides: 4/1 .pdf.

Bibliography (to reference the talks):

\bibitem{Cousot03-WG-2-3-Biarritz}
P{.} Cousot.
\newblock Calculational Design of Semantics of the Eager Lambda-Calculus by 
          Abstract Interpretation.
\newblock IFIP WG 2.3 metting, 21—25 July 2008, Cambridge, England.

@unpublished{Cousot03-WG-2-3-Biarritz,
   author = {P{.} Cousot},
   title  = {Calculational Design of Semantics of the Eager Lambda-Calculus by 
             Abstract Interpretation},
   note   = {IFIP WG 2.3 metting, 21—25 July 2008, Cambridge, England},
}

copyright notice.
Last modified: Monday, 07-May-2012 17:51:05 EDT