Journal of the ACM (JACM)
The design of the Venus operating system
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Multiple exits from a loop without the GOTO
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Communications of the ACM
The Psychology of Computer Programming
The Psychology of Computer Programming
A control statement for natural top-down structured programming
Programming Symposium, Proceedings Colloque sur la Programmation
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Parallel programming: an axiomatic approach.
Parallel programming: an axiomatic approach.
The multics system: an examination of its structure
The multics system: an examination of its structure
Structured programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Exception handling: issues and a proposed notation
Communications of the ACM
Aspects of a trigger subsystem in an integrated database system
ICSE '76 Proceedings of the 2nd international conference on Software engineering
ACM SIGSOFT Software Engineering Notes
Issues in programming language design: an overview
ACM SIGPLAN Notices - Special issue on programming language design
Exception handling design issues
ACM SIGPLAN Notices - Special issue on programming language design
On extending Fortran control structures to facilitate structured programming
ACM SIGPLAN Notices
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Exception handling in component composition with the support of middleware
SEM '05 Proceedings of the 5th international workshop on Software engineering and middleware
An architecture for exception management in multiagent systems
International Journal of Agent-Oriented Software Engineering
Bristlecone: A Language for Robust Software Systems
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Issues in programming language design: an overview
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Error propagation analysis for file systems
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
A definition of exceptions in agent-oriented computing
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
A specification logic for exceptions and beyond
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Automating exception-safety classification
Science of Computer Programming
Identifying opaque behavioural changes
Proceedings of the 33rd International Conference on Software Engineering
A theory of substructural types and control
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
The spec# programming system: an overview
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Toward modular verifiable exception handling
Computer Languages
| Hi-index | 0.02 |
In this paper, we define what exception conditions are, discuss the requirements exception handling language features must satisfy, survey and analyze existing approaches to exception handling, and propose some new language features for dealing with exceptions in an orderly and reliable way. Our objective is not solely to put forward a language proposal. It is also to analyze exception handling issues and principles in detail. The proposed language features serve to highlight exception handling issues by showing how deficiencies in current approaches could be remedied in a coherent and orderly way.