ALGEBRAIC SPECIFICATION OF EXCEPTION HANDLING AND ERROR RECOVERY BY MEANS OF DECLARATION AND EQUATIONS

被引：0
|
作者：
BIDOIT, M
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 172卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：95 / 108
页数：14
相关论文
共 50 条
  • [1] ALGEBRAIC SEMANTICS OF EXCEPTION HANDLING
    BERNOT, G
    BIDOIT, M
    CHOPPY, C
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 213 : 173 - 186
  • [2] Exception specification and handling in workflow systems
    Song, YK
    Han, DS
    [J]. WEB TECHNOLOGIES AND APPLICATIONS, 2003, 2642 : 495 - 506
  • [3] AN EXCEPTION HANDLING METHOD FOR CONSTRUCTIVE ALGEBRAIC SPECIFICATIONS
    VANHOREBEEK, I
    LEWI, J
    BEVERS, E
    DUPONCHEEL, L
    VANPUYMBROECK, W
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (05): : 443 - 458
  • [4] Implementing Backjumping by Means of Exception Handling
    Drabent, Wlodzimierz
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2023, 23 (04) : 918 - 932
  • [5] EXCEPTION HANDLING - FORMAL SPECIFICATION AND SYSTEMATIC PROGRAM CONSTRUCTION
    BIDOIT, M
    BIEBOW, B
    GAUDEL, MC
    GRESSE, C
    GUIHO, GD
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (03) : 242 - 252
  • [6] EXCEPTION HANDLING METHOD FOR CONSTRUCTIVE ALGEBRAIC SPECIFICATIONS.
    van Horebeek, Ivo
    Lewi, Johan
    Bevers, Eddy
    Duponcheel, Luc
    van Puymbroeck, Willy
    [J]. Software - Practice and Experience, 1988, 18 (05) : 443 - 458
  • [7] Specification and Verification for Unrestricted Algebraic Effects and Handling
    Song, Yahui
    Foo, Darius
    Chin, Wei-Ngan
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (ICFP):
  • [8] Specification of exception handling in grammar-based hardware synthesis
    Oberg, J
    Kumar, A
    Hemani, A
    [J]. 24TH EUROMICRO CONFERENCE - PROCEEDING, VOLS 1 AND 2, 1998, : 38 - 41
  • [9] Exception handling and recovery of semantic web services
    Vaculin, Roman
    Wiesner, Kevin
    Sycara, Katia
    [J]. FOURTH INTERNATIONAL CONFERENCE ON NETWORKING AND SERVICES (ICNS 2008), PROCEEDINGS, 2008, : 217 - 222
  • [10] Detecting intrusions in agent system by means of exception handling
    Platon, Eric
    Rehak, Martin
    Sabouret, Nicolas
    Pechoucek, Michal
    Honiden, Shinichi
    [J]. HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, PROCEEDINGS, 2007, 4659 : 161 - +
12345