Skip to main navigation Skip to search Skip to main content

Popular parallel programming

    Project: Research

    • 2 Report
    • 2 Journal article
    • 1 Article in proceedings
    • 1 Paper

    Search results

    • 2020

      On the semantics for spreadsheets with sheet-defined functions

      Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., Mar 2020, In: Journal of Computer Languages. 57, 11 p., 100960.

      Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

      Open Access
      File

    • 2019

      A Comparison Between SISAL 1.2 and Funcalc

      Bock, A., 2019, IT-Universitetet i København. 74 p. (IT University Technical Report Series; No. TR-2019-205).

      Research output: Book / Anthology / Report › Report › Research

      File

    • Puncalc: task-based parallelism and speculative reevaluation in spreadsheets

      Bock, A. A. & Biermann, F., 2019, In: Journal of Supercomputing. 21 p.

      Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

      Open Access
      File

    • 2018

      Concrete and Abstract Cost Semantics for Spreadsheets

      Bock, A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., 2018, IT-Universitetet i København. 63 p. (IT University Technical Report Series; No. TR-2018-203).

      Research output: Book / Anthology / Report › Report › Research

      Open Access
      File

    • Puncalc: Task-Based Parallelism and Speculative Reevaluation in Spreadsheets

      Biermann, F. & Bock, A., 2018.

      Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review

      Open Access
      File

    • Static Partitioning of Spreadsheets for Parallel Execution

      Bock, A., 19 Dec 2018, Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. Alferes, J. J. & Johansson, M. (eds.). Springer, p. 221-237 17 p. (Lecture Notes in Computer Science, Vol. 11372).

      Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

      File