Concepedia

Interface Signatures

Interface Signatures is a formal specification mechanism in module systems that defines the syntactic and semantic boundaries of a module by enumerating its exported entities, their types, and their behavioral constraints, thereby enabling precise inter-module dependencies and composability.

19

Publications

881

Citations

53

Authors

26

Institutions

Publications per year

2017–2026

1

Parents

Publications

19

Semi-automated adaptation of service interactions

Hamid R. Motahari Nezhad, Boualem Benatallah, Axel Martens et al. · 2007 · 256 citations

, , +14

Using and Porting GNU CC

Richard Stallman · 1998 · 185 citations

, , +12

Towards supporting awareness of indirect conflicts across software configuration management workspaces

Anita Sarma, Gerald Bortis, André van der Hoek · 2007 · 73 citations

, , +14

A comprehensive interface definition framework for software components

J. Han · 2002 · 65 citations

, , +16

<i>H/Direct</i>

Sigbjørn Finne, Daan Leijen, Erik Meijer et al. · 1998 · 50 citations

, , +11

1–5 of 19

Authors

53

  1. BK
    Bernd Krämer

    University of Regensburg, Germany

    1 publications · 12 citations

    1

    h-index

  2. LK
    Lee Krause

    Securboration (United States), United States

    1 publications · 25 citations

    1

    h-index

  3. XL
    Xavier Leroy

    Université de Lille, France

    1 publications · 17 citations

    1

    h-index

  4. GB
    Gerald Bortis

    University of California, Irvine, United States

    1 publications · 73 citations

    1

    h-index

  5. RS
    Richard Stallman

    Massachusetts Institute of Technology, United States

    1 publications · 185 citations

    1

    h-index

1–5 of 53

Institutions

26

  1. IBM (United States)

    Armonk, United States

    2 h-index

    4 publications

    548 citations

  2. University of Delhi

    New Delhi, India

    1 h-index

    1 publications

    40 citations

  3. Maharshi Dayanand University

    Rohtak, India

    1 h-index

    1 publications

    40 citations

  4. Modus Operandi (United States)

    Melbourne, United States

    1 h-index

    1 publications

    25 citations

  5. University of California, Berkeley

    Berkeley, United States

    1 h-index

    1 publications

    13 citations

  6. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    1 h-index

    2 publications

    42 citations

  7. Monash University

    Melbourne, Australia

    1 h-index

    1 publications

    65 citations

  8. Bavarian Research Foundation

    Munich, Germany

    1 h-index

    1 publications

    13 citations

1–8 of 26

Venues

  1. Journal of Functional Programming

    1 publications · 13 citations

    1

    h-index

  2. Journal of Software

    1 publications · 10 citations

    1

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 21 citations

    1

    h-index

  4. ACM SIGSOFT Software Engineering Notes

    SEN · 1 publications · 40 citations

    1

    h-index

  5. Infoscience (Ecole Polytechnique Fédérale de Lausanne)

    Repository · 1 publications · 13 citations

    1

    h-index

1–5