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 条
  • [41] Generation of correctness conditions for imperative programs
    N. V. Shilov
    I. S. Anureev
    E. V. Bodin
    Programming and Computer Software, 2008, 34 : 307 - 321
  • [42] Generation of Correctness Conditions for Imperative Programs
    Shilov, N. V.
    Anureev, I. S.
    Bodin, E. V.
    PROGRAMMING AND COMPUTER SOFTWARE, 2008, 34 (06) : 307 - 321
  • [43] A Theory of Slicing for Imperative Probabilistic Programs
    Amtoft, Torben
    Banerjee, Anindya
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2020, 42 (02):
  • [44] Analysis of imperative programs through analysis of constraint logic programs
    Peralta, JC
    Gallagher, JP
    Saglam, H
    STATIC ANALYSIS, 1998, 1503 : 246 - 261
  • [45] Explicit formulas for the ellipsoids approximating attainability domains
    A. I. Ovseevich
    Yu. V. Taraban’ko
    Journal of Computer and Systems Sciences International, 2007, 46 : 194 - 205
  • [46] APPROXIMATING SMOOTH, MULTIVARIATE FUNCTIONS ON IRREGULAR DOMAINS
    ADCOCK, B. E. N.
    HUYBRECHS, D. A. A. N.
    FORUM OF MATHEMATICS SIGMA, 2020, 8
  • [47] Explicit formulas for the ellipsoids approximating attainability domains
    Ovseevich, A. I.
    Taraban'ko, Yu. V.
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2007, 46 (02) : 194 - 205
  • [48] APPROXIMATING CONTINUA AND DOMAINS IN AN N-CELL
    TONDRA, RJ
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (03): : 533 - &
  • [49] Approximating net interactions among rigid domains
    Tavousi, Pouya
    PLOS ONE, 2018, 13 (04):
  • [50] Froid: Optimization of Imperative Programs in a Relational Database
    Ramachandra, Karthik
    Park, Kwanghyun
    Emani, K. Venkatesh
    Halverson, Alan
    Galindo-Legaria, Cesar
    Cunningham, Conor
    PROCEEDINGS OF THE VLDB ENDOWMENT, 2017, 11 (04): : 432 - 444
12345