Filters








42,399 Hits in 5.7 sec

Modular capture avoidance for program transformations

Nico Ritschel, Sebastian Erdweg
<span title="2015-10-26">2015</span> <i title="ACM"> Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering </i> &nbsp;
The application of program transformations and refactorings involves the risk of capturing variables, which may break the intended semantics of the transformed code.  ...  To demonstrate the applicability of name-fix , we use it to modularly resolve variable capture for optimizations, refactorings, and desugarings of Lightweight Java.  ...  Acknowledgments We thank the reviewers for helpful feedback.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2814251.2814260">doi:10.1145/2814251.2814260</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ikwgxbtmqvgdhh6cqrlrgqwcoa">fatcat:ikwgxbtmqvgdhh6cqrlrgqwcoa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809003339/http://www.informatik.uni-marburg.de/~seba/publications/name-fix-modular.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/74/7d/747d8fe02fa677a8371714241f5b640ac08bde70.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2814251.2814260"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Modular denotational semantics for compiler construction [chapter]

Sheng Liang, Paul Hudak
<span title="">1996</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;
Modular monadic semantics allows us to define a language with a rich set of features from reusable building blocks, and use program transformation and equational reasoning to improve code.  ...  We show the benefits of applying modular monadic semantics to compiler construction.  ...  [4] proposed a syntaclic approach to modularity in denotational semantics. 233 anonymous referees for helpful comments on an earlier version of the paper, and Ross Paterson, Tim Sheard and John Launchbury  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-61055-3_39">doi:10.1007/3-540-61055-3_39</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/g6dl66hxoze2vjwukljuqkfxqu">fatcat:g6dl66hxoze2vjwukljuqkfxqu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190505120801/https://link.springer.com/content/pdf/10.1007%2F3-540-61055-3_39.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/66/d566089c04ce89a8950653bf199a7c1d624664ea.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-61055-3_39"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Optimizing modular logic languages

Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello
<span title="1998-09-01">1998</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/eiea26iqqjcatatlgxdpzt637y" style="color: black;">ACM Computing Surveys</a> </i> &nbsp;
The definition of partial deduction proposed in captures this idea, and results into a transformation scheme for modular programs that is itself modular, in that it preserves the structure of the original  ...  Modular logic programming has been studied along two orthogonal lines of research (see ] for a survey).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/289121.289131">doi:10.1145/289121.289131</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/blxpajjd3nelbjbphypl7paqm4">fatcat:blxpajjd3nelbjbphypl7paqm4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060520142736/http://www.dsi.unive.it:80/~michele/Papers/cs98.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/0f/a4/0fa4ca6289c695885b90e9266f53316fb4455b7e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/289121.289131"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Automatically RESTful web applications

Jay A. McCarthy
<span title="">2009</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP &#39;09</a> </i> &nbsp;
We fix this key problem with a modular program transformation that produces scalable, continuation-based Web programs based on the REST architecture.  ...  Our programs use the same features as non-scalable, continuation-based Web programs, so we do not sacrifice expressive power for performance.  ...  Acknowledgments We thank Matthew Flatt for his superlative work on PLT Scheme. We thank Greg Pettyjohn for his work on the prototype our system is based upon.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1596550.1596594">doi:10.1145/1596550.1596594</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/McCarthy09.html">dblp:conf/icfp/McCarthy09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5quufl6oibglld4tpmvgpscqsa">fatcat:5quufl6oibglld4tpmvgpscqsa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100626150236/http://faculty.cs.byu.edu/~jay/static/icfp065-mccarthy.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/91/eb/91ebf3eb6823d056e96e1a3dba89634a4cc669a8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1596550.1596594"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Automatically RESTful web applications

