Filters








1,365 Hits in 3.6 sec

Witnessing the elimination of magic wands

Stefan Blom, Marieke Huisman
<span title="2015-03-31">2015</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zzy5ovlifvatfirg4js7u4uetq" style="color: black;">International Journal on Software Tools for Technology Transfer (STTT)</a> </i> &nbsp;
To avoid this problem, in our approach the program annotator has to provide a witness for the magic wand, thus circumventing undecidability due to the use of magic wands.  ...  We show how this witness information is used to encode a specification with magic wands as a specification without magic wands.  ...  Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s)  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-015-0372-3">doi:10.1007/s10009-015-0372-3</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/27194940">pmid:27194940</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC4841211/">pmcid:PMC4841211</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cwin6u4objgfneuy4esstm75ue">fatcat:cwin6u4objgfneuy4esstm75ue</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171014223057/http://publisher-connector.core.ac.uk/resourcesync/data/Springer-OA/pdf/7ba/aHR0cDovL2xpbmsuc3ByaW5nZXIuY29tLzEwLjEwMDcvczEwMDA5LTAxNS0wMzcyLTMucGRm.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/da/56/da560881ac9341b8b23219ec23cb5203762a1753.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-015-0372-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4841211" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Page 551 of Florida Bar Journal Vol. 46, Issue 10 [page]

<span title="">1972</span> <i title="Florida Bar Journal"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_florida-bar-journal" style="color: black;">Florida Bar Journal</a> </i> &nbsp;
No n>ore erasing—evert Bottom half of miracle ribtxm is like a magic wand that ntakes errors disappear before your eyes.  ...  WIT¬ NESSES ON MORTGAGES . . . CeneraUy, no witnesses are required in the execution of a mortgage.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_florida-bar-journal_1972-10_46_10/page/551" title="read fulltext microfilm" 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> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_florida-bar-journal_1972-10_46_10/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 24 of American Journal of Public Health Vol. 21, Issue 1 [page]

<span title="">1931</span> <i title="American Public Health Association"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_american-journal-of-public-health" style="color: black;">American Journal of Public Health </a> </i> &nbsp;
The one disease, to mention only one more, that has been as the- atrical in its development as it has in its almost complete disappear- ance, as though at the waving of a magic wand, thanks to capable  ...  In spite of all this, I fear that, for a long time, we shall see no such spectacular phenomenon in the way of its repres- sion as we have had the privilege to witness in other of the infectious diseases  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_american-journal-of-public-health_1931-01_21_1/page/24" title="read fulltext microfilm" 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> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_american-journal-of-public-health_1931-01_21_1/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 102 of American Veterinary Medical Association. Journal of the American Veterinary Medical Association Vol. 99, Issue 773 [page]

<span title="">1941</span> <i title="American Veterinary Medical Association"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_american-veterinary-medical-association-journal" style="color: black;">American Veterinary Medical Association. Journal of the American Veterinary Medical Association </a> </i> &nbsp;
Though they had muffed the opportunity to keep this disease out they now beckon from the house tops for the government and state to come in and drive it out, presum- ably by some wave of the magic wand  ...  High- pressure salesmen besiege the livestock in- dustry and the makers of biological and a chemical products flood the farmers wit) reports of the latest classical research jy medical science.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_american-veterinary-medical-association-journal_1941-08_99_773/page/102" title="read fulltext microfilm" 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> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_american-veterinary-medical-association-journal_1941-08_99_773/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Intrinsically-typed definitional interpreters for linear, session-typed languages

Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser
<span title="2020-01-20">2020</span> <i title="ACM"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/v2jnxq36qfdxhby7zfh6sfsc4e" style="color: black;">Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs</a> </i> &nbsp;
We present new methods and tools that make it possible to implement intrinsically-typed definitional interpreters for linearly-typed languages in a way that hides the majority of the manual proof work.  ...  An intrinsically-typed definitional interpreter is a concise specification of dynamic semantics, that is executable and type safe by construction.  ...  Acknowledgments We thank the reviewers for their comments. We also thank Peter Thiemann for suggesting the topic and for discussing his previous work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3372885.3373818">doi:10.1145/3372885.3373818</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/cpp/RouvoetPKV20.html">dblp:conf/cpp/RouvoetPKV20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wmdtkhbrrrdt5gtuphqed2ry4i">fatcat:wmdtkhbrrrdt5gtuphqed2ry4i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200505125733/https://repository.tudelft.nl/islandora/object/uuid%3A913a5c7f-d521-445e-82af-a7771849f964/datastream/OBJ/download" 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/15/5815c41c29e31cb35beed8e332428a1cb7760c2b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3372885.3373818"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Page 38 of Finishing Today Vol. 25, Issue 3 [page]

