Concepedia

Imperative Language Design

Imperative Language Design is a method in programming language design that specifies computation through explicit statements that change program state, distinguishing itself by prioritizing sequential command execution and mutable data over declarative or functional paradigms.

86

Publications

6.8K

Citations

185

Authors

94

Institutions

Publications per year

2017–2026

4

Parents

Publications

86

Separation logic: a logic for shared mutable data structures

John Reynolds · 2003 · 2.2K citations

, , +14

Imperative functional programming

Simon Jones, Philip Wadler · 1993 · 1.2K citations · Full text

, , +15

The design, implementation, and evaluation of Jade

Martin Rinard, Monica S. Lam · ACM Transactions on Programming Languages and Systems · 1998 · 202 citations · Full text

, , +17

A new type system for secure information flow

Geoffrey Smith · 2005 · 140 citations

, , +14

Principles of a reversible programming language

Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück · 2008 · 123 citations

, , +11

1–5 of 86

Authors

185

  1. GS
    Geoffrey Smith

    Florida International University, United States

    3 publications · 175 citations

    3

    h-index

  2. BF
    Bjorn Freeman‐Benson

    University of Washington, United States

    3 publications · 168 citations

    3

    h-index

  3. MT
    Makoto Takeyama

    National Institute of Advanced Industrial Science and Technology, Japan

    2 publications · 90 citations

    2

    h-index

  4. GL
    Guy L. Steele

    Massachusetts Institute of Technology, United States

    2 publications · 136 citations

    2

    h-index

  5. CC
    Cristiano Calcagno

    Imperial College London, United Kingdom

    2 publications · 125 citations

    2

    h-index

1–5 of 185

Institutions

94

  1. Imperial College London

    London, United Kingdom

    5 h-index

    8 publications

    471 citations

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

    Le Chesnay-Rocquencourt, France

    4 h-index

    6 publications

    460 citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    4 h-index

    5 publications

    2.4K citations

  4. Florida International University

    Miami, United States

    3 h-index

    5 publications

    210 citations

  5. Institut de Recherche en Informatique et Systèmes Aléatoires

    Rennes, France

    3 h-index

    5 publications

    238 citations

  6. University of Washington

    Seattle, United States

    3 h-index

    3 publications

    168 citations

  7. Chalmers University of Technology

    Gothenburg, Sweden

    3 h-index

    6 publications

    170 citations

  8. University of Edinburgh

    Edinburgh, United Kingdom

    3 h-index

    7 publications

    255 citations

1–8 of 94

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 6 publications · 132 citations

    6

    h-index

  2. Journal of Functional Programming

    3 publications · 99 citations

    3

    h-index

  3. Theoretical Computer Science

    3 publications · 134 citations

    3

    h-index

  4. Science of Computer Programming

    2 publications · 93 citations

    2

    h-index

  5. ACM SIGAPL APL Quote Quad

    QQ · 2 publications · 106 citations

    2

    h-index

1–5