Jay A. McCarthy
<span title="2009-08-31">2009</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 fix this key problem with a modular program transformation that produces scalable, continuation-based Web programs based on the REST architecture.  ...  Our programs use the same features as non-scalable, continuation-based Web programs, so we do not sacrifice expressive power for performance.  ...  Acknowledgments We thank Matthew Flatt for his superlative work on PLT Scheme. We thank Greg Pettyjohn for his work on the prototype our system is based upon.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1631687.1596594">doi:10.1145/1631687.1596594</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zoentxptk5crximeyfxiiapcz4">fatcat:zoentxptk5crximeyfxiiapcz4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100626150236/http://faculty.cs.byu.edu/~jay/static/icfp065-mccarthy.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/91/eb/91ebf3eb6823d056e96e1a3dba89634a4cc669a8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1631687.1596594"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A framework for defining the dynamic semantics of DSLs

Ulyana Tikhonova
<span title="">2013</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dj7g645z6zfl5lut4iwy5walyu" style="color: black;">Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013</a> </i> &nbsp;
The framework is meant for defining the dynamic semantics of DSLs and allows for mapping the DSL definition to the various platforms, such as verification, validation and simulation.  ...  In this research abstract we describe our project on a common reference framework for defining domain specific languages (DSLs).  ...  The execution of the DSL-to-EventB transformation allows for automatic generation of Event-B specifications of the DSL programs, and thereby for their analysis using the broad spectrum of the tools provided  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2491411.2492404">doi:10.1145/2491411.2492404</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigsoft/Tikhonova13.html">dblp:conf/sigsoft/Tikhonova13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/m4vncgqwffbu3pfaf2pq3fekee">fatcat:m4vncgqwffbu3pfaf2pq3fekee</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218070018/https://static.aminer.org/pdf/20170130/pdfs/sigsoft/upo1w78ogh3qpvn0hzs6ljtgxe4fb5fv.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/aa/fd/aafdba0c0c0074ea1b0d3bf13064ae15fea63d3f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2491411.2492404"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Finding bugs in program generators by dynamic analysis of syntactic language constraints

Sebastian Erdweg, Vlad Vergu, Mira Mezini, Eelco Visser
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/scibxvvu3nguvnnafnqcwt7lcy" style="color: black;">Proceedings of the companion publication of the 13th international conference on Modularity - MODULARITY &#39;14</a> </i> &nbsp;
Program generators and transformations are hard to implement correctly, because the implementation needs to generically describe how to construct programs, for example, using templates or rewrite rules  ...  Moreover, we designed a run-time system to support the modular activation/deactivation of the analysis, so that generators do not require adaption.  ...  For example, consider the program transformations compile1 and compile2 displayed in Figure 1 .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2584469.2584474">doi:10.1145/2584469.2584474</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/aosd/ErdwegVMV14.html">dblp:conf/aosd/ErdwegVMV14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rkxxjivayndwzgnthbbuptyz6m">fatcat:rkxxjivayndwzgnthbbuptyz6m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705121557/http://www.informatik.uni-marburg.de/%7Eseba/publications/typesmart-syntax-demo.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/41/80/4180c2a5eb9f3abc3105588c2fa0fc70981242ed.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2584469.2584474"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Role-based refactoring of crosscutting concerns

Jan Hannemann, Gail C. Murphy, Gregor Kiczales
<span title="">2005</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/scibxvvu3nguvnnafnqcwt7lcy" style="color: black;">Proceedings of the 4th international conference on Aspect-oriented software development - AOSD &#39;05</a> </i> &nbsp;
Aspect-oriented programming (AOP) offers additional ways to structure software by providing explicit means to modularize crosscutting concerns (CCCs) in modularity units called aspects.  ...  In particular, since refactorings of non-modularized crosscutting concerns involve multiple program elements with potentially complicated relationships, they are considerably more complex than traditional  ...  These transformations are captured in the CCC refactoring instructions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1052898.1052910">doi:10.1145/1052898.1052910</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/aosd/HannemannMK05.html">dblp:conf/aosd/HannemannMK05</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/il43r2l4cfafpgetran23wdx4e">fatcat:il43r2l4cfafpgetran23wdx4e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809155222/https://www.cs.ubc.ca/grads/resources/thesis/May06/Hannemann_Jan.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/e7/eb/e7ebf39daafe0256c8163435b54bf113c6d8ddd4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1052898.1052910"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Profiler instrumentation using metaprogramming techniques

