Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Personlig profil

Forskningsområder

  • Metoder til softwareudvikling
  • Testning
  • Programmeringsværktøjer og -teknologier
  • Statisk analyse
  • Programmeringssprog
  • Programmeringssprog og formelle modeller
  • Funktionel programmering
  • Oversættere og fortolkere
  • Programmeringsparadigmer

Fingeraftryk

Fingeraftryk er baseret på at anvende teksten fra personernes videnskabelige dokumenter til at skabe et indeks med vægtede emneordskoncepter, som definerer de vigtigste emner for hver enkelt forsker.
  • 3 Lignende profiler

Netværk

Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på prikkerne.
  • Developments in property-based testing (invited talk)

    Midtgaard, J., 2018, Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, 1 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferenceabstrakt i proceedingsForskning

  • Process-Local Static Analysis of Synchronous Processes

    Midtgaard, J., Nielson, F. & Nielson, H. R., 1. jan. 2018, Static Analysis: 25th International Symposium, SAS 2018, Proceedings. Podelski, A. (red.). Springer, s. 284-305 (Lecture Notes in Computer Science, Bind 11002). (Programming and Software Engineering, Bind 11002).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    103 Downloads (Pure)
  • QuickChecking Patricia Trees

    Midtgaard, J., 2018, Trends in Functional Programming - 18th International Symposium, TFP 2017, Revised Selected Papers. Wang, M. & Owens, S. (red.). Springer, s. 59-78 (Lecture Notes in Computer Science, Bind 10788). (Theoretical Computer Science and General Issues, Bind 10788).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Effect-driven QuickChecking of compilers

    Midtgaard, J., Nygaard Justesen, M., Kasting, P., Nielson, F. & Riis Nielson, H., 2017, Proceedings of the ACM on Programming Languages. 15 udg. Association for Computing Machinery, Bind 1. s. 1-23

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    32 Downloads (Pure)
  • QuickChecking static analysis properties

    Midtgaard, J. & Møller, A., 1. sep. 2017, I : Software Testing, Verification and Reliability. 27, 6, e1640.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.