Preprints

J. A. Bergstra and M. B. van der Zwaag (2008). Mechanistic behavior of single-pass instruction sequences. arXiv:0809.4635v1 [cs.PL].

J. A. Bergstra and C. A. Middelburg (2009b). Instruction sequence notations with probabilistic instructions. arXiv:0906.3083v2 [cs.PL].

J. A. Bergstra and C. A. Middelburg (2012e). Turing impossibility properties for stack machine programming. arXiv:1201.6028v1 [cs.LO].

J. A. Bergstra and C. A. Middelburg (2013a). Instruction sequence expressions for the Karatsuba multiplication algorithm. arXiv:1312.1529v1 [cs.PL].

J. A. Bergstra and C. A. Middelburg (2013b). Instruction sequence expressions for the secure hash algorithm SHA-256. arXiv:1308.0219v6 [cs.PL].

J. A. Bergstra and C. A. Middelburg (2013c). Long multiplication by instruction sequences with backward jump instructions. arXiv:1312.1812v3 [cs.PL].

J. A. Bergstra and C. A. Middelburg (2017). Axioms for behavioural congruence of single-pass instruction sequences. arXiv:1702.03511v1 [cs.PL].

 

Papers are ordered by year of publication. If two or more publications have the same year of publication, then they are further ordered by surnames of the authors. If two or more publications have the same year of publication and the same surnames of the authors, then they are further ordered by title of the paper.

Advertisements