Search Results - Smetsers, Sjaak

  • Showing 1 - 10 results of 10
Refine Results
  1. 1
    Unraveling novices' code composition difficulties

    Unraveling novices' code composition difficulties by Weeda, Renske, Smetsers, Sjaak, Barendsen, Erik

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Formal Component-Based Semantics

    Formal Component-Based Semantics by Madlener, Ken, Smetsers, Sjaak, van Eekelen, Marko

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Derivation and inference of higher-order strictness types

    Derivation and inference of higher-order strictness types by Smetsers, Sjaak, van Eekelen, Marko

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Deadlock and starvation free reentrant readers–writers: A case study combining model checking with theorem proving

    Deadlock and starvation free reentrant readers–writers: A case study combining model checking with theorem proving by van Gastel, Bernard, Lensink, Leonard, Smetsers, Sjaak, van Eekelen, Marko

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Code-carrying theories

    Code-carrying theories by JACOBS, Bart, SMETSERS, Sjaak, SCHREUR, Ronny Wichers

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Efficient Verification of Optimized Code: Correct High-speed X25519

    Efficient Verification of Optimized Code: Correct High-speed X25519 by Schoolderman, Marc, Moerman, Jonathan, Smetsers, Sjaak, Marko van Eekelen

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Uniqueness typing for functional languages with graph rewriting semantics

    Uniqueness typing for functional languages with graph rewriting semantics by Barendsen, Erik, Smetsers, Sjaak

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Efficient and Type-Safe Generic Data Storage

    Efficient and Type-Safe Generic Data Storage by Smetsers, Sjaak, van Weelden, Arjen, Plasmeijer, Rinus

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    Partially strict non-recursive data types

    Partially strict non-recursive data types by Nöcker, Eric, Smetsers, Sjaak

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  10. 10
    A Derivation System for Uniqueness Typing

    A Derivation System for Uniqueness Typing by Barendsen, Erik, Smetsers, Sjaak

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:

Search Tools: