Search results
Results: 371
Number of items: 371
-
Bergstra, J. A., & Middelburg, C. A. (2009). Instruction sequences with dynamically instantiated instructions. Fundamenta Informaticae, 96(1-2), 27-48. https://doi.org/10.3233/FI-2009-165 -
Bergstra, J. A., & Middelburg, C. A. (2009). Indirect jumps improve instruction sequence performance. ArXiv. http://arxiv.org/abs/0909.2089
-
Bergstra, J. A., & Ponse, A. (2009). A progression ring for interfaces of instruction sequences, threads, and services. ArXiv. http://arxiv.org/abs/0909.2839
-
Bergstra, J., Hirschfeld, Y., & Tucker, J. (2008). Fields, meadows and abstract data types. In A. Avron, N. Dershowitz, & A. Rabinovich (Eds.), Pillars of computer science: Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday (pp. 166-178). (Lecture notes in computer science; No. 4800). Springer. https://doi.org/10.1007/978-3-540-78127-1_10
-
Bergstra, J. A., & Middelburg, C. A. (2008). Data linkage dynamics with shedding. ArXiv. http://arxiv.org/abs/0806.4034
-
Bergstra, J., Nolst Trenité, S., & van der Zwaag, M. (2008). UvA Budget Allocatie Model. (Programming Research Group electronic report series; No. PRG0805). Informatics Institute. http://www.science.uva.nl/pub/programming-research/ereports/PRG0805.pdf
-
Bergstra, J. A., Nolst Trenité, S., & van der Zwaag, M. B. (2008). Tuplix Calculus specifications of financial transfer networks. ArXiv. http://arxiv.org/abs/0805.1806
-
Bergstra, J. A., & Middelburg, C. A. (2008). Simulating Turing machines on Maurer machines. Journal of Applied Logic, 6(1), 1-23. https://doi.org/10.1016/j.jal.2007.04.001
-
Bergstra, J. A., & Middelburg, C. A. (2008). Distributed strategic interleaving with load balancing. Future Generation Computer Systems, 24(6), 530-548. https://doi.org/10.1016/j.future.2007.08.001
-
Bergstra, J. A., & Middelburg, C. A. (2008). Program algebra with a jump-shift instruction. Journal of Applied Logic, 6(4), 553-563. https://doi.org/10.1016/j.jal.2008.07.001
Page 18 of 38