Ritu Arora, Yu Sun, Zekai Demirezen, Jeff Gray
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rk4tzdw5nzcqfolehh5kubgisy" style="color: black;">Proceedings of the 46th Annual Southeast Regional Conference on XX - ACM-SE 46</a> </i> &nbsp;
Various forms of metaprogramming exist, including compile-time metaobjects, load-time structural reflection, and aspect-oriented programming.  ...  Introduction to Javassist In Javassist, to avoid performance degradation, structural reflection is performed by bytecode transformation at either compiletime or load-time.  ...  A metaprogram is a program that manipulates another program in order to transform or generate some new feature or analysis capability.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1593105.1593218">doi:10.1145/1593105.1593218</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ACMse/AroraSDG08.html">dblp:conf/ACMse/AroraSDG08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/usy2ifvx3rbijghk3pwmcrivum">fatcat:usy2ifvx3rbijghk3pwmcrivum</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160417220515/http://www.yusun.io/papers/acmse-2008.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/66/b7/66b77cb7d06a558685675f0b328fcbfc102921f4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1593105.1593218"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Capture-Avoiding and Hygienic Program Transformations (incl. Proofs) [article]

Sebastian Erdweg, Tijs van der Storm, Yi Dai
<span title="2014-04-23">2014</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Existing transformation systems either do not guarantee the avoidance of variable capture or impair the implementation of transformations.  ...  We demonstrate the applicability of name-fix for implementing capture-avoiding substitution, inlining, lambda lifting, and compilers for two domain-specific languages.  ...  We thank Mitchel Wand, Paolo Giarrusso, Justin Pombrio, Atze van der Ploeg, and the anonymous reviewers for helpful feedback.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1404.5770v1">arXiv:1404.5770v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y2p2o7nuyfe4leyeewpbmuco2u">fatcat:y2p2o7nuyfe4leyeewpbmuco2u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200906234645/https://arxiv.org/pdf/1404.5770v1.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/5a/01/5a018b75002a6fae1db38c5a54324d7d0f8fcae6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1404.5770v1" 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>

Capture-Avoiding and Hygienic Program Transformations [chapter]

