Filters








125 Hits in 15.2 sec

A Lightweight Hat

Olaf Chitil, Maarten Faddegon, Colin Runciman
<span title="">2016</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vxvvpoup2fdh5io7x4xnimgwpe" style="color: black;">Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages - IFL 2016</a> </i> &nbsp;
A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs.  ...  However, such a detailed trace is desirable for understanding and debugging a lazy functional program.  ...  ACKNOWLEDGMENTS We thank the reviewers, in particular Henrik Nilsson, for their valuable comments and helpful suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3064899.3064904">doi:10.1145/3064899.3064904</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ifl/ChitilFR16.html">dblp:conf/ifl/ChitilFR16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ij23vnjymngzbayn2vs22buyom">fatcat:ij23vnjymngzbayn2vs22buyom</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719133121/https://kar.kent.ac.uk/61147/1/hatLight.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/67/1e/671eb123cf227c026df491d4df1c2bf716b6bc6e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3064899.3064904"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Practical aspects of declarative debugging in Haskell 98

Bernard Pope, Lee Naish
<span title="">2003</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mht6wa2vdbg7dn6n6lws4hpzti" style="color: black;">Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP &#39;03</a> </i> &nbsp;
An error diagnosis algorithm is applied to the tree in a top-down fashion, searching for causes of bugs. The search is guided by an oracle, who knows how each part of the program should behave.  ...  The traditional debugging technique of examining the program execution step-by-step, popular with imperative languages, is less suitable for Haskell because its unorthodox evaluation strategy is difficult  ...  The original program is transformed into a self-tracing one which can be compiled by any full-featured Haskell implementation (at the time of writing Hat works with nhc98 and GHC).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/888251.888273">doi:10.1145/888251.888273</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ppdp/PopeN03.html">dblp:conf/ppdp/PopeN03</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yoyz5zy4yjhlfhasmhm34x6ovi">fatcat:yoyz5zy4yjhlfhasmhm34x6ovi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070830170333/http://www.cs.mu.oz.au/~bjpop/papers/Pope.PhD.Thesis.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/d6/10/d61089444c699dcb6b94a72ec455690658d6b81c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/888251.888273"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A history of Haskell

Paul Hudak, John Hughes, Simon Peyton Jones, Philip Wadler
<span title="">2007</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yxhbgh6y35dt7l5lvisobdezve" style="color: black;">Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III</a> </i> &nbsp;
The members of the Haskell Committee played a particularly important role, however.  ...  We thank them very much for their input. We would also like to give our particular thanks to Bernie Pope and Don Stewart, who prepared the time-line given in Figure 2 .  ...  This was the origin of the new Hat project, which has developed a new tracer for Haskell 98, and a variety of trace browsing tools.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1238844.1238856">doi:10.1145/1238844.1238856</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hopl/HudakHJW07.html">dblp:conf/hopl/HudakHJW07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7i7s3ivrkzhotgoyvjnxcjglxu">fatcat:7i7s3ivrkzhotgoyvjnxcjglxu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20081031230155/http://www.iro.umontreal.ca/~monnier/2035/history.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/c7/9c/c79c90f4dd2a232ffcbc966a33eee0b29ccf9d9a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1238844.1238856"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Validating Behavioral Component Interfaces in Rewriting Logic

Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
Axelsen for contributing to the implementation of these ideas and to the anonymous referees for helpful comments.  ...  for insightful and constructive criticism.  ...  This would be the same also for a component consisting of a set of objects, for that matter. To specify sets of label traces, we employ a simple trace language with prefix, choice and recursion.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.12.069">doi:10.1016/j.entcs.2005.12.069</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/chb5rxirp5afld7emzxe6pdlim">fatcat:chb5rxirp5afld7emzxe6pdlim</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171120024418/https://core.ac.uk/download/pdf/30827811.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e8/4f/e84fb4cfc9220ac0be2689e8c4fb3bf83837c662.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.12.069"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Efficient Analysis and Synthesis of Complex Quantitative Systems [article]

