Filters








4,338 Hits in 3.7 sec

Reconciling concurrency and modularity with Panini's asynchronous typed events

Yuheng Long, Hridesh Rajan, Sean L. Mooney
2010 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10  
It focuses on Pānini's asynchronous, typed event which reconciles the modularity goal promoted by the implicit invocation design style with the scalability goal of exposing concurrency between the execution  ...  This work was supported in part by the US NSF under grant CCF-08-46059.  ...  During compilation, Pānini's compiler creates a summary of the effects of observers.  ... 
doi:10.1145/1869542.1869595 dblp:conf/oopsla/LongRM10 fatcat:x3guvecgjbfvpb2eger4fi7pkm

Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala

JONATHAN IMMANUEL BRACHTHÄUSER, PHILIPP SCHUSTER, KLAUS OSTERMANN
2020 Journal of functional programming  
Effect handlers are a promising way to structure effectful programs in a modular way.  ...  We present the Scala library Effekt, which is centered around capability passing and implemented in terms of a monad for multi-prompt delimited continuations.  ...  ., 2018) did not have an effect system. Still, they already support this aspect of effect parametricity. Just like presented in this paper, user programs are written in capability-passing style.  ... 
doi:10.1017/s0956796820000027 fatcat:hownzrhkkfhhtbrdihyxkki4zy