Sebastian Erdweg, Tijs van der Storm, Yi Dai
<span title="">2014</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;
Existing transformation systems either do not guarantee the avoidance of variable capture or impair the implementation of transformations.  ...  Program transformations in terms of abstract syntax trees compromise referential integrity by introducing variable capture.  ...  We thank Mitchel Wand, Paolo Giarrusso, Justin Pombrio, Atze van der Ploeg, and the anonymous reviewers for helpful feedback.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-44202-9_20">doi:10.1007/978-3-662-44202-9_20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3braizrnwbhmtdmnycutf4dabi">fatcat:3braizrnwbhmtdmnycutf4dabi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719081043/https://ir.cwi.nl/pub/23105/23105B.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/f4/a1/f4a1f61f7ef3c564a213b7968028d4d32bfe604f.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-662-44202-9_20"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Lazy modular upgrades in persistent object stores

Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman
<span title="">2003</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6y3m32grtnfktkp2oo6oqjbvta" style="color: black;">Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA &#39;03</a> </i> &nbsp;
The paper then describes a new approach for executing upgrades efficiently while satisfying the upgrade modularity conditions. The approach exploits object encapsulation properties in a novel way.  ...  Automatic upgrades are a challenge for such systems. Upgrades must be performed in a way that is efficient both in space and time, and that does not stop application access to the store.  ...  Acknowledgments We are grateful to Dorothy Curtis for helping us with the implementation of the upgrade system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/949305.949341">doi:10.1145/949305.949341</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/oopsla/BoyapatiLSMR03.html">dblp:conf/oopsla/BoyapatiLSMR03</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wa2olh3cdrayboykfafjljkbxe">fatcat:wa2olh3cdrayboykfafjljkbxe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070418115326/http://pmg.csail.mit.edu/~chandra/publications/oopsla03.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/90/ac/90ac89560a9a39cb8678c74aff9c648830267952.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/949305.949341"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Lazy modular upgrades in persistent object stores

Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman
<span title="">2003</span> <i title="ACM Press"> Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA &#39;03 </i> &nbsp;
The paper then describes a new approach for executing upgrades efficiently while satisfying the upgrade modularity conditions. The approach exploits object encapsulation properties in a novel way.  ...  Automatic upgrades are a challenge for such systems. Upgrades must be performed in a way that is efficient both in space and time, and that does not stop application access to the store.  ...  Acknowledgments We are grateful to Dorothy Curtis for helping us with the implementation of the upgrade system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/949338.949341">doi:10.1145/949338.949341</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yd57twoqozewzkzbulwfqlmqbm">fatcat:yd57twoqozewzkzbulwfqlmqbm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070418115326/http://pmg.csail.mit.edu/~chandra/publications/oopsla03.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/90/ac/90ac89560a9a39cb8678c74aff9c648830267952.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/949338.949341"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Procedure linkage optimization working paper

A. Maggiolo-Schettini, B. K. Rosen, H. R. Strong
<span title="">1973</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL &#39;73</a> </i> &nbsp;
Spelling out names leads to constant worry about capture of free variables, programs which are the same except for choices of names, and so on.  ...  as the one in [8]) cam be avoided. as well, We are attempting to develop transformations which will replace all parameters and local variables by global variables, together with a minimal use  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/512927.512944">doi:10.1145/512927.512944</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/Maggiolo-SchettiniRS73.html">dblp:conf/popl/Maggiolo-SchettiniRS73</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/h5s7wkdicvfa3cdk7l3zg3pbaq">fatcat:h5s7wkdicvfa3cdk7l3zg3pbaq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190217222226/https://static.aminer.org/pdf/20170130/pdfs/popl/jvremzfcguvtmscxyjonnkf4qaukq6ep.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/69/35/6935e99ca3902556c8f60a5b00588ac9d7d53a4d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/512927.512944"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Four-dimensional micro-building blocks

T.-Y. Huang, H.-W. Huang, D. D. Jin, Q. Y. Chen, J. Y. Huang, L. Zhang, H. L. Duan
<span title="2020-01-17">2020</span> <i title="American Association for the Advancement of Science (AAAS)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rcuo52vymzdnhaszizbal7vbki" style="color: black;">Science Advances</a> </i> &nbsp;
Here, we propose a programmable modular design that directly constructs 3D reconfigurable microstructures capable of sophisticated 3D-to-3D shape transformations by assembling 4D micro-building blocks.  ...  However, existing programming approaches still follow the so-called origami design principle to generate reconfigurable structures by self-folding stacked 2D materials, particularly at small scales.  ...  Lv for their insightful comments and suggestions for editing this paper. We also thank W. Cui from Nanoscribe GmbH (China) and F. Qiu from FemtoTools AG for technical support.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1126/sciadv.aav8219">doi:10.1126/sciadv.aav8219</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/32010763">pmid:32010763</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC6968937/">pmcid:PMC6968937</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lxmrdwpolvhqhkbink72uyd5pi">fatcat:lxmrdwpolvhqhkbink72uyd5pi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200216125456/https://advances.sciencemag.org/content/advances/6/3/eaav8219.full.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/a0/21/a021c02bb9541e518e4fe7d3623157467b912cf9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1126/sciadv.aav8219"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> sciencemag.org </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6968937" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 42,399 results