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

    Choosing a tag-list algorithm for a compiler with special application to the Aleph compiler : (preprint) Tech Report

    D. Grune (Dick)

    January 1977
  • thumb

    Guidelines for program portability : (preprint) Tech Report

    A.S. Tanenbaum (Andrew), P. Klint (Paul) and A. P. W. Böhm (Anton)

    January 1977
  • thumb

    Keyword grammars : (preprint) Tech Report

    L.J.M. Geurts (Leo) and L.G.L.T. Meertens (Lambert)

    January 1977
  • thumb

    Formula simplification in relation to program verification Tech Report

    L. Ammeraal

    January 1977
  • thumb

    Completeness with finite systems of intermediate assertions for recursive program schemes : (preprint) Tech Report

    K.R. Apt (Krzysztof) and L.G.L.T. Meertens (Lambert)

    January 1977
  • thumb

    Recursive programs as predicate transformers : (preprint) Tech Report

    J.W. de Bakker (Jaco)

    January 1977
  • thumb

    Semantics of infinite processes using generalized trees Tech Report

    J.W. de Bakker (Jaco)

    January 1977
  • thumb

    How good can a graph be n-colored? : (preprint) Tech Report

    P.M.B. Vitányi (Paul)

    January 1977
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