<span title="">1949</span> <i title="BNP Media"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_finishing-today" style="color: black;">Finishing Today </a> </i> &nbsp;
The designing and producing of advertising displays offers a paradise for the ingenuous finisher. In this profession finishing is the magic wand.—P.C.B.  ...  And, of course, for use in a custom finishing shop, the treating solution must be compatible wit!  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_finishing-today_1949-01_25_3/page/38" title="read fulltext microfilm" 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> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_finishing-today_1949-01_25_3/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

The influence of suggestions on children's reports of a unique experience versus an instance of a repeated experience

Deborah A Connolly, D Stephen Lindsay
<span title="">2000</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zgtklqx2h5afpavwjltqdvrkpe" style="color: black;">Applied Cognitive Psychology</a> </i> &nbsp;
In Experiment 0 we compared the in~uence of misleading suggestions on 3!\ 5!\ and 7!year!  ...  olds| reports of details of an instance of a repeated experience versus a unique experience[ For children who experienced the event repeatedly\ some components remained constant across instances "_xed#  ...  folding game\ the magic trick\ and the colour of the magic wand\ whereas the _xed items were the paper model\ the colour of the paper hat\ the magic!  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/1099-0720(200103/04)15:2&lt;205::aid-acp698&gt;3.0.co;2-f">doi:10.1002/1099-0720(200103/04)15:2&lt;205::aid-acp698&gt;3.0.co;2-f</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7yeuzbkqmzasjoz5wmqf7w6bx4">fatcat:7yeuzbkqmzasjoz5wmqf7w6bx4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810002044/http://web.uvic.ca/~slindsay/publications/2001ConnLind.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/4d/814d25cbe27024ed230d950bae42022a13a34445.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/1099-0720(200103/04)15:2&lt;205::aid-acp698&gt;3.0.co;2-f"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

Tracing/Training Rebellion: Object work in Meyerhold's biomechanics

Jonathan Pitches
<span title="">2007</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/i3frwp6abrfobg5bcqryihrsze" style="color: black;">Performance Research: A Journal of the Performing Arts</a> </i> &nbsp;
Law's of The Magnanimous Cuckold (1982) and of Woe to Wit (1974) and Llewellen Hedgbeth's of DE (1975) .  ...  for the acrobat; a basket containing the juggler's equipment: a magic wand, a flying butterfly, a golden orange, a magic veil, a collapsible stick, a tambourine, two plates, a little violin with a long  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/13528160701822692">doi:10.1080/13528160701822692</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mbtnjva25fbcxknptxwxkg37de">fatcat:mbtnjva25fbcxknptxwxkg37de</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100108060259/http://eprints.whiterose.ac.uk:80/3731/1/On_Objects_Article_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/9a/1f/9a1f2dd9d1b2e677480796ef702d7bb7ce1e4dab.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/13528160701822692"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> tandfonline.com </button> </a>

Page 574 of POWER Vol. 62, Issue 15 [page]

<span title="1925-10-13">1925</span> <i title="TradeFair Group Publications Ltd"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_power" style="color: black;">POWER </a> </i> &nbsp;
Our water powers are a great national asset and should be utilized wherever possible, but they are not a magic wand that creates industries out of hot air.  ...  Both of these objectionable features can ) eliminated by proper design and instruction of th operating force.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_power_1925-10-13_62_15/page/574" title="read fulltext microfilm" 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> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_power_1925-10-13_62_15/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Strong-Separation Logic [article]

Jens Pagel, Florian Zuleger
<span title="2021-03-11">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
even in the presence of both the magic wand and the list-segment predicate -- a combination of features that leads to undecidability assuming the standard semantics.  ...  Most automated verifiers for separation logic target the symbolic-heap fragment, disallowing both the magic-wand operator and the application of classical Boolean operators to spatial formulas.  ...  The magic-wand operator − * , which is the adjoint of * , then allows adding arbitrary heaps.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2001.06235v2">arXiv:2001.06235v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zfo27putj5at7kf4zut4pev4iq">fatcat:zfo27putj5at7kf4zut4pev4iq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321072213/https://arxiv.org/pdf/2001.06235v1.pdf" title="fulltext PDF download [not primary version]" 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] <span style="color: #f43e3e;">&#10033;</span> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2001.06235v2" 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>

On the almighty wand

Rémi Brochenin, Stéphane Demri, Etienne Lozes
<span title="">2012</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/joe2ngto45hbnl3pncnesnq344" style="color: black;">Information and Computation</a> </i> &nbsp;
This result is extended with a bounded use of the magic wand that appears in Hoare-style rules.  ...  As a consequence, in SL the separating implication (also known as the magic wand) can simulate the separating conjunction.  ...  This has been a great help to improve the quality of the paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ic.2011.12.003">doi:10.1016/j.ic.2011.12.003</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hv5bgcy2jvd6dmf4awvdi4ggw4">fatcat:hv5bgcy2jvd6dmf4awvdi4ggw4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190414033314/https://core.ac.uk/download/pdf/82520924.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/bd/ec/bdec072906229e02018082dbd371b63def050998.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ic.2011.12.003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Page 1408 of JAMA: The Journal of the American Medical Association Vol. 97, Issue 19 [page]

<span title="1931-11-07">1931</span> <i title="American Medical Association"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_jama" style="color: black;">JAMA: The Journal of the American Medical Association </a> </i> &nbsp;
He makes it clear that he has no magic wand to wave over the patient’s head, removing his desire for drink: the patient himself must do the actual work under guidance.  ...  The alphabetical list of authors quoted alone fills eleven pages and gives a good idea of the care wit! which the current literature has been consulted.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_jama_1931-11-07_97_19/page/1408" title="read fulltext microfilm" 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> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_jama_1931-11-07_97_19/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 15 of Reedy's Mirror Vol. 10, Issue 47 [page]

<span title="1901-01-03">1901</span> <i title="Out-of-copyright"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_reedys-mirror" style="color: black;">Reedy&#39;s Mirror </a> </i> &nbsp;
Things are actors as well as the men and women: a lamp, a pistol, a table, a window- shade, a traveling bag—they are part of the dramatis personz. A hypodermic syringe is the magic wand.  ...  Gillette was endeavoring to illustrate the beauties of sententiousness, why could he not have eliminated all the old chestnuts of the melodrama?  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_reedys-mirror_1901-01-03_10_47/page/15" title="read fulltext microfilm" 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> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_reedys-mirror_1901-01-03_10_47/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 107 of The Athenaeum Vol. , Issue 4735 [page]

<span title="1920-01-28">1920</span> <i title="New Statesman Ltd"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_athenaeum-uk" style="color: black;">The Athenaeum </a> </i> &nbsp;
The name-part was not created by a Mr. Claude Rains, but was touched by the magic wand of Bernhardt.  ...  How this dark secret has been kept all these years, it passes the wit of man to explain.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_athenaeum-uk_1920-01-28_4735/page/107" title="read fulltext microfilm" 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> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_athenaeum-uk_1920-01-28_4735/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 112 of The National Magazine : An Illustrated Monthly Vol. 56, Issue 3 [page]

<span title="">1927</span> <i title="Out-of-copyright"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_national-magazine-an-illustrated-monthly" style="color: black;">The National Magazine : An Illustrated Monthly </a> </i> &nbsp;
It made a wonderful afternoon to see this mysterious white gas spreading over the soil and weaving itself in the foliage of shrub, vine, and tree like a magic wand bringing back life to the dying limb  ...  In the afternoon glow of this eventful day I witnessed the demise of more beetles than ever before in the same length of time.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_national-magazine-an-illustrated-monthly_1927-11_56_3/page/112" title="read fulltext microfilm" 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> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_national-magazine-an-illustrated-monthly_1927-11_56_3/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,365 results