Approximating the domains of functional and imperative programs

被引：0
|
作者：
Brauburger, Jürgen [1 ]
Giesl, Jürgen [1 ]
机构：
[1] FB Informatik, TU Darmstadt, Alexanderstraße 10, 64283 Darmstadt, Germany
来源：
Science of Computer Programming | 1999年 / 35卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：113 / 136
相关论文
共 50 条
  • [1] Approximating the domains of functional and imperative programs
    Brauburger, J
    Giesl, J
    SCIENCE OF COMPUTER PROGRAMMING, 1999, 35 (2-3) : 113 - 136
  • [2] Approximating the algebraic relational semantics of imperative programs
    Colón, MA
    STATIC ANALYSIS, PROCEEDINGS, 2004, 3148 : 296 - 311
  • [3] PROJECTING FUNCTIONAL MODELS OF IMPERATIVE PROGRAMS
    HARMAN, M
    DANICIC, S
    SIGPLAN NOTICES, 1993, 28 (11): : 33 - 41
  • [4] Transformation of Functional Dataflow Parallel Programs into Imperative Programs
    Vasilev, V. S.
    Legalov, A. I.
    Zykov, S. V.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2022, 56 (07) : 815 - 827
  • [5] The derivation of functional equivalents of imperative programs
    Roberts, GHB
    PROCEEDINGS OF THE 24TH AUSTRALASIAN COMPUTER SCIENCE CONFERENCE, ACSC 2001, 2001, 23 (01): : 171 - 176
  • [6] Transformation of Functional Dataflow Parallel Programs into Imperative Programs
    V. S. Vasilev
    A. I. Legalov
    S. V. Zykov
    Automatic Control and Computer Sciences, 2022, 56 : 815 - 827
  • [7] SPARSE FUNCTIONAL STORES FOR IMPERATIVE PROGRAMS
    STEENSGAARD, B
    SIGPLAN NOTICES, 1995, 30 (03): : 62 - 70
  • [8] Parallelizing imperative functional programs: The vectorization monad
    Hill, JMD
    Clarke, KM
    Bornat, R
    JOURNAL OF SYMBOLIC COMPUTATION, 1996, 21 (4-6) : 561 - 576
  • [9] THE USE OF FUNCTIONAL ANNOTATIONS IN VERIFYING IMPERATIVE PROGRAMS
    NICHOLL, R
    CLINT, M
    GRAY, D
    NICHOLL, T
    SOFTWARE ENGINEERING JOURNAL, 1990, 5 (05): : 280 - 288
  • [10] Relational Cost Analysis for Functional-Imperative Programs
    Qu, Weihao
    Gaboardi, Marco
    Garg, Deepak
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (ICFP):
12345