Skip to main content

A Recovery Mechanism for Modular Software

Flaviu Cristian

Publisher page dblp

No abstract available.

BibTeX

@inproceedings{Cristian:ICSE79,
  author    = {Flaviu Cristian},
  title     = {A Recovery Mechanism for Modular Software},
  booktitle = {ICSE},
  pages     = {42--51},
  publisher = {{IEEE} Computer Society},
  year      = {1979},
}

Related papers

Natural and Flexible Error Recovery for Generated Modular Language Environments TOPLAS 2012
Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsing OOPSLA 2009
Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory OOPSLA 2023
GAER: Graph Auto-encoders for Unsupervised Software Architecture Recovery FSE 2026
Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms CGO 2020
Automatic runtime recovery via error handler synthesis ASE 2016
Argosy: verifying layered storage systems with recovery refinement PLDI 2019
An empirical study on crash recovery bugs in large-scale distributed systems FSE 2018