Peter Gjøl Jensen
<span title="">2018</span> <i title="Aalborg University"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cut64qsierbofhhijdi4lkpjpq" style="color: black;">PhD series, Technical Faculty of IT and Design, ˜Aalborg=ålborgœ University</a> </i> &nbsp;
We show that integration between Uppaal and a plethora of other tools is possible via the Function Mockup Interface standard and demonstrate that Uppaal can be used as the driving tool for a so-called  ...  Teknikkerne anvendes dog oftest kun for højkritiske domaener såsom satellitsoftware, kliniske instrumenter og kraftvaerk.  ...  Acknowledgments We are grateful to Christopher Brooks, Fabio Cremona, and Edward Lee from UC Berkeley, for their work on the ptolemy framework. This  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5278/vbn.phd.tech.00043">doi:10.5278/vbn.phd.tech.00043</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fq4x5hnl5rgdzdtolcimzbonxm">fatcat:fq4x5hnl5rgdzdtolcimzbonxm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181008142125/http://vbn.aau.dk:80/files/286673010/PHD_Peter_Gjoel_Jensen_E_pdf.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/38/88/3888e36f216334f44b2a1f879070ad39d12064f5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5278/vbn.phd.tech.00043"> <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>

Relational cost analysis

Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann
<span title="">2017</span> <i title="ACM Press"> Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 </i> &nbsp;
For a short introduction to dependent types, see [22] . 3 If x doesn't occur in B, we have the usual simple function type A → B Dependent types enable programmers to express more program properties  ...  Given an associative and commutative binary function f of simple type (τ × τ) → τ, a list of simple type (list τ) can be folded by splitting it into two nearly equal sized lists, folding the sublists recursively  ...  Assume that ∆; Φ a ; Γ ee τ | t and σ ∈ D ∆ and | = σΦ and (m, δ) ∈ Proof. Proofs are by induction on typing derivations with a sub-induction on step-indices for recursive functions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3009837.3009858">doi:10.1145/3009837.3009858</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5gx5x6lrnrdwtkvfgk4vxgmg34">fatcat:5gx5x6lrnrdwtkvfgk4vxgmg34</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200130073601/https://publikationen.sulb.uni-saarland.de/bitstream/20.500.11880/26943/1/main.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 noreferrer" href="https://doi.org/10.1145/3009837.3009858"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Natural-Born Cyborgs: Minds, Technologies, and the Future of Human Intelligence (review)

Mark Erickson
<span title="">2004</span> <i title="Johns Hopkins University Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fqfucrnhwzbsbli5cz3eaz2wju" style="color: black;">Canadian journal of sociology</a> </i> &nbsp;
It provides complementary functionality, allowing people informally and rapidly to interact, while preserving an inspectable and revisitable trace.  ...  Chemical traces in the slime preserve direction-specific information that can be "read" by the next slugs along.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1353/cjs.2004.0038">doi:10.1353/cjs.2004.0038</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w4y2rzpakbcgbivjhpsbizvmzu">fatcat:w4y2rzpakbcgbivjhpsbizvmzu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120912191524/http://www.profesaulosuna.com/data/files/ROBOTICA/ROBOTICS%20EBOOKS/Natural-Born%20Cyborgs-Minds,Technologies,and%20the%20Future%20of%20Human%20Intelligence.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/49/a0/49a09e1c57251daeb96b88e7a5507224da3a01a3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1353/cjs.2004.0038"> <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>

Practical systematic concurrency testing for concurrent and distributed software

