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 条
  • [31] Replicated Synchronization for Imperative BSP Programs
    Jakobsson, Arvid
    Dabrowski, Frederic
    Bousdira, Wadoud
    Loulergue, Frederic
    Hains, Gaetan
    INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE (ICCS 2017), 2017, 108 : 535 - 544
  • [32] Ynot : Dependent types for imperative programs
    Nanevski, Aleksandar
    Morrisett, Greg
    Shinnar, Avraham
    Govereau, Paul
    Birkedal, Lars
    ACM SIGPLAN NOTICES, 2008, 43 (09) : 229 - 240
  • [33] Ynot : Dependent Types for Imperative Programs
    Nanevski, Aleksandar
    Morrisett, Greg
    Shinnar, Avraham
    Govereau, Paul
    Birkedal, Lars
    ICFP'08: PROCEEDINGS OF THE 2008 SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2008, : 229 - 240
  • [34] A Scheme for Effective Specialization of Imperative Programs
    Bul'onkov, M. A.
    Kochetov, D. V.
    Programming and Computer Software (English Translation of Programmirovanie), 21 (05):
  • [35] An Integrated Proof Language for Imperative Programs
    Zee, Karen
    Kuncak, Viktor
    Rinard, Martin C.
    ACM SIGPLAN NOTICES, 2009, 44 (06) : 338 - 351
  • [36] An Integrated Proof Language for Imperative Programs
    Zee, Karen
    Kuncak, Viktor
    Rinard, Martin C.
    PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 338 - 351
  • [37] Reversible Imperative Parallel Programs and Debugging
    Hoey, James
    Ulidowski, Irek
    REVERSIBLE COMPUTATION (RC 2019), 2019, 11497 : 108 - 127
  • [38] Logical synthesis of imperative OO programs
    Bellot, P
    Robinet, B
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 1999, 1559 : 316 - 318
  • [39] Rewriting of imperative programs into logical equations
    Ponsini, O
    Fédèle, C
    Kounalis, E
    SCIENCE OF COMPUTER PROGRAMMING, 2005, 56 (03) : 363 - 401
  • [40] Characteristic Formulae for the Verification of Imperative Programs
    Chargueraud, Arthur
    ACM SIGPLAN NOTICES, 2011, 46 (09) : 418 - 430
12345