Tag exceptions [28 articles] Export

Recent papers classified by the tag exceptions.

	Exception analysis and points-to analysis: Better together [My Copy] In ISSTA '09: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis (2009), pp. 1-12. by Martin Bravenboer, Yannis Smaragdakis posted to exceptions alias-analysis by mattmight on 2009-10-08 04:14:22 as
	Exceptions and side-effects in atomic blocks [My Copy] Sci. Comput. Program., Vol. 58, No. 3. (2005), pp. 325-343. by Tim Harris posted to stm io exceptions by veal on 2009-08-19 20:37:48 as along with 1 person frej
	Parametricity for Haskell with Imprecise Error Semantics [My Copy] Typed Lambda Calculi and Applications In Typed Lambda Calculi and Applications, Proceedings, Vol. 5608 (July 2009), pp. 294-308. by Florian Stenger, Janis Voigtländer edited by Pierre-Louis Curien posted to denotational-semantics exceptions free-theorems functional-programming haskell imprecise-errors lambda-calculus lazy-evaluation logical-relations nondeterminism parametricity polymorphism selective-strictness seq types by voigt on 2009-07-19 07:22:37 as along with 1 person msakai
	How to replace failure by a list of successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages [My Copy] Functional Programming Languages and Computer Architecture (1985), pp. 113-128. by Philip Wadler posted to backtracking exceptions functional-programming lazy-evaluation lists parsers pattern-matching by spl on 2009-06-22 16:42:31 as along with 2 people bulwahn michaelbanks
	Compiling Exceptions Correctly [My Copy] Mathematics of Program Construction (2004), pp. 211-227. by Graham Hutton, Joel Wright posted to compiler exceptions formal-proof by pedagand on 2009-03-24 12:06:23 as
	Imprecise exceptions, co-inductively [My Copy] In In Proc. HOOTS'99, Vol. 26 (1999), pp. 122-141. by Andrew Moran, Sren B. Lassen, Simon P. Jones posted to asynchronous-exceptions exceptions language-haskell lazy-language semantics by pedagand on 2009-03-20 16:18:51 as
	Asynchronous exceptions in Haskell [My Copy] In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation (2001), pp. 274-285. by Simon Marlow, Simon P. Jones, Andrew Moran, John Reppy posted to asynchronous-exceptions concurrency exceptions functional-programming language-haskell by pedagand on 2009-03-16 21:20:20 as along with 1 person msakai
	A semantics for imprecise exceptions [My Copy] In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation (1999), pp. 25-36. by Simon P. Jones, Alastair Reid, Fergus Henderson, Tony Hoare, Simon Marlow posted to asynchronous-exceptions exceptions functional-programming language-haskell semantics by pedagand on 2009-03-16 21:18:21 as along with 1 person msakai
	A Multi-Perspective Taxonomy for Systematic Classification of Grid Faults [My Copy] Parallel, Distributed and Network-Based Processing, 2008. PDP 2008. 16th Euromicro Conference on In Parallel, Distributed and Network-Based Processing, 2008. PDP 2008. 16th Euromicro Conference on (2008), pp. 126-130. by J. Hofer, T. Fahringer posted to error_messages exceptions by emerson on 2008-11-15 00:00:38 as
	Techniques for Supporting Dynamic and Adaptive Workflow [My Copy] Computer Supported Cooperative Work (CSCW), Vol. 9, No. 3. (1 November 2000), pp. 269-292. by Peter J. Kammer, Gregory A. Bolcer, Richard N. Taylor, Arthur S. Hitomi, Mark Bergman posted to adoption exceptions flexibility workflow by jfranke on 2008-10-22 07:34:18 as along with 2 people and 1 group charoy karimda ecoo-pe
	Slicing Java Programs that throw and catch Exceptions [My Copy] In PEPM '03: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, Vol. 38, No. 10. (October 2003), pp. 44-54. by Matthew Allen, Susan Horwitz posted to exceptions java program slicing by RWeiss on 2008-10-21 09:15:26 as along with 1 person schuh
	A modular verifiable exception handling mechanism [My Copy] ACM Trans. Program. Lang. Syst., Vol. 7, No. 2. (1985), pp. 214-243. by Shaula Yemini, Daniel M. Berry posted to exceptions programming-languages by jkominek on 2008-10-20 22:21:06 as along with 1 person martinrytter
	Is Crisis Management (Only) a Management of Exceptions? [My Copy] Journal of Contingencies and Crisis Management, Vol. 15, No. 2. (June 2007), pp. 105-114. by Roux-Dufort, Christophe posted to crisis exceptions management organizatinal process by jfranke on 2008-09-22 14:54:35 as along with 1 person charoy
	Asynchronous Exceptions in Haskell [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (2001), pp. 274-285. by Simon Marlow, Simon, Andrew Moran, John H. Reppy posted to exceptions by neuralwarp on 2008-01-17 13:08:40 as along with 3 people JeffreyPalmer kinaba zednenem
	The Morals and Order Exceptions in WTO Law: Balancing the Toothless Tiger and the Undermining Mole [My Copy] J Int Economic Law (17 October 2007), jgm036. by Nicolas F. Diebold posted to exceptions gatt morals order by ndiebold on 2008-01-01 15:45:17 as
	A Semantics for Imprecise Exceptions [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1999), pp. 25-36. by Simon P. Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow posted to exceptions functional-programming haskell by SamB on 2007-12-16 04:37:49 as
	The use of multithreading for exception handling [My Copy] In MICRO 32: Proceedings of the 32nd annual ACM/IEEE international symposium on Microarchitecture (1999), pp. 219-229. by Craig B. Zilles, Joel S. Emer, Gurindar S. Sohi posted to context-switch-overhead exceptions interrupts by visit0r on 2007-12-02 19:30:43 as
	Adoption and focus: practical linear types for imperative programming [My Copy] SIGPLAN Not., Vol. 37, No. 5. (May 2002), pp. 13-24. by Manuel Fahndrich, Robert Deline posted to exceptions linear-types by alec on 2007-11-15 16:31:25 as
	Resource usage analysis for a functional language with exceptions [My Copy] In PEPM '06: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2006), pp. 38-47. by Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi posted to exceptions linear-types types by alec on 2007-11-01 13:44:32 as
	An extensible dynamically-typed hierarchy of exceptions [My Copy] In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 96-106. by Simon Marlow posted to exceptions expression-problem haskell by mstone on 2007-05-13 17:26:18 as
	Generic Exception Handling and the Java Monad [My Copy] : Algebraic Methodology and Software Technology (2004), pp. 443-459. by Lutz Schröder, Till Mossakowski posted to exceptions java monads by mstone on 2007-02-26 04:29:44 as
	Analysis and Testing of Programs with Exception Handling Constructs [My Copy] Software Engineering, Vol. 26, No. 9. (2000), pp. 849-871. by Saurabh Sinha, Mary J. Harrold posted to dependence exceptions by scavadini on 2007-01-08 10:18:05 as along with 1 person tesissvc
	Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs [My Copy] In Static Analysis Symposium (1997), pp. 98-113. by Kwangkeun Yi, Sukyoung Ryu posted to control exception-analysis exceptions return by dherman to the group NU-PRL on 2006-10-28 10:49:33 as
	Exception analysis for multithreaded Java programs [My Copy] by S. Ryu posted to control exception-analysis exceptions return threads by dherman on 2006-10-28 10:44:36 as along with 1 group NU-PRL
	Exception Analysis for Languages with Exceptions [My Copy] by Sukyoung Ryu posted to control exception-analysis exceptions return threads by dherman on 2006-10-28 10:43:54 as along with 1 group NU-PRL
	Safe-for-Space Threads in Standard ML [My Copy] Higher-Order and Symbolic Computation, Vol. 11, No. 2. (1998), pp. 209-225. by Edoardo Biagioni, Ken Cline, Peter Lee, Chris Okasaki, Chris Stone posted to continuations control control-operators exceptions return safe-for-space tail-recursion threads by dherman to the group NU-PRL on 2006-10-28 10:41:08 as
	Typed Exceptions and Continuations Cannot Macro-Express Each Other [My Copy] Lecture Notes in Computer Science, Vol. 1644 (1999) by Jon G. Riecke, Hayo Thielecke posted to continuations exceptions language-design by twleung on 2004-12-30 05:13:06 along with 1 person and 1 group dherman NU-PRL
	Contrasting Exceptions and Continuations [My Copy] by H. Thielecke posted to continuations exceptions language-design by twleung on 2004-12-30 05:12:42 along with 1 person and 1 group dherman NU-PRL

Note: You may cite this page as: http://www.citeulike.org/tag/exceptions

continuations	8
control	8
return	8
exception-analysis	6
threads	6
functional-programming	5
haskell	4
types	4
asynchronous-exceptions	3
language-haskell	3
concurrency	2
context-switch-overhead	2
control-operators	2
interrupts	2
java	2
language-design	2
lazy-evaluation	2
linear-types	2
safe-for-space	2
semantics	2
tail-recursion	2
adoption	1
alias-analysis	1
backtracking	1
compiler	1
crisis	1
denotational-semantics	1
dependence	1
error_messages	1
expression-problem	1
flexibility	1
formal-proof	1
free-theorems	1
gatt	1
imprecise-errors	1
io	1
lambda-calculus	1
lazy-language	1
lists	1
logical-relations	1
management	1
monads	1
morals	1
nondeterminism	1
order	1
organizatinal	1
parametricity	1
parsers	1
pattern-matching	1
polymorphism	1
process	1
program	1
programming-languages	1
selective-strictness	1
seq	1
slicing	1
stm	1
workflow	1

Tag exceptions [28 articles] Export

Related Tags