Publication | Closed Access
Better Exception-Handling in Block-Structured Systems
39
Citations
4
References
1987
Year
EngineeringInformation SecurityWell-behaved Activity TerminationVerificationFault ToleranceFault-tolerant MessagingSoftware AnalysisFormal VerificationHardware SecurityReliability EngineeringSystems EngineeringFault RecoveryFormal SpecificationRuntime VerificationSecure By DesignComputer ScienceBlock-structured SystemsLanguage-based SecurityData SecuritySoftware SecurityProgram AnalysisFormal MethodsSystem Software
Few exception-handling language proposals support secure and well-behaved activity termination in block-structured systems. This proposed mechanism does.
| Year | Citations | |
|---|---|---|
Page 1
Page 1