Author： Sieber K.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.168, Iss.1, 1996-11, pp. : 155-212
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
The regular-language semantics of second-order idealized ALGOL
Theoretical Computer Science, Vol. 309, Iss. 1, 2003-12 ,pp. :
Access to resources
Recommend
Full abstraction for Idealized Algol with passive expressions
Theoretical Computer Science, Vol. 227, Iss. 1, 1999-09 ,pp. :
Information flow for Algol-like languages
Computer Languages, Vol. 28, Iss. 1, 2002-04 ,pp. :
Full abstraction and recursion
Theoretical Computer Science, Vol. 151, Iss. 1, 1995-11 ,pp. :
Monadic second-order logic on tree-like structures
Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. :