Filters








170,612 Hits in 3.0 sec

An extensible dynamically-typed hierarchy of exceptions

Simon Marlow
2006 Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06  
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]

José Iborra
2010 Lecture Notes in Computer Science  
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

Rafael Tolosana-Calasanz, José A. Bañares, Omer F. Rana, Pedro Álvarez, Joaquín Ezpeleta, Andreas Hoheisel
2009 Concurrency and Computation  
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

Mirko Streckenbach, Gregor Snelting
2004 Proceedings of the 19th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications - OOPSLA '04  
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

Mirko Streckenbach, Gregor Snelting
2004 SIGPLAN notices  
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

Francisco Ortin, Jose M. Redondo, Jose Quiroga, Miguel Garcia
2014 Dyna  
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

Rémi Forax, Etienne Duri, Gilles Roussel
2005 Journal of Object Technology  
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

Rémi Forax, Etienne Duris, Gilles Roussel
2005 Proceedings of the 2005 ACM symposium on Applied computing - SAC '05  
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++

Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup
2012 Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12  
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++

Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup
2012 SIGPLAN notices  
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

Hamed Seiied Alavi, Seth Gilbert, Rachid Guerraoui
2008 Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08  
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

Hamed Seiied Alavi, Seth Gilbert, Rachid Guerraoui
2008 SIGPLAN notices  
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

Shu Gao, Yi Deng, Huiqun Yu, Xudong He, Konstantin Beznosov, Kendra Cooper
2005 Zenodo  
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]

Emre Uzun, Vijayalakshmi Atluri, Jaideep Vaidya, Shamik Sural
2013 Lecture Notes in Computer Science  
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

Guillermo Polito, Camille Teruel, Stéphane Ducasse, Luc Fabresse
2017 The Art, Science, and Engineering of Programming  
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