Paul Thomson, Alastair Donaldson, Cristian Cadar, Engineering And Physical Sciences Research Council
<span title="2018-01-12">2018</span>
The lazy happens-before relation (lazy HBR), which provides reduction beyond partial-order reduction for programs that use mutexes.  ...  A case study where we apply SCT in the context of distributed systems written for Azure Service Fabric (Fabric). We introduce our Adara actors framework for writing portable, statically-typed actors.  ...  example We illustrate the lazy happens-before relation (lazy HBR) and the benefits it can bring to SCT using the simple multithreaded program of Figure 4 .1a (contrived for illustration purposes).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.25560/55908">doi:10.25560/55908</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7cewm4nb5rbdtbwwzdnrhmfm2i">fatcat:7cewm4nb5rbdtbwwzdnrhmfm2i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200217054936/https://spiral.imperial.ac.uk:8443/bitstream/10044/1/55908/1/Thomson-P-2017-PhD-Thesis.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/fb/83/fb834d367e1fee3f90c0b93e4478c1fde30af89d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.25560/55908"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Performance Optimization Strategies for Transactional Memory Applications

Martin Otto Schindewolf
<span title="">2013</span>
Therefore, this thesis addresses a number of challenges to extract static information, information about the run time behavior, and expert-level knowledge to develop these new methods and strategies for  ...  This thesis presents tools for Transactional Memory (TM) applications that cover multiple TM systems (Software, Hardware, and hybrid TM) and use information of all different layers of the TM software stack  ...  Since a smaller deviation means similar program behavior, our tracing variants preserve the application's behavior better than Pin.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5445/ir/1000035636">doi:10.5445/ir/1000035636</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/waxykj7aijfojinkttzryrfmfy">fatcat:waxykj7aijfojinkttzryrfmfy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200227151603/https://publikationen.bibliothek.kit.edu/1000035636/2664770" 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/e2/60/e2609a54a7da77f3e0fd02d33fa3071545944577.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5445/ir/1000035636"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Typed open programming : a higher-order, typed approach to dynamic modularity and distribution [article]

Andreas Rossberg, Universität Des Saarlandes, Universität Des Saarlandes
<span title="2007-08-29">2007</span>
We present the design of a concrete programming language, Alice ML, that consists of a conventional functional language extended with a set of orthogonal features like higher-order modules, dynamic type  ...  Furthermore, we develop a formal model for abstract types that is not invalidated by the presence of primitives for dynamic type inspection, as is the case for the standard model based on existential quantification  ...  They depend on the actual correctness of the judgement rules for kind coercions for the types involved, so we have to take that as an assumption.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.22028/d291-25878">doi:10.22028/d291-25878</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tadaeu7yyvgdrlnvr73pm6246q">fatcat:tadaeu7yyvgdrlnvr73pm6246q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200301183242/https://publikationen.sulb.uni-saarland.de/bitstream/20.500.11880/25934/1/Dissertation_1610_Ross_Andr_2007.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/78/e7/78e70965a3b7007d64aeba5ae5c3f6358bb412de.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.22028/d291-25878"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Asian Social Science, Vol. 5, No. 1, January, 2009

Editor ASS
<span title="2009-02-09">2009</span> <i title="Canadian Center of Science and Education"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/doxdajfofzhxhnrpacrpjj3quu" style="color: black;">Asian Social Science</a> </i> &nbsp;
They emphasize natural fibers, elastic fiber, functional use of a new type of fiber and gives excellent comfort and functionality to knitwear; or it adopts lightweight, mid-hollow fibers so that it could  ...  A earth red band is used to tie the waist. The collar is sewed with 8 to 10 centimeters band. Its color is gentle. He will also wear flower hat with a peasant circus on the hat.  ...  In ancient times, Hainan Island was teemed with rivers and forests and had a lot of wild animals and plants resources. The ancient Run Li people wore bark cloth and hats.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5539/ass.v5n1p0">doi:10.5539/ass.v5n1p0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/krcv2lqolvekve3nbkpj2kfsem">fatcat:krcv2lqolvekve3nbkpj2kfsem</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090523171754/http://www.ccsenet.org:80/journal/index.php/ass/article/download/9/4" 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/51/585104c8c6ef8d0334cede4a132a5f497975d1cf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5539/ass.v5n1p0"> <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>

Asian Social Science, Vol. 4, No. 1, January, 2008

