Filters








69,814 Hits in 5.7 sec

Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic [chapter]

Jan Smans, Bart Jacobs, Frank Piessens
<span title="">2009</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;
Reminiscent of separation logic's frame rule, programmers write access assertions inside pre-and postconditions instead of writing frame annotations.  ...  The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annotations.  ...  In particular, Leino and Müller combine implicit dynamic frames with fractional permissions and concurrency.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-03013-0_8">doi:10.1007/978-3-642-03013-0_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jmvxsyoiqbfanaatmpzurlx2ge">fatcat:jmvxsyoiqbfanaatmpzurlx2ge</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200319075120/http://blog.sciencenet.cn/data/attachment/home/201305/16/163259ll3ivl67337i5chz.attach" 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/a0/4e/a04e99b7d0b53f7613b59cbc860b85ace18541c3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-03013-0_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Implicit dynamic frames

Jan Smans, Bart Jacobs, Frank Piessens
<span title="2012-04-01">2012</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4hplau6wtnhnfnqt2t7vbri6vm" style="color: black;">ACM Transactions on Programming Languages and Systems</a> </i> &nbsp;
In this article, we propose a variant of separation logic called implicit dynamic frames that supports heap-dependent expressions inside assertions.  ...  Conformance with an implicit dynamic frames specification can be checked by proving the validity of a number of first-order verification conditions.  ...  In general, implicit dynamic frames combines ideas from conventional verification approaches with separation logic.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2160910.2160911">doi:10.1145/2160910.2160911</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hc2kwqsuijdxpj3eio7nwu3hni">fatcat:hc2kwqsuijdxpj3eio7nwu3hni</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171126212229/https://core.ac.uk/download/pdf/34532481.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/c2/e7/c2e7bf3ae466dfb36b3f8335dbd42f6a6114bc29.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2160910.2160911"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

The Relationship Between Separation Logic and Implicit Dynamic Frames

Matthew Parkinson, Alexander Summers, Frank Piessens
<span title="2012-07-31">2012</span> <i title="Logical Methods in Computer Science e.V."> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/c67srop7pbe3nciquoxzy3d6pm" style="color: black;">Logical Methods in Computer Science</a> </i> &nbsp;
We define a logic whose syntax subsumes both that of a standard separation logic, and that of implicit dynamic frames as sub-syntaxes.  ...  logic implication and magic wand connectives, while also giving a suitable semantics for these connectives in implicit dynamic frames.  ...  We thank Mike Dodds, David Naumann, Ioannis Kassios, Peter Müller, Sophia Drossopoulou and the anonymous ESOP and LMCS reviewers for feedback on this work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2168/lmcs-8(3:1)2012">doi:10.2168/lmcs-8(3:1)2012</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/i7zspnvcbfdm5jhg3xptcek7ie">fatcat:i7zspnvcbfdm5jhg3xptcek7ie</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721094936/https://lmcs.episciences.org/802/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/6a/9a6a2b3f203ca0dad6093caf3f1793d85915fb5a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2168/lmcs-8(3:1)2012"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

The Relationship between Separation Logic and Implicit Dynamic Frames [chapter]

Matthew J. Parkinson, Alexander J. Summers
<span title="">2011</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;
Partially inspired by separation logic, Implicit Dynamic Frames has recently been proposed, aiming at first-order tool support.  ...  With small adaptations, we then show how to give a direct semantics to implicit dynamic frames and show this semantics correctly captures the existing definitions.  ...  Acknowledgements We thank Mike Dodds, David Naumann, Ioannis Kassios, Peter Müller and Sophia Drossopoulou for feedback on drafts of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-19718-5_23">doi:10.1007/978-3-642-19718-5_23</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ufuchwb7sfel3lgy7md5tjzs74">fatcat:ufuchwb7sfel3lgy7md5tjzs74</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502114657/https://link.springer.com/content/pdf/10.1007%2F978-3-642-19718-5_23.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/58/c2/58c2851fd009d4abe8b65828bbf636699e393045.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-19718-5_23"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A First-Order Logic with Frames [chapter]

Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
<span title="">2020</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Finally, we design a program logic based on frame logic for reasoning with programs that dynamically update heaps that facilitates local specifications and frame reasoning.  ...  We show that the logic is expressive by capturing several data-structures and also exhibit a translation from a precise fragment of separation logic to frame logic.  ...  The work on Implicit Dynamic Frames [22, 39, 40] bridges the worlds of separation logic (without magic wand) and dynamic frames-it uses separation logic and fractional permissions to implicitly define  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-44914-8_19">doi:10.1007/978-3-030-44914-8_19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xmdzlbfxzrb3bprfxmnvw3o54m">fatcat:xmdzlbfxzrb3bprfxmnvw3o54m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200509080844/https://link.springer.com/content/pdf/10.1007%2F978-3-030-44914-8_19.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/ac/1c/ac1c4bc4df6d9805dfd1ee60a7870b855d8b7176.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-44914-8_19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Dynamic Frames Based Verification Method for Concurrent Java Programs [chapter]

