Filters








629 Hits in 6.2 sec

Liberating effects with rows and handlers

Daniel Hillerström, Sam Lindley
<span title="">2016</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016</a> </i> &nbsp;
Through a small extension to Links we smoothly add support for effect handlers, making essential use of rows in the frontend and first-class continuations in the backend.  ...  . • An implementation of effect handlers using Remy-style row polymorphism [33] .  ...  Acknowledgments Nicolas Oury originally suggested the Nim game as an example to demonstrate programming with handlers.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2976022.2976033">doi:10.1145/2976022.2976033</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/HillerstromL16.html">dblp:conf/icfp/HillerstromL16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7v6xedw455awrmgf7526ec3t7e">fatcat:7v6xedw455awrmgf7526ec3t7e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180723113632/https://www.pure.ed.ac.uk/ws/files/27373347/links_effect.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7d/7c/7d7c57de96be858ba4a486670a9a56cdd40468eb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2976022.2976033"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A separation logic for effect handlers

Paulo Emílio de Vilhena, François Pottier
<span title="2021-01-04">2021</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dqy7qc7jkzal5bz3gueys3siz4" style="color: black;">Proceedings of the ACM on Programming Languages (PACMPL)</a> </i> &nbsp;
Our version of the library involves higher-order functions, dynamically-allocated mutable state, and first-class continuations.  ...  Rule R6 defines the behavior of a first-class continuation ( ) ℓ .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3434314">doi:10.1145/3434314</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yipfgdr3ijem5mn353yujiym7m">fatcat:yipfgdr3ijem5mn353yujiym7m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210125152642/https://hal.inria.fr/hal-03049514/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cc/f5/ccf5b9eeaa7a3d7495058b0ce775e6ed38a69299.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3434314"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172)

Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, Tom Schrijvers, Michael Wagner
<span title="2018-10-08">2018</span> <i title="Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u2phfyhrhje7xnnubtp3vfklcu" style="color: black;">Dagstuhl Reports</a> </i> &nbsp;
Or we can use algebraic effect handlers!  ...  The idea of algebraic effects handlers has already been experimented with in the form of small research languages and libraries in several mainstream languages, including OCaml, Haskell, Clojure, and Scala  ...  We illustrate the expressiveness of dynamic effects with first class event streams in CorrL and also model full polymorphic heap references without requiring any further primitives.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.8.4.104">doi:10.4230/dagrep.8.4.104</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/dagstuhl-reports/ChandrasekaranL18.html">dblp:journals/dagstuhl-reports/ChandrasekaranL18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yj5tunpy4fccbdaea7ajw7lwx4">fatcat:yj5tunpy4fccbdaea7ajw7lwx4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220123034352/https://drops.dagstuhl.de/opus/volltexte/2018/9762/pdf/dagrep_v008_i004_p104_18172.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8a/c1/8ac18c9f2a7651d54f2a692fbef8750616ba0b62.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.8.4.104"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

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

JONATHAN IMMANUEL BRACHTHÄUSER, PHILIPP SCHUSTER, KLAUS OSTERMANN
<span title="">2020</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uxwkeespobabbhdznzmxrfucny" style="color: black;">Journal of functional programming</a> </i> &nbsp;
Effekt is the first library implementation of effect handlers that supports effect safety and effect polymorphism without resorting to type-level programming.  ...  Effect handlers are a promising way to structure effectful programs in a modular way.  ...  class (or "local").  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0956796820000027">doi:10.1017/s0956796820000027</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hownzrhkkfhhtbrdihyxkki4zy">fatcat:hownzrhkkfhhtbrdihyxkki4zy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200407142103/https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A19680B18FB74AD95F8D83BC4B097D4F/S0956796820000027a.pdf/div-class-title-effekt-capability-passing-style-for-type-and-effect-safe-extensible-effect-handlers-in-scala-div.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e8/93/e89307f50817b8e0ac686e39a3f7bafb1bb99652.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0956796820000027"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> cambridge.org </button> </a>

Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back

Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, Aleksander Boruch-Gruszecki
<span title="2022-04-29">2022</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dqy7qc7jkzal5bz3gueys3siz4" style="color: black;">Proceedings of the ACM on Programming Languages (PACMPL)</a> </i> &nbsp;
The system we present is expressive enough to support effect handlers in full capacity. We practically evaluate System C in an implementation and prove its soundness.  ...  Capabilities coupled with escape analysis offer safety and natural signatures, but are often overly coarse grained and restrictive.  ...  As a starting point, we choose a core language with support for contextual effect polymorphism via second class capabilities ś System Ξ ś [Brachthäuser et al. 2020a ] and extend it with support for first-class  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3527320">doi:10.1145/3527320</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/djxabuspmrd4bbnwwy4k4peo24">fatcat:djxabuspmrd4bbnwwy4k4peo24</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220507084953/https://dl.acm.org/doi/pdf/10.1145/3527320" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fe/a6/fea604aed81fbc22baa8e53f31da4ea42d6cb2d9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3527320"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Static Reference Analysis for GUI Objects in Android Software

Atanas Rountev, Dacong Yan
<span title="2014-02-15">2014</span> <i title="ACM"> Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization </i> &nbsp;
These objects and the event handlers associated with them ultimately determine the possible flow of control and data.  ...  We propose the first static analysis to model GUI-related Android objects, their flow through the application, and their interactions with each other via the abstractions defined by the Android platform  ...  classes in the heap.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2544137.2544159">doi:10.1145/2544137.2544159</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/skpa7os2sfcbld2aazarrmgk7e">fatcat:skpa7os2sfcbld2aazarrmgk7e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190215011328/http://web.cse.ohio-state.edu:80/presto/pubs/cgo14-1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fd/5c/fd5cb834deaebaa7144c8c1a04e3f43f90f98810.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2544137.2544159"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Synchronous operations as first-class values

J. H. Reppy
<span title="1988-07-01">1988</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
We make synchronous operations first-class values, called events, in much the same way that functions are firstclass values in functional programming languages.  ...  This has the unfortunate effect of restricting the use of selective I/O. which in turn limits the communication structure.  ...  IV.1 Sequential PML PML is a statically typed polymorphic language with functions as first-class values.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/960116.54015">doi:10.1145/960116.54015</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ueohhdzrtvhjzak4j7vgr7s4f4">fatcat:ueohhdzrtvhjzak4j7vgr7s4f4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829072916/http://www.cs.tufts.edu/~nr/cs257/archive/john-reppy/first-class-pldi88.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9a/b2/9ab26015176bcc19ae1d39a6c4a5615c79b0b1ad.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/960116.54015"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Synchronous operations as first-class values

J. H. Reppy
<span title="">1988</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation - PLDI &#39;88</a> </i> &nbsp;
We make synchronous operations first-class values, called events, in much the same way that functions are firstclass values in functional programming languages.  ...  This has the unfortunate effect of restricting the use of selective I/O. which in turn limits the communication structure.  ...  IV.1 Sequential PML PML is a statically typed polymorphic language with functions as first-class values.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/53990.54015">doi:10.1145/53990.54015</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/Reppy88.html">dblp:conf/pldi/Reppy88</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yue5upmfnncu3eervm23y7nbwi">fatcat:yue5upmfnncu3eervm23y7nbwi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829072916/http://www.cs.tufts.edu/~nr/cs257/archive/john-reppy/first-class-pldi88.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9a/b2/9ab26015176bcc19ae1d39a6c4a5615c79b0b1ad.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/53990.54015"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Verifying a Minimalist Reverse-Mode AD Library [article]

Paulo Emílio de Vilhena, François Pottier
<span title="2021-12-14">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
By exploiting a number of relatively subtle programming language features, including dynamically-allocated mutable state, first-class functions, and effect handlers, reverse-mode automatic differentiation  ...  One outstanding question, however, is: with which logical tools can one specify what this code is expected to compute and verify that it behaves as expected?  ...  functions, and first-class continuations; and the heap is modeled as a finite map of memory locations to values.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2112.07292v1">arXiv:2112.07292v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a3kexzvubfek7l2ivcqpdkm5nu">fatcat:a3kexzvubfek7l2ivcqpdkm5nu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211216214759/https://arxiv.org/pdf/2112.07292v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/00/8f/008f35eac62a3ab2a42df651582975789fa8be9e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2112.07292v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Verifying Eiffel Programs with Boogie [article]

Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
<span title="2011-06-23">2011</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In an effort to be usable with real programs, AutoProof fully supports several advanced object-oriented features including polymorphism, inheritance, and function objects.  ...  The paper illustrates the main features of AutoProof's translation, including some whose implementation is underway, and demonstrates them with examples and a case study.  ...  exception handler r do s 1 rescue s 2 end behaves as the loop that first executes s 1 unconditionally, and then repeats s 2 ; s 1 until s 1 triggers no exceptions or Retry is False after the execution  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1106.4700v1">arXiv:1106.4700v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/q3xa3ymyzngl7ny2uth7enin3q">fatcat:q3xa3ymyzngl7ny2uth7enin3q</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1106.4700/1106.4700.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1106.4700v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Exception analysis and points-to analysis

Martin Bravenboer, Yannis Smaragdakis
<span title="">2009</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5ttq32n6ujhkxfb7h22ytvohp4" style="color: black;">Proceedings of the eighteenth international symposium on Software testing and analysis - ISSTA &#39;09</a> </i> &nbsp;
., pairing throw clauses with catch statements) use precomputed points-to information.  ...  We show that this separation results in significant slowdowns or vast imprecision. The two kinds of analyses are interdependent: neither can be performed accurately without the other.  ...  We thank Chen Fu and Ondřej Lhoták for their help with our experiments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1572272.1572274">doi:10.1145/1572272.1572274</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/issta/BravenboerS09.html">dblp:conf/issta/BravenboerS09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pqjoiv5vbnfgbj2ktg6plzqafi">fatcat:pqjoiv5vbnfgbj2ktg6plzqafi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809232322/http://people.cs.umass.edu/~yannis/doop-issta09prelim.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d5/0a/d50a02d6d3167d6a87a27d3aab63e2078e82ccdd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1572272.1572274"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Doo bee doo bee doo

LUKAS CONVENT, SAM LINDLEY, CONOR MCBRIDE, CRAIG MCLAUGHLIN
<span title="">2020</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uxwkeespobabbhdznzmxrfucny" style="color: black;">Journal of functional programming</a> </i> &nbsp;
effect handler abstraction.  ...  Effect typing in Frank employs a novel form of effect polymorphism which avoids mentioning effect variables in source code.  ...  Effect Polymorphism with an Invisible Effect Variable.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0956796820000039">doi:10.1017/s0956796820000039</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nqvgu6exyvbgndjw4vnnhyfihe">fatcat:nqvgu6exyvbgndjw4vnnhyfihe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201107130132/https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DEC5F8FDABF7DE3088270E07392320DD/S0956796820000039a.pdf/div-class-title-doo-bee-doo-bee-doo-div.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/29/07/290771c69083884d413730319b8e7ca9697d80cb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0956796820000039"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

Safe and Principled Language Interoperation [chapter]

Valery Trifonov, Zhong Shao
<span title="">2002</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
selected among mutable store, exceptions, first-class continuation, and heap and stack allocation of activation records.  ...  The dependence of primitive effects on resources is captured by the function with either stack or heap continuation allocation, while the effect can only be introduced with heap allocation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-49099-x_9">doi:10.1007/3-540-49099-x_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/x2bl5c4qdfgypdjks7v2a74vzq">fatcat:x2bl5c4qdfgypdjks7v2a74vzq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829070200/http://www.dtic.mil/get-tr-doc/pdf?AD=ADA436481&amp;Location=U2&amp;doc=GetTRDoc.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a2/7b/a27b995ffadc0db1bd75fbca298ab53bd0b8c51a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-49099-x_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Virtualizing real-time embedded systems with Java

Jan Vitek
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5vn6yyeefbbxtoo3uhwxwjwtme" style="color: black;">Proceedings of the 48th Design Automation Conference on - DAC &#39;11</a> </i> &nbsp;
Real-time embedded systems come in all shapes and sizes with vastly different capabilities. They often operate under stringent resource constraints, ranging from space and time to power.  ...  We believe that Ovm facilitates inlining by generating a single C file and removing most of the polymorphism around methods calls, but this should have the same effect on both platform.  ...  They usually do not support dynamic class loading (which allowed in SCJ).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2024724.2024926">doi:10.1145/2024724.2024926</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/dac/Vitek11.html">dblp:conf/dac/Vitek11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2nexeeedkfbdde2nf4vttmq3n4">fatcat:2nexeeedkfbdde2nf4vttmq3n4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809094310/http://janvitek.org/pubs/dac11.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f3/73/f373bf85c17f365196de405266c191259367744d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2024724.2024926"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Comprehensive shellcode detection using runtime heuristics

Michalis Polychronakis, Kostas G. Anagnostakis, Evangelos P. Markatos
<span title="">2010</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5i22f6noqzcuzalvmf6ckdmcmy" style="color: black;">Proceedings of the 26th Annual Computer Security Applications Conference on - ACSAC &#39;10</a> </i> &nbsp;
Existing systems based on this approach rely on the self-decrypting behavior of polymorphic code and can identify only that particular class of shellcode.  ...  Our experimental evaluation and real-world deployment show that Gene can effectively detect a large and diverse set of shellcode samples that are currently missed by existing detectors, while so far it  ...  This is achieved regardless of the use of self-modifying code or dynamic code generation, on which existing emulation-based polymorphic shellcode detectors are exclusively based.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1920261.1920305">doi:10.1145/1920261.1920305</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/acsac/PolychronakisAM10.html">dblp:conf/acsac/PolychronakisAM10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a7ctpzkh65fxpprcalorhewrdq">fatcat:a7ctpzkh65fxpprcalorhewrdq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809022813/http://dcs.ics.forth.gr/Activities/papers/gene.acsac10.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ff/7b/ff7b03e825345607639a9570476906926951694a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1920261.1920305"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 629 results