Editor ASS
<span title="2007-12-31">2007</span> <i title="Canadian Center of Science and Education"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/doxdajfofzhxhnrpacrpjj3quu" style="color: black;">Asian Social Science</a> </i> &nbsp;
They emphasize natural fibers, elastic fiber, functional use of a new type of fiber and gives excellent comfort and functionality to knitwear; or it adopts lightweight, mid-hollow fibers so that it could  ...  A earth red band is used to tie the waist. The collar is sewed with 8 to 10 centimeters band. Its color is gentle. He will also wear flower hat with a peasant circus on the hat.  ...  In ancient times, Hainan Island was teemed with rivers and forests and had a lot of wild animals and plants resources. The ancient Run Li people wore bark cloth and hats.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5539/ass.v4n1p0">doi:10.5539/ass.v4n1p0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ilprqqfrg5gdpbztyg452jhku4">fatcat:ilprqqfrg5gdpbztyg452jhku4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090523171754/http://www.ccsenet.org:80/journal/index.php/ass/article/download/9/4" 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/51/585104c8c6ef8d0334cede4a132a5f497975d1cf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5539/ass.v4n1p0"> <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>

Debugging Functional Programs by Interpretation

John Whitington
<span title="2020-07-23">2020</span>
We present work on a new debugger for the functional programming language OCaml which operates by direct interpretation of the program source, allowing the printing out of individual steps of the program's  ...  Having explored why debuggers are not used as widely as one might expect, especially in functional programming environments, we define the characteristics of a debugger which make it usable and thus likely  ...  The Visual Miranda Machine [Auguston and Reinfields, 1994 ] provides a trace of the evaluation of a lazy functional program, together with a commentary showing the reason for choosing each evaluation  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.25392/leicester.data.12696617.v1">doi:10.25392/leicester.data.12696617.v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ff3jhjd6ibgwhkrnz5otcotlea">fatcat:ff3jhjd6ibgwhkrnz5otcotlea</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200729042029/https://s3-eu-west-1.amazonaws.com/pstorage-leicester-213265548798/24043700/2020WhitingtonJPHD.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/c9/38/c9384de19aa289be72c7eb87c454d7864a3920ee.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.25392/leicester.data.12696617.v1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Garbage collection and the case for high-level low-level programming [article]

Daniel Frampton, University, The Australian National, University, The Australian National
<span title="2018-10-15">2018</span>
However, any program can generate a trace by complying with a simple binary format.  ...  Traces. The process of collecting data for visualization begins in an instrumentation layer that generates a trace.  ...  In a systems programming task, however, there is often a need for transparent access to the lowest levels of the target environment.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.25911/5d63be55ebb64">doi:10.25911/5d63be55ebb64</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zvw65le2cbezjmvysz6fgwkeii">fatcat:zvw65le2cbezjmvysz6fgwkeii</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180405182443/http://users.cecs.anu.edu.au/%7Esteveb/downloads/pdf/frampton-phd-2010.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/2d/42/2d42d402d2dbb913b6bb74413dedbfae3425bb71.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.25911/5d63be55ebb64"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Art, nature, and religion in the central Andes: themes and variations from prehistory to present

<span title="2012-12-01">2012</span> <i title="American Library Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pjjljho22jhnrmpk3k2jxhxzv4" style="color: black;">ChoiceReviews</a> </i> &nbsp;
The scissors held in the dancer's hand function as a percussion instrument. They produce a constant clanging sound with a mesmerizing effect.  ...  Particular shapes and forms of these hats complete with different types of sashes mark regional identity, especially for women.  ...  By the same token, a New World turkey might take on some Old World peacock elements. Elaborate and lacy filigree might form part of the decoration for these burners as well.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5860/choice.50-2157">doi:10.5860/choice.50-2157</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y33a5fgymjdzteuairkfzp6nde">fatcat:y33a5fgymjdzteuairkfzp6nde</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721211124/https://texashistory.unt.edu/ark:/67531/metapth641523/m2/1/high_res_d/UNT-0042-0015.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/0c/740c920de88b4788bf216671ad97260fffc83720.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5860/choice.50-2157"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 125 results