Abstraction Boundaries

Abstraction Boundaries is a formal mechanism in module systems that delineates the encapsulation of implementation details within modules, thereby enforcing separation of concerns by restricting access to internal components while exposing only designated interfaces.

24

Publications

2K

Citations

57

Authors

25

Institutions

Publications per year

2017–2026

2

Authors

57

  1. SJ
    Suresh Jagannathan

    Purdue University West Lafayette, United States

    3 publications · 47 citations

    3

    h-index

  2. NT
    Nikolai Tillmann

    Microsoft (United States), United States

    2 publications · 77 citations

    2

    h-index

  3. JK
    Jun Kato

    The University of Tokyo, Japan

    2 publications · 77 citations

    2

    h-index

  4. PD
    Peli de Halleux

    Microsoft (United States), United States

    2 publications · 77 citations

    2

    h-index

  5. MF
    Manuel Fähndrich

    Microsoft (United States), United States

    2 publications · 77 citations

    2

    h-index

1–5 of 57

Venues

  1. ACM SIGPLAN Notices

    3 publications · 39 citations

    3

    h-index

  2. American Mathematical Monthly

    2 publications · 46 citations

    2

    h-index

  3. 1

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 22 citations

    1

    h-index

  5. Cognition Technology & Work

    1 publications · 51 citations

    1

    h-index

1–5