A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Filters
An extensible dynamically-typed hierarchy of exceptions
2006
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06
Preserved Fulltext
In this paper we address the lack of extensibility of the exception type in Haskell. ...
We propose a lightweight solution involving the use of existential types and the Typeable class only, and show how our solution allows a fully extensible hierarchy of exception types to be declared, in ...
we can do dynamic type comparisons of types that inhabit the hierarchy. ...
doi:10.1145/1159842.1159854
dblp:conf/haskell/Marlow06
fatcat:bkuh6tnwvngjnjeavhtlwxfg2e
Explicitly Typed Exceptions for Haskell
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Multi parameter type classes and overlapping instances are the only essential extensions to Haskell 98 required. ...
We describe a monad for checked, explicitly typed exceptions, which provides as a simple Haskell library what for other languages is a native feature. ...
Acknowledgements The author would like to express his gratitude to Bernie Pope for his valuable feedback on a draft version of the article. ...
doi:10.1007/978-3-642-11503-5_6
fatcat:2d75t7xq4fgtjeyctvo34gghte
Adaptive exception handling for scientific workflows
2009
Concurrency and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
two exception handling patterns which are exclusively based on the Reference Nets-within-Nets formalism (a specific type of Petri nets). ...
We propose an exception handling mechanism, based on techniques adopted in programming languages, for modifying at run-time the structure of a workflow. ...
Figure 4 shows an extension of the initial pattern with an exception handler that propagates the exceptions up in the hierarchy. ...
doi:10.1002/cpe.1487
fatcat:5mrcc7jbcbhpraqdqxdywiy5qe
Refactoring class hierarchies with KABA
2004
Proceedings of the 19th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications - OOPSLA '04
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
KABA is an innovative system for refactoring Java class hierarchies. ...
In this contribution, we recapitulate the Snelting/Tip algorithm, present the new dynamic version, and explain new extensions which allow to handle full Java. ...
An object o tested against H raises a table entry (o, H = true) if the exception is caught by that handler and (o, H = f alse) else. The new type for an exception handler H is the class µ(H = true). ...
doi:10.1145/1028976.1029003
dblp:conf/oopsla/StreckenbachS04
fatcat:qt2lnyemcfdo7mbl6b4ul2r26u
Refactoring class hierarchies with KABA
2004
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
KABA is an innovative system for refactoring Java class hierarchies. ...
In this contribution, we recapitulate the Snelting/Tip algorithm, present the new dynamic version, and explain new extensions which allow to handle full Java. ...
An object o tested against H raises a table entry (o, H = true) if the exception is caught by that handler and (o, H = f alse) else. The new type for an exception handler H is the class µ(H = true). ...
doi:10.1145/1035292.1029003
fatcat:xehyk6bpuberldsy5uw77jlcjm
Attaining multiple dispatch in widespread object-oriented languages
2014
Dyna
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Multiple dispatch allows determining the actual method to be executed, depending on the dynamic types of its arguments. ...
We evaluate the existing approaches, presenting a new one based on hybrid dynamic and static typing. ...
Acknowledgements This work has been partially funded by Microsoft Research and the Department of Science and Innovation (Spain) under the National Program for Research, Development and Innovation: project ...
doi:10.15446/dyna.v81n186.40428
fatcat:fu3qivqforcfdpwrpjz64f3xd4
Reflection-based implementation of Java extensions: the double-dispatch use-case
2005
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We show how these principles have been applied to develop an efficient and general double-dispatch solution for Java, and we give the details of our implementation. ...
Reflection-based libraries may be used to extend the expressive power of Java without modifying the language nor the virtual machine. ...
It traverses the hierarchy of less precise types (supertypes) of Arg, looking for classes prior to interfaces, and if none or only one index is found, it respectively throws an exception or invoke the ...
doi:10.5381/jot.2005.4.10.a3
fatcat:43o5lainh5ewtljal4aqrp44cq
Reflection-based implementation of Java extensions: the double-dispatch use-case
2005
Proceedings of the 2005 ACM symposium on Applied computing - SAC '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We show how these principles have been applied to develop an efficient and general double-dispatch solution for Java, and we give the details of our implementation. ...
Reflection-based libraries may be used to extend the expressive power of Java without modifying the language nor the virtual machine. ...
It traverses the hierarchy of less precise types (supertypes) of Arg, looking for classes prior to interfaces, and if none or only one index is found, it respectively throws an exception or invoke the ...
doi:10.1145/1066677.1066996
dblp:conf/sac/ForaxDR05
fatcat:dxi5rgaa35grtjfyehap7rteee
Open and efficient type switch for C++
2012
Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Selecting operations based on the run-time type of an object is key to many object-oriented and functional programming techniques. ...
The library is non-intrusive and circumvents most of the extensibility restrictions typical of the visitor design pattern. ...
Finally, we would like to thank Karel Driesen for letting us use his class hierarchies benchmark for this work. ...
doi:10.1145/2384616.2384686
dblp:conf/oopsla/SolodkyyRS12
fatcat:k2ls24hbtjeo3g3lq47gytn7rm
Open and efficient type switch for C++
2012
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Selecting operations based on the run-time type of an object is key to many object-oriented and functional programming techniques. ...
The library is non-intrusive and circumvents most of the extensibility restrictions typical of the visitor design pattern. ...
Finally, we would like to thank Karel Driesen for letting us use his class hierarchies benchmark for this work. ...
doi:10.1145/2398857.2384686
fatcat:iqdfkyf2xjbxrcltbbccjbiyeq
Extensible encoding of type hierarchies
2008
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We study how to perform such a test efficiently, assuming a dynamic hierarchy when new types are inserted at run-time. ...
We propose an extensible scheme, named ESE, that ensures (1) efficient insertion of new types, (2) efficient subtyping tests, and (3) small space usage. ...
Roughly speaking, a type hierarchy H + = T + , R + is an extension of H = T, R if H + is the outcome of inserting some new types into H. ...
doi:10.1145/1328438.1328480
dblp:conf/popl/AlaviGG08
fatcat:cyritf2vyjff5gvj6gojyutmli
Extensible encoding of type hierarchies
2008
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We study how to perform such a test efficiently, assuming a dynamic hierarchy when new types are inserted at run-time. ...
We propose an extensible scheme, named ESE, that ensures (1) efficient insertion of new types, (2) efficient subtyping tests, and (3) small space usage. ...
Roughly speaking, a type hierarchy H + = T + , R + is an extension of H = T, R if H + is the outcome of inserting some new types into H. ...
doi:10.1145/1328897.1328480
fatcat:jpopi5cm7fcphijhicb2pnu3rm
Applying Aspect-Orientation in Designing Security Systems: A Case Study
2005
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this paper, we propose an aspect-oriented design approach to designing flexible and extensible security systems. ...
It is necessary to come up with an approach to guide the development, reuse and evolution of the design. ...
AspectJ and UML Extension AspectJ is an aspect-oriented extension of Java. AspectJ defines two types of crosscutting: dynamic crosscutting and static crosscutting. ...
doi:10.5281/zenodo.3264086
fatcat:zb2cowdlwngwhjsceq5332rcni
Analysis of TRBAC with Dynamic Temporal Role Hierarchies
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper, we argue that role hierarchies can be temporal in nature with a dynamism that allows it to have a different structure in different time intervals; and safety analysis of such extensions ...
Towards this end, we propose the temporal role based access control model extended with dynamic temporal role hierarchies, denoted as TRBACRH, and offer an approach to perform its safety analysis. ...
[10] present an administrative model for TRBAC. In this section, we propose an extension to that model, which makes it cover TRBAC RH . ...
doi:10.1007/978-3-642-39256-6_22
fatcat:3tps4q45bffzvhzwstwys645aa
Scoped Extension Methods in Dynamically-Typed Languages
2017
The Art, Science, and Engineering of Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
To avoid such "accidental overrides", some dynamically-typed languages limit the visibility of an extension method to a particular scope. ...
In most dynamically-typed languages, extension methods are globally visible. ...
Acknowledgements We thank the french DGA (Direction Générale de l'Armement) for the PhD grant of Camille Teruel. ...
doi:10.22152/programming-journal.org/2018/2/1
fatcat:xhxsirxeqreodgidmgnt45dzkq
« Previous
Showing results 1 — 15 out of 170,612 results