Concurrent System Programming with Effect Handlers [chapter]

Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White
2018 Lecture Notes in Computer Science  
Moreover, effect handlers allow concurrent programs to be written in directstyle retaining the simplicity of sequential code as opposed to callback-oriented style (as used by e.g.  ...  Motivation Multicore OCaml [8] incorporates effect handlers as the primary means of expressing concurrency in the language.  ...  It includes a novel feature for supporting fresh generation of effects in order to support effects such as ML-style higher-order state. Eff compiles to a free monad embedding in OCaml [29] .  ... 
doi:10.1007/978-3-319-89719-6_6 fatcat:csi2d6oyg5cphblfbbpa3r3pty

Memory Consumption Analysis for a Functional and Imperative Language

Jérémie Salvucci, Emmanuel Chailloux
2016 Electronical Notes in Theoretical Computer Science  
It aims at combining existing formalisms to obtain the space complexity of imperative and purely functional programs in a consistent framework.  ...  For instance, when you need to pass several region handlers as arguments to a function. This is the case when you use a function that copies a list in two distinct regions.  ...  The predicate unrestricted checks that no region handler associated with a linear capability is captured. Moreover, we need to propagate the effects performed by the evaluation of e, φ e .  ... 
doi:10.1016/j.entcs.2016.12.013 fatcat:76jzdsdph5hftelcmnuddne6pq

Expressive and modular predicate dispatch for Java

Todd Millstein, Christopher Frost, Jason Ryder, Alessandro Warth
2009 ACM Transactions on Programming Languages and Systems  
While prior languages with predicate dispatch have required the whole program to be available for typechecking and compilation, JPred retains Java's modular typechecking and compilation strategies.  ...  Finally, we discuss two case studies that illustrate the practical utility of JPred, including its use in the detection of several errors.  ...  Event handlers in one.world use the same style as the event handlers in our FileEditor example in Figure 2 .  ... 
doi:10.1145/1462166.1462168 fatcat:jx3l5ls3ezfhnkebnjgsgqwr6e

Practical predicate dispatch

Todd Millstein
2004 Proceedings of the 19th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications - OOPSLA '04  
While prior languages with predicate dispatch have required the whole program to be available for typechecking and compilation, JPred retains Java's modular typechecking and compilation strategies.  ...  After describing the JPred language and type system, we present a case study illustrating the utility of JPred in a real-world application, including its use in the detection of several errors.  ...  Event handlers in one.world use the same style as the event handlers in our FileEditor example in figure 2 .  ... 
doi:10.1145/1028976.1029006 dblp:conf/oopsla/Millstein04 fatcat:66hxil3lercttexa33w6txzrfu

Practical predicate dispatch

Todd Millstein
2004 SIGPLAN notices  
While prior languages with predicate dispatch have required the whole program to be available for typechecking and compilation, JPred retains Java's modular typechecking and compilation strategies.  ...  After describing the JPred language and type system, we present a case study illustrating the utility of JPred in a real-world application, including its use in the detection of several errors.  ...  Event handlers in one.world use the same style as the event handlers in our FileEditor example in figure 2 .  ... 
doi:10.1145/1035292.1029006 fatcat:w3zoovdvd5hrxm4yx7t246umsi

Avalanche

Jeremiah J. Willcock, Ryan R. Newton, Andrew Lumsdaine
2012 Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing - FHPC '12  
One effective existing approach for these applications relies on active messages.  ...  and a standard C++ compiler.  ...  and heavy use of continuation-passing style.  ... 
doi:10.1145/2364474.2364479 dblp:conf/icfp/WillcockNL12 fatcat:pcjnp2otlff25ntdzn2t7k63zu

Synchronous and asynchronous handling of abnormal events in the μsystem

Peter A. Buhr, Hamish I. Macdonald, C. Robert Zarnke
1992 Software, Practice & Experience  
Exception handlers and intervention routines for dealing with abnormal events can be defined/installed at any point in a program.  ...  An exception or intervention can then be raised or called, passing data about the abnormal event and returning results for interventions.  ...  For example, the functional programming style, as in Scheme 16 and ML, results in many routines being passed as arguments.  ... 
doi:10.1002/spe.4380220904 fatcat:vmycrdkgdzab7mapsxawtvhgyq

Expanding Event Systems to Support Signals by Enabling the Automation of Handler Bindings

Yung Yu Zhuang, Shigeru Chiba
2016 Journal of Information Processing  
With such an extension programmers can use events to cover both the implicit style in reactive programming and the explicit style in event-driven programming.  ...  Furthermore, the comparison with the predicate pointcuts in aspect-oriented programming and the details of the experimental compiler are discussed.  ...  its capability.  ... 
doi:10.2197/ipsjjip.24.620 fatcat:3jdc46obqngvlmhkjtaxuwt7sm

Advanced exception handling mechanisms

P.A. Buhr, W.Y.R. Mok
2000 IEEE Transactions on Software Engineering  
Both exception termination and resumption models are examined in this environment, and previous criticisms of the resumption model, a feature commonly missing in modern languages, are addressed.  ...  Unfortunately, many exception handling mechanisms work only with a subset of the features and in the sequential domain.  ...  While information could be passed through shared objects, exception parameters eliminate side-effects and locking in a concurrent environment.  ... 
doi:10.1109/32.877844 fatcat:buaf3hw2tbbenpod3hjkd24754

Dynamic functional testing for VLSI circuits

P.M. Maurer
1990 IEEE Design & Test of Computers  
This data structure supports several different styles of vector generators and also supports the interactive debugging of circuits.  ...  The paper discusses guidelines for designing a high-level vector generation language, and presents several examples written in the FHDL driver language which was designed according to these guidelines.  ...  The commands could be stored in a file which is then passed to a command interpreter.  ... 
doi:10.1109/54.64956 fatcat:sr5ooda3mrb2lpkuz5nvspsveq

Interruptible iterators

Jed Liu, Aaron Kimball, Andrew C. Myers
2006 Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06  
Interruptible iterators are more powerful coroutines in which the loop body is able to interrupt the iterator with requests to perform updates.  ...  Iteration abstractions are valuable for software design, as shown by their frequent use in well-designed data structure libraries such as the Java Collections Framework.  ...  This research was supported in part by ONR Grant N00014-01-1-0968, by NSF Grants 0208642, 0133302, and 0430161, and by an Alfred P. Sloan Research Fellowship. The U.S.  ... 
doi:10.1145/1111037.1111063 dblp:conf/popl/LiuKM06 fatcat:pash3zmfxngohni5rjfytvpy34

Interruptible iterators

Jed Liu, Aaron Kimball, Andrew C. Myers
2006 SIGPLAN notices  
Interruptible iterators are more powerful coroutines in which the loop body is able to interrupt the iterator with requests to perform updates.  ...  Iteration abstractions are valuable for software design, as shown by their frequent use in well-designed data structure libraries such as the Java Collections Framework.  ...  This research was supported in part by ONR Grant N00014-01-1-0968, by NSF Grants 0208642, 0133302, and 0430161, and by an Alfred P. Sloan Research Fellowship. The U.S.  ... 
doi:10.1145/1111320.1111063 fatcat:iq3rnkmmifej3pys2756fixwmi

jContractor: A Reflective Java Library to Support Design By Contract [chapter]

Murat Karaorman, Urs Hölzle, John Bruno
1999 Lecture Notes in Computer Science  
Since jContractor is purely library-based, it requires no special tools such as modified compilers, modified JVMs, or pre-processors.  ...  Programmers can use exactly the same syntax for invoking methods and passing object references regardless of whether contracts are present or not.  ...  handler code using the exception object which is passed to the handler method.  ... 
doi:10.1007/3-540-48443-4_18 fatcat:2olh3jqlbfhanfnnar57gl3omu
« Previous Showing results 1 — 15 out of 4,338 results