1,365 Hits in 3.9 sec

Witnessing the elimination of magic wands

Stefan Blom, Marieke Huisman
2015 International Journal on Software Tools for Technology Transfer (STTT)  
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)  ... 
doi:10.1007/s10009-015-0372-3 pmid:27194940 pmcid:PMC4841211 fatcat:cwin6u4objgfneuy4esstm75ue

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

1972 Florida Bar Journal  
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.  ... 

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

1931 American Journal of Public Health  
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  ... 

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

1941 American Veterinary Medical Association. Journal of the American Veterinary Medical Association  
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.  ... 

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

Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser
2020 Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs  
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.  ... 
doi:10.1145/3372885.3373818 dblp:conf/cpp/RouvoetPKV20 fatcat:wmdtkhbrrrdt5gtuphqed2ry4i

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

1949 Finishing Today  
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!  ... 

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
2000 Applied Cognitive Psychology  
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!  ... 
doi:10.1002/1099-0720(200103/04)15:2<205::aid-acp698>;2-f fatcat:7yeuzbkqmzasjoz5wmqf7w6bx4

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

Jonathan Pitches
2007 Performance Research: A Journal of the Performing Arts  
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  ... 
doi:10.1080/13528160701822692 fatcat:mbtnjva25fbcxknptxwxkg37de

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

1925 POWER  
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.  ... 

Strong-Separation Logic [article]

Jens Pagel, Florian Zuleger
2021 arXiv   pre-print
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.  ... 
arXiv:2001.06235v2 fatcat:zfo27putj5at7kf4zut4pev4iq

On the almighty wand

Rémi Brochenin, Stéphane Demri, Etienne Lozes
2012 Information and Computation  
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.  ... 
doi:10.1016/j.ic.2011.12.003 fatcat:hv5bgcy2jvd6dmf4awvdi4ggw4

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

1931 JAMA: The Journal of the American Medical Association  
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.  ... 

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

1901 Reedy's Mirror  
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?  ... 

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

1920 The Athenaeum  
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.  ... 

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

1927 The National Magazine : An Illustrated Monthly  
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.  ... 
« Previous Showing results 1 — 15 out of 1,365 results