Wojciech Mostowski
<span title="">2016</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper we discuss a verification method for concurrent Java programs based on the concept of dynamic frames.  ...  First, we describe our approach for proving program specifications to be self-framed with respect to permissions, which is a necessary condition to maintain soundness in concurrent reasoning.  ...  Note that in dynamic frames there is no implicit framing as found in approaches based on Separation Logic [2] or Implicit Dynamic Frames [4] , hence the assignable and accessible clauses have to be  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-29613-5_8">doi:10.1007/978-3-319-29613-5_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/syrjoecihnb63a7jgw3dohbycq">fatcat:syrjoecihnb63a7jgw3dohbycq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720023424/https://ris.utwente.nl/ws/files/5321673/final.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/81/95/8195966778b023d80feb4931eec63c65f1320536.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-29613-5_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Phase quantification and frame Theory [chapter]

Ralf Naumann
<span title="2021-12-31">2021</span> <i title="De Gruyter"> Meaning and Grammar of Nouns and Verbs </i> &nbsp;
In contrast to other dynamic formalisms like Dynamic Predicate Logic, the dynamic aspect is already located in the lexicon.  ...  Introduction In my contribution I will provide an outline of how two major strands in Löbner's work can be combined in a dynamic game-theoretical semantics: phase quanti cation (PQ) and frame theory (FT  ...  Appendix A: Arrow logic and two-layered systems Arrow Logic 13 is based on the intuition that binary relations can be interpreted as denoting sets of arrows.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1515/9783110720075-010">doi:10.1515/9783110720075-010</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6jxhypol2jbcvlsn43ypttze6a">fatcat:6jxhypol2jbcvlsn43ypttze6a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210428073050/https://www.degruyter.com/document/doi/10.1515/9783110720075-010/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/a1/df/a1df5fdcdfe44563b4b52d97ad285048bb0666ce.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1515/9783110720075-010"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> degruyter.com </button> </a>

A First-Order Logic with Frames [article]

Christof Löding, P. Madhusudan, Adithya Murali, Lucas Peña
<span title="2020-02-25">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Finally, we design a program logic based on frame logic for reasoning with programs that dynamically update heaps that facilitates local specifications and frame reasoning.  ...  We show that the logic is expressive by capturing several data-structures and also exhibit a translation from a precise fragment of separation logic to frame logic.  ...  The work on Implicit Dynamic Frames [23, 40, 41] bridges the worlds of separation logic (without magic wand) and dynamic frames-it uses separation logic and fractional permissions to implicitly define  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1901.09089v3">arXiv:1901.09089v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/psd62md33nbbxij3tmsxuz5jzy">fatcat:psd62md33nbbxij3tmsxuz5jzy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321125011/https://arxiv.org/pdf/1901.09089v3.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] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1901.09089v3" 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>

The Hermeneutics of Frames and Framing

Michael J. Carter
<span title="2013-04-15">2013</span> <i title="SAGE Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xzpnzbjdv5chrjoc6ib7gpmw4i" style="color: black;">SAGE Open</a> </i> &nbsp;
Particular attention is given to the hermeneutics of frames, that is, how frames and framing influence individuals to interpret events in various ways.  ...  This article examines the current literature on framing and examines what techniques and methodologies are used by past and present sociologists and media scholars.  ...  Therefore, framing in television broadcasts has the added dynamic of image distortion.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1177/2158244013487915">doi:10.1177/2158244013487915</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/aj2auppymrbgvdwbs5ykkmjxhi">fatcat:aj2auppymrbgvdwbs5ykkmjxhi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190428141828/http://scholarworks.csun.edu/bitstream/handle/10211.3/207226/Carter-Michael-TheHermeneutics-2013.pdf;jsessionid=5A926A3FF38A1C9F76398DC791F06AE1.server1?sequence=1" 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/bb/cc/bbcc6051e19e11d81f409e20ff7ed74efc296649.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1177/2158244013487915"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> sagepub.com </button> </a>

Frames and counter-frames giving meaning to dementia: A framing analysis of media content

Baldwin Van Gorp, Tom Vercruysse
<span title="">2012</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/igmhv2z2djdopmzbxq4z4yek3y" style="color: black;">Social Science and Medicine</a> </i> &nbsp;
The results demonstrate that the most dominant frame postulates that a human being is composed of two distinct parts: a material body and an immaterial mind.  ...  If this frame is used, the person with dementia ends up with no identity, which is in opposition to the Western ideals of personal self-fulfilment and individualism.  ...  Among the negative frames, the one that postulated a separation of body and mind was by far the most dominant.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.socscimed.2011.12.045">doi:10.1016/j.socscimed.2011.12.045</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/22386639">pmid:22386639</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bz4j3rr47vcazmjmimpz65zai4">fatcat:bz4j3rr47vcazmjmimpz65zai4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810110739/http://onthoumens.be/sites/default/files/u16/frames_and_counter-frames_giving_meaning_to_dementia_ssm.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/12/f6/12f6328f84b65acff0a8d60e13b2ed5351c37051.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.socscimed.2011.12.045"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions [chapter]

David A. Naumann, Anindya Banerjee
<span title="">2010</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;
The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures.  ...  The mismatch is formalized here in a proof rule that achieves flexibility via explicit restrictions on client effects, expressed using ghost state and ordinary first order assertions.  ...  Another verifier uses novel assertions for an implicit encoding (inspired by separation logic) of frame conditions by preconditions [37] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-11957-6_2">doi:10.1007/978-3-642-11957-6_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s3hroimstbfovnh2ptyyzazcnu">fatcat:s3hroimstbfovnh2ptyyzazcnu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705113513/http://www.cs.stevens.edu/~naumann/publications/esop10rev.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/20/a220547eabb7da731947cea02c0e65f7fe2c6d78.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-11957-6_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Verifying event-driven programs using ramified frame properties

Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldrich
<span title="">2010</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nuiccnig4reqxkb7vehpzfsidu" style="color: black;">Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation - TLDI &#39;10</a> </i> &nbsp;
We show how to modularly verify programs written using dynamically-generated bidirectional dependency information.  ...  Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects.  ...  This work was partially supported by the US NSF grants CCF-0916808 and CCF-0546550, and US DARPA grant HR00110710019.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1708016.1708025">doi:10.1145/1708016.1708025</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/tldi/KrishnaswamiBA10.html">dblp:conf/tldi/KrishnaswamiBA10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/42bmifmvqjhv5m5ds2c4zctv3m">fatcat:42bmifmvqjhv5m5ds2c4zctv3m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808082824/http://www.cs.bham.ac.uk/~krishnan/ramified-frames-tldi10.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/bb/e8/bbe8cd4011a1c5ae847df3c2c298653026251425.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1708016.1708025"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Frame rules from answer types for code pointers

Hayo Thielecke
<span title="2006-01-12">2006</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;
Specifically, we address an interaction between separation and answer types: frame rules for local reasoning in the presence of jumps are recovered by instantiating the answer type.  ...  The main features of the type system are separation logic connectives for describing the heap, and polymorphic answer types of continuations for keeping track of jumps.  ...  Acknowledgments Thanks to Josh Berdine, Cristiano Calcagno and Peter O'Hearn for discussions, and to the anonymous POPL referees for comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1111320.1111065">doi:10.1145/1111320.1111065</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jfvp2ldcjfhe7gq7j4qlsa5txm">fatcat:jfvp2ldcjfhe7gq7j4qlsa5txm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070106151244/http://www.cs.bham.ac.uk:80/~hxt/research/popl06thielecke.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/be/45/be459ea55e8dcb06efa8ce2786afc173d990829d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1111320.1111065"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Frame rules from answer types for code pointers

Hayo Thielecke
<span title="">2006</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL&#39;06</a> </i> &nbsp;
Specifically, we address an interaction between separation and answer types: frame rules for local reasoning in the presence of jumps are recovered by instantiating the answer type.  ...  The main features of the type system are separation logic connectives for describing the heap, and polymorphic answer types of continuations for keeping track of jumps.  ...  Acknowledgments Thanks to Josh Berdine, Cristiano Calcagno and Peter O'Hearn for discussions, and to the anonymous POPL referees for comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1111037.1111065">doi:10.1145/1111037.1111065</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/Thielecke06.html">dblp:conf/popl/Thielecke06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/67qjnrkdnbbg3acieipdbycz2y">fatcat:67qjnrkdnbbg3acieipdbycz2y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070106151244/http://www.cs.bham.ac.uk:80/~hxt/research/popl06thielecke.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/be/45/be459ea55e8dcb06efa8ce2786afc173d990829d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1111037.1111065"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Do emotions fit the frame? A critical appraisal of visual framing research approaches

Antje Glück
<span title="2018-02-08">2018</span> <i title="Cardiff University Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uozul77nhjacvhlcdkyce7vhbu" style="color: black;">JOMEC Journal</a> </i> &nbsp;
Both turns provide the background for current framing understandings and visual framing approaches, and for a discussion of three empirical models of analysis and their varying potential to integrate emotive  ...  Focusing on television news, I ask in what way emotions manifest within audio-visual material, and how these representations of emotions and emotive elements can be analyzed using visual framing analysis  ...  The audio-visual unites a diverse array of verbal and written text, image and sound. These elements are intertwined manifold, they cannot be analyzed separately, to be 'combined' in the end.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18573/jomec.166">doi:10.18573/jomec.166</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/exwj75uqgnetpfuqsu4pnaalii">fatcat:exwj75uqgnetpfuqsu4pnaalii</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180718224112/http://orca.cf.ac.uk/108989/1/JOMEC_0_12_jomec.166.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/2c/c0/2cc01a0bda418e704abeaf89614683c7fa8c92e6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18573/jomec.166"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 69,814 results