university website Publications by Year
  • sign in
  • Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
  • thumb

    The intermediate language for pictures : (prepublication) Tech Report

    T. Hagen, P.J.W. ten Hagen (Paul), P. Klint (Paul) and H. Noot (Han)

    January 1976
  • thumb

    A W-grammar for the semantics of integer expressions : (prepublication) Tech Report

    L. Ammeraal

    January 1976
  • thumb

    On forward and backward proof rules for program verification : (prepublication) Tech Report

    L. Ammeraal

    January 1976
  • thumb

    The report on the standard hardware representation for Algol 68 : (prepublication) Tech Report

    H.J. Boom and W.J. Hansen

    January 1976
  • thumb

    A view of coroutines : (prepublication) Tech Report

    D. Grune (Dick)

    January 1976
  • thumb

    Semantics and the foundations of program proving : (prepublication) Tech Report

    J.W. de Bakker (Jaco)

    January 1976
  • thumb

    On the Algol 68 transput conversion routines : (prepublication) Tech Report

    J.C. van Vliet (Hans)

    January 1976
  • thumb

    From abstract variable to concrete representation : (prepublication) Tech Report

    L.G.L.T. Meertens (Lambert)

    January 1976
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close