mirage

Browsing LIP - Laboratoire de l'Informatique du Parallélisme by Subject "Operational Semantics"

DSpace/Manakin Repository

Browsing LIP - Laboratoire de l'Informatique du Parallélisme by Subject "Operational Semantics"

Sort by: Order: Results:

  • Laboratoire de l'informatique du parallélisme; Lang, Frédéric; Lescanne, Pierre; Liquori, Luigi (1998-12)
    (eng) In this paper, we give a general framework for the foundation of an operational (small step) semantics of object-based languages with an emphasis on functional and imperative issues. The framework allows classifying ...
  • Laboratoire de l'informatique du parallélisme; Dougherty, Daniel; Lang, Frédéric; Lescanne, Pierre; Liquori, Luigi; Rose, Kristoffer (1999-12)
    (eng) In a previous paper we have outlined a framework (or a generic object-calculus) called \Obja, for modeling \textit{object calculi}. In this one, we would like to describe the foundations of \Obja{}. This framework ...

Search DSpace


Advanced Search

Browse

My Account

Bookmark and Share