Concepedia

Ghost Variables

Ghost Variable is a variable introduced in a program solely for the purpose of specification and verification within Hoare Logic, not affecting the program's operational behavior but enabling precise reasoning about its correctness.

22

Publications

1.2K

Citations

32

Authors

17

Institutions

Publications per year

2017–2026

4

Variants

Auxiliary Variables

Parents

Publications

22

Ghost counting in supergravity

N.K. Nielsen · Nuclear Physics B · 1978 · 154 citations

, , +11

Variables in Palauan syntax

Carol Georgopoulos · Natural Language & Linguistic Theory · 1985 · 126 citations

, , +7

Ghost conditions for Gauss–Bonnet cosmologies

Gianluca Calcagni, B. de Carlos, Antonio De Felice · Nuclear Physics B · 2006 · 114 citations · Full text

, , +13

Solution to the Ghost Problem in Fourth Order Derivative Theories

Foundations of Physics · 2007 · 113 citations · Full text

, , +12

Higher-order ghost state

Ralf Jung, Robbert Krebbers, Lars Birkedal et al. · 2016 · 113 citations · Full text

, , +16

1–5 of 22

Authors

32

  1. PA
    Paul A. Thompson

    University of Oxford, United Kingdom

    3 publications · 110 citations

    3

    h-index

  2. DB
    Dorothy Bishop

    University of Oxford, United Kingdom

    3 publications · 110 citations

    3

    h-index

  3. RK
    Robbert Krebbers

    Radboud University Nijmegen, Netherlands

    2 publications · 129 citations

    2

    h-index

  4. DD
    Derek Dreyer

    Max Planck Institute for Software Systems, Germany

    2 publications · 129 citations

    2

    h-index

  5. LB
    Lars Birkedal

    Aarhus University, Denmark

    2 publications · 129 citations

    2

    h-index

1–5 of 32

Institutions

17

  1. University of Oxford

    Oxford, United Kingdom

    3 h-index

    6 publications

    220 citations

  2. Aarhus University

    Aarhus, Denmark

    2 h-index

    4 publications

    258 citations

  3. New York University

    New York, United States

    2 h-index

    2 publications

    190 citations

  4. University of Connecticut

    Storrs, United States

    2 h-index

    2 publications

    176 citations

  5. University of Glasgow

    Glasgow, United Kingdom

    2 h-index

    4 publications

    76 citations

  6. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    2 h-index

    4 publications

    258 citations

  7. University of Tartu

    Tartu, Estonia

    1 h-index

    1 publications

    34 citations

  8. University of Sussex

    Brighton, United Kingdom

    1 h-index

    3 publications

    342 citations

1–8 of 17

Venues

  1. Journal of High Energy Physics

    JHEP · 2 publications · 97 citations

    2

    h-index

  2. Journal of Mathematical Physics

    2 publications · 38 citations

    2

    h-index

  3. Nuclear Physics B

    2 publications · 268 citations

    2

    h-index

  4. Proceedings of the ACM on Programming Languages

    PACMPL · 2 publications · 36 citations

    2

    h-index

  5. Physics Letters B

    1 publications · 95 citations

    1

    h-index

1–5