Denotational semantics for a program logic of objectsThis work was supported by the EPSRC under grant GR/R65190/01, `Programming Logics for Denotations of Recursive Objects¿

• Localización: Mathematical structures in computer science, ISSN 0960-1295, Vol. 16, Nº 2, 2006, págs. 313-358
• Idioma: inglés
• Texto completo no disponible (Saber más ...)