Concepedia

Compile-time Environment Representation

Compile-Time Environment Representation is a formal model in programming language theory that, as a symbolic depiction of identifier bindings and their attributes, captures the scope, type, and allocation information of program entities during compilation to enable static analysis and code generation.

4

Publications

81

Citations

13

Authors

3

Institutions

Publications per year

2017–2026

0

Parents

Publications

4

PROGRES: Language and Environment

Andy Schürr, Albert Zündorf, Andreas Winter · RWTH Publications (RWTH Aachen) · 1999 · 41 citations

, , +6

Formal compiler construction in a logical framework

Jason Hickey, Aleksey Nogin · LISP and Symbolic Computation · 2006 · 15 citations

, , +14

On the need for fewer restrictions in changing compile-time environments

David Lorge Parnas, John E. Shore, W. David Elliott · ACM SIGPLAN Notices · 1975 · 13 citations · Full text

, , +8

Proceedings of the 1998 Workshop on Profile and Feedback Directed Compilation (PFDC'98)

François Bodin, T. Kisuki, P.M.W. Knijnenburg et al. · 1998 · 12 citations

, , +11

1–4 of 4

Authors

13

  1. JH
    Jason Hickey

    California Institute of Technology, United States

    1 publications · 15 citations

    1

    h-index

  2. AZ
    Albert Zündorf

    Paderborn University, Germany

    1 publications · 41 citations

    1

    h-index

  3. AW
    Andreas Winter

    University of Bristol, United Kingdom

    1 publications · 41 citations

    1

    h-index

  4. AN
    Aleksey Nogin

    California Institute of Technology, United States

    1 publications · 15 citations

    1

    h-index

  5. TK
    T. Kisuki

    Leiden University, Netherlands

    1 publications · 12 citations

    1

    h-index

1–5 of 13

Institutions

3

  1. United States Naval Research Laboratory

    Washington, United States

    1 h-index

    1 publications

    13 citations

  2. California Institute of Technology

    Pasadena, United States

    1 h-index

    2 publications

    30 citations

  3. Darmstadt University of Applied Sciences

    Darmstadt, Germany

    1 h-index

    1 publications

    13 citations

1–3 of 3

Venues

  1. RWTH Publications (RWTH Aachen)

    Repository · 1 publications · 41 citations

    1

    h-index

  2. ACM SIGPLAN Notices

    1 publications · 13 citations

    1

    h-index

  3. LISP and Symbolic Computation

    1 publications · 15 citations

    1

    h-index

1–3