Showing 1 - 11 results of 11 for search 'C.A. Middelburg', query time: 0.25s Refine Results
  1. 1
    Programming an Interpreter Using Molecular Dynamics

    Programming an Interpreter Using Molecular Dynamics by J. A. Bergstra, C. A. Middelburg

    Published 2007-12-01
    Get full text
    Article
  2. 2
    Axioms for Behavioural Congruence of Single-Pass Instruction Sequences

    Axioms for Behavioural Congruence of Single-Pass Instruction Sequences by J.A. Bergstra, C.A. Middelburg

    Published 2017-12-01
    Get full text
    Article
  3. 3
    Instruction Sequence Based Non-uniform Complexity Classes

    Instruction Sequence Based Non-uniform Complexity Classes by J.A. Bergstra, C.A. Middelburg

    Published 2014-06-01
    Get full text
    Article
  4. 4
    Timed Tuplix Calculus and the Wesseling and van den Bergh Equation

    Timed Tuplix Calculus and the Wesseling and van den Bergh Equation by J.A. Bergstra, C.A. Middelburg

    Published 2013-12-01
    Get full text
    Article
  5. 5
    A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences

    A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences by J.A. Bergstra, C.A. Middelburg

    Published 2016-12-01
    Get full text
    Article
  6. 6
    Probabilistic Thread Algebra

    Probabilistic Thread Algebra by J.A. Bergstra, C.A. Middelburg

    Published 2015-12-01
    Get full text
    Article
  7. 7
    Instruction Sequences Expressing Multiplication Algorithms

    Instruction Sequences Expressing Multiplication Algorithms by J.A. Bergstra, C.A. Middelburg

    Published 2018-06-01
    Get full text
    Article
  8. 8
    Indirect Jumps Improve Instruction Sequence Performance

    Indirect Jumps Improve Instruction Sequence Performance by J.A. Bergstra, C.A. Middelburg

    Published 2012-12-01
    Get full text
    Article
  9. 9
    On Instruction Sets for Boolean Registers in Program Algebra

    On Instruction Sets for Boolean Registers in Program Algebra by J.A. Bergstra, C.A. Middelburg

    Published 2016-06-01
    Get full text
    Article
  10. 10
    Instruction Sequences with Indirect Jumps

    Instruction Sequences with Indirect Jumps by J. A. Bergstra, C. A. Middelburg

    Published 2007-12-01
    Get full text
    Article
  11. 11
    Thread Extraction for Polyadic Instruction Sequences

    Thread Extraction for Polyadic Instruction Sequences by J.A. Bergstra, C.A. Middelburg

    Published 2011-12-01
    Get full text
    Article

Search Tools: