Concepedia

Fixed-point Semantics

Fixed-Point Semantics is a formal method in mathematical logic and programming language theory that specifies the meaning of recursive definitions by identifying the least fixed point of a monotone function over a complete lattice, thereby ensuring a consistent and compositional interpretation of self-referential constructs.

223

Publications

12.8K

Citations

348

Authors

206

Institutions

Publications per year

2017–2026

14

Parents

Publications

223

The Semantics of Predicate Logic as a Programming Language

M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text

, , +16

Fixed points by a new iteration method

Shiro Ishikawa · Proceedings of the American Mathematical Society · 1974 · 1.3K citations · Full text

, , +12

Semantics of programming languages: structures and techniques

Choice Reviews Online · 1993 · 422 citations

, , +17

Laws of programming

C. A. R. Hoare, Ian J. Hayes, He Jifeng et al. · Communications of the ACM · 1987 · 389 citations · Full text

, , +14

A generalization of Dijkstra's calculus

Greg Nelson · ACM Transactions on Programming Languages and Systems · 1989 · 277 citations · Full text

, , +15

1–5 of 223

Authors

348

  1. ZM
    Zohar Manna

    Stanford University, United States

    5 publications · 258 citations

    5

    h-index

  2. PM
    P. Madhusudan

    University of Illinois Urbana-Champaign, United States

    4 publications · 97 citations

    4

    h-index

  3. AM
    Andrew M. Pitts

    University of Cambridge, United Kingdom

    4 publications · 146 citations

    4

    h-index

  4. MD
    Marc Denecker

    KU Leuven, Belgium

    4 publications · 102 citations

    4

    h-index

  5. JV
    Joost Vennekens

    KU Leuven, Belgium

    3 publications · 86 citations

    3

    h-index

1–5 of 348

Institutions

206

  1. Stanford University

    Stanford, United States

    11 h-index

    14 publications

    697 citations

  2. University of Cambridge

    Cambridge, United Kingdom

    10 h-index

    15 publications

    461 citations

  3. University of Oxford

    Oxford, United Kingdom

    8 h-index

    14 publications

    2.5K citations

  4. Centrum Wiskunde & Informatica

    Amsterdam, The Netherlands

    5 h-index

    5 publications

    125 citations

  5. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    5 h-index

    8 publications

    237 citations

  6. University of Amsterdam

    Amsterdam, The Netherlands

    5 h-index

    6 publications

    170 citations

  7. RWTH Aachen University

    Aachen, Germany

    5 h-index

    6 publications

    164 citations

  8. University of Warsaw

    Warsaw, Poland

    4 h-index

    3 publications

    113 citations

1–8 of 206

Venues

  1. Theoretical Computer Science

    15 publications · 679 citations

    14

    h-index

  2. Theory and Practice of Logic Programming

    6 publications · 226 citations

    6

    h-index

  3. Fundamenta Informaticae

    6 publications · 142 citations

    6

    h-index

  4. SIAM Journal on Computing

    6 publications · 153 citations

    6

    h-index

  5. ACM SIGPLAN Notices

    6 publications · 179 citations

    6

    h-index

1–5