Concepedia

Type Systems For Logic Programming

Type Systems for Logic Programming is a formal framework that specifies how type constraints are defined, inferred, and enforced within logic programs to ensure correctness and enhance program reliability by restricting the semantics of predicates and terms according to logical and computational principles.

87

Publications

5.5K

Citations

147

Authors

78

Institutions

Publications per year

2017–2026

3

Parents

Publications

87

Theory of generalized annotated logic programming and its applications**A preliminary report on this research has appeared in [34].

Michael Kifer, V. S. Subrahmanian · The Journal of Logic Programming · 1992 · 446 citations

, , +6

Bilattices and the semantics of logic programming

Melvin Fitting · The Journal of Logic Programming · 1991 · 410 citations

, , +11

A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

Dale Miller · Journal of Logic and Computation · 1991 · 372 citations

, , +13

Interaction nets

Yves Lafont · 1990 · 317 citations

, , +14

A practical framework for theabstract interpretation of logic programs

Maurice Bruynooghe · The Journal of Logic Programming · 1991 · 250 citations · Full text

, , +13

1–5 of 87

Authors

147

  1. FP
    Frank Pfenning

    Carnegie Mellon University, United States

    6 publications · 390 citations

    6

    h-index

  2. JA
    Joseph A. Goguen

    SRI International, United States

    3 publications · 402 citations

    3

    h-index

  3. GN
    Gopalan Nadathur

    Duke University, United States

    3 publications · 86 citations

    3

    h-index

  4. ES
    Ehud Shapiro

    Weizmann Institute of Science, Israel

    3 publications · 287 citations

    3

    h-index

  5. JM
    José Meseguer

    University of Illinois Urbana-Champaign, United States

    3 publications · 402 citations

    3

    h-index

1–5 of 147

Institutions

78

  1. Universidad Politécnica de Madrid

    Madrid, Spain

    5 h-index

    6 publications

    387 citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    4 h-index

    6 publications

    449 citations

  3. Microsoft (United States)

    Redmond, United States

    3 h-index

    6 publications

    180 citations

  4. KU Leuven

    Leuven, Belgium

    3 h-index

    3 publications

    472 citations

  5. Universidad Complutense de Madrid

    Madrid, Spain

    3 h-index

    6 publications

    300 citations

  6. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    3 h-index

    5 publications

    168 citations

  7. Christian-Albrechts-Universität zu Kiel

    Kiel, Germany

    2 h-index

    3 publications

    285 citations

  8. Weizmann Institute of Science

    Rehovot, Israel

    2 h-index

    4 publications

    328 citations

1–8 of 78

Venues

  1. The Journal of Logic Programming

    8 publications · 1.4K citations

    8

    h-index

  2. Theory and Practice of Logic Programming

    4 publications · 101 citations

    4

    h-index

  3. International Conference on Logic Programming

    Conference · 4 publications · 229 citations

    4

    h-index

  4. Journal of Functional Programming

    3 publications · 76 citations

    3

    h-index

  5. Computers & Mathematics with Applications

    3 publications · 55 citations

    3

    h-index

1–5