Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 371
Number of items: 371
  • Open Access
    Bergstra, J. A., & Middelburg, C. A. (2012). On the behaviours produced by instruction sequences under execution. Fundamenta Informaticae, 120(2), 111-144. https://doi.org/10.3233/FI-2012-753
  • Bergstra, J. A., & Middelburg, C. A. (2012). Instruction Sequences for Computer Science. (Atlantis Studies in Computing; No. 2). Atlantis Press.
  • Open Access
    Bergstra, J. A., & Middelburg, C. A. (2012). Indirect jumps improve instruction sequence performance. Scientific Annals of Computer Science, 22(2), 253-265. https://doi.org/10.7561/SACS.2012.2.253
  • Bergstra, J. A., & Ponse, A. (2012). Proposition algebra and short-circuit logic. In F. Arbab, & M. Sirjani (Eds.), Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22 2011: revised selected papers (pp. 15-31). (Lecture Notes in Computer Science; Vol. 7141). Springer. https://doi.org/10.1007/978-3-642-29320-7_2
  • Open Access
    Bergstra, J. A., & Middelburg, C. A. (2012). Instruction sequence processing operators. Acta Informatica, 49(3), 139-172. https://doi.org/10.1007/s00236-012-0154-2
  • Open Access
    Bergstra, J. A. (2012). Decision taking as a service. ArXiv. http://arxiv.org/abs/1205.4194
  • Open Access
    Bergstra, J. A. (2012). About Instruction Sequence Testing. ArXiv. http://arxiv.org/abs/1201.3929
  • Open Access
    Bergstra, J. A. (2012). Informaticology: combining Computer Science, Data Science, and Fiction Science. ArXiv. http://arxiv.org/abs/1210.6636
  • Open Access
    Bergstra, J. A., & Middelburg, C. A. (2012). On the expressiveness of single-pass instruction sequences. Theory of Computing Systems, 50(2), 313-328. https://doi.org/10.1007/s00224-010-9301-8
  • Bergstra, J. A., & Ponse, A. (2011). Proposition algebra. ACM Transactions on Computational Logic, 12(3), 21. https://doi.org/10.1145/1929954.1929958
Page 12 of 38