Add to ORKGProceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP98-10
Abstract—Uncertainty and dynamism surrounding pervasive systems require new and sophisticated approa...
Exception handling continues to be a challenging problem in object oriented system development. One ...
The recent major revision of the UML [4] has introduced significant changes and additions to “the li...
In this paper we present the first exception analysis for a non-strict language. We augment a simply...
Most statically typed functional programming languages allow programmers to write partial functions:...
Semantic exceptions mean undesirable contexts with respect to application semantics in context aware...
International audienceThis paper presents a program analysis to estimate un-caught exceptions in ML ...
Analysis techniques, such as control flow, data flow, and control dependence, are used for a variet...
This paper introduces a formal description about a new exception detection framework for context-awa...
Exception handling is nowadays a necessary component of error proof information systems. The paper p...
The development of robust software is a difficult undertaking, and is becoming increasingly more im...
Exceptions in programming languages result from the limitations introduced by a realisation compared...
In this short paper we argue in favour of the value of language support for exceptions. To make our ...
This thesis consider exceptions from a different (maybe unique) perspective. Not talking about how a...
The thesis deals with correctness of a compiler of a simple language featuring exceptions. We presen...
Abstract—Uncertainty and dynamism surrounding pervasive systems require new and sophisticated approa...
Exception handling continues to be a challenging problem in object oriented system development. One ...
The recent major revision of the UML [4] has introduced significant changes and additions to “the li...
In this paper we present the first exception analysis for a non-strict language. We augment a simply...
Most statically typed functional programming languages allow programmers to write partial functions:...
Semantic exceptions mean undesirable contexts with respect to application semantics in context aware...
International audienceThis paper presents a program analysis to estimate un-caught exceptions in ML ...
Analysis techniques, such as control flow, data flow, and control dependence, are used for a variet...
This paper introduces a formal description about a new exception detection framework for context-awa...
Exception handling is nowadays a necessary component of error proof information systems. The paper p...
The development of robust software is a difficult undertaking, and is becoming increasingly more im...
Exceptions in programming languages result from the limitations introduced by a realisation compared...
In this short paper we argue in favour of the value of language support for exceptions. To make our ...
This thesis consider exceptions from a different (maybe unique) perspective. Not talking about how a...
The thesis deals with correctness of a compiler of a simple language featuring exceptions. We presen...
Abstract—Uncertainty and dynamism surrounding pervasive systems require new and sophisticated approa...
Exception handling continues to be a challenging problem in object oriented system development. One ...
The recent major revision of the UML [4] has introduced significant changes and additions to “the li...