Filters








6,932 Hits in 3.7 sec

Psychometric Properties and a Preliminary Validation Study of the Italian Brief Version of the Communication Styles Inventory (CSI-B/I)

Pierluigi Diotaiuti, Giuseppe Valente, Stefania Mancone, Angela Grambone
<span title="2020-06-22">2020</span> <i title="Frontiers Media SA"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5r5ojcju2repjbmmjeu5oyawti" style="color: black;">Frontiers in Psychology</a> </i> &nbsp;
Due to the lack of instruments in the Italian psychometric scenario to assess communication styles, the present study included the translation and validation of the Italian short version of the Communication  ...  , which translate into communicative style as a specific form of adaptation integrating the behavioral and personality perspectives.  ...  An Exploratory Factor Analysis (EFA) with PA and estimation method of ML was conducted on the 96 items of the first version of the questionnaire, producing a Kaiser-Meyer-Olkin (KMO) index score of 0.815  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fpsyg.2020.01421">doi:10.3389/fpsyg.2020.01421</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/32655460">pmid:32655460</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC7323508/">pmcid:PMC7323508</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jbkqiy3infbmblzuqg22mlodd4">fatcat:jbkqiy3infbmblzuqg22mlodd4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200623064006/https://fjfsdata01prod.blob.core.windows.net/articles/files/536585/pubmed-zip/.versions/2/.package-entries/fpsyg-11-01421-r1/fpsyg-11-01421.pdf?sv=2015-12-11&amp;sr=b&amp;sig=TbjciG1%2Fn6OUyt5HsF2M1%2F1ClCdk%2BIBOkBQj%2FePLvTg%3D&amp;se=2020-06-23T06%3A40%3A35Z&amp;sp=r&amp;rscd=attachment%3B%20filename%2A%3DUTF-8%27%27fpsyg-11-01421.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/d0/41d07c8e46e8cf266ff713ffa5d01c0d89969fca.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fpsyg.2020.01421"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> frontiersin.org </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7323508" 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 3293 of Mathematical Reviews Vol. , Issue 2004d [page]

<span title="">2004</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
This paper is concerned with analyzing control flow for functional programming based on typed lambda caiculus.  ...  The paper studies languages which contain lambda abstractions and recursive function definitions, in addition to expressions and values.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2004-04_2004d/page/3293" 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_mathematical-reviews_2004-04_2004d/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

A practical and flexible flow analysis for higher-order languages

J. Michael Ashley
<span title="">1996</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL &#39;96</a> </i> &nbsp;
A flow analysis collects data-flow and control-flow information about programs. A compiler can use this information to enable optimizations.  ...  These operators are used to regulate the speed and accuracy of the analysis. An implementation of the analysis is incorporated into and used in a production Scheme compiler.  ...  Both flow-sensitive and flow-insensitive versions of the analysis framework are implemented.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/237721.237773">doi:10.1145/237721.237773</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/Ashley96.html">dblp:conf/popl/Ashley96</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xl3qtyapsbfflbv6nh5naykdle">fatcat:xl3qtyapsbfflbv6nh5naykdle</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20031205123705/http://www.cs.indiana.edu:80/~dyb/papers/toplas97.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/c8/ea/c8eacbb1cbdfbe7ce90a4ebd35eafc5df82890da.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/237721.237773"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A practical and flexible flow analysis for higher-order languages

J. Michael Ashley, R. Kent Dybvig
<span title="1998-07-01">1998</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4hplau6wtnhnfnqt2t7vbri6vm" style="color: black;">ACM Transactions on Programming Languages and Systems</a> </i> &nbsp;
A flow analysis collects data-flow and control-flow information about programs. A compiler can use this information to enable optimizations.  ...  These operators are used to regulate the speed and accuracy of the analysis. An implementation of the analysis is incorporated into and used in a production Scheme compiler.  ...  Both flow-sensitive and flow-insensitive versions of the analysis framework are implemented.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/291891.291898">doi:10.1145/291891.291898</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y6jsvuapxvgedaub6w3zn7rexa">fatcat:y6jsvuapxvgedaub6w3zn7rexa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20031205123705/http://www.cs.indiana.edu:80/~dyb/papers/toplas97.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/c8/ea/c8eacbb1cbdfbe7ce90a4ebd35eafc5df82890da.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/291891.291898"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Hierarchical Involvement of Myeloid-Derived Suppressor Cells and Monocytes Expressing Latency-Associated Peptide in Plasma Cell Dyscrasias

Tamar Tadmor, Ilana Levy, Zahava Vadasz
<span title="2018-05-25">2018</span> <i title="Galenos Yayinevi"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qudnzcygubfwpiem6tdqe7grvi" style="color: black;">Turkish Journal of Hematology</a> </i> &nbsp;
Statistical Analysis All values were expressed as mean ± standard error of the mean. For flow-cytometry data, values between groups of data were tested for statistical significance.  ...  Figure 2 . 2 Flow-cytometry analysis of peripheral blood from patients with different plasma cell dyscrasias in comparison to healthy controls for the expression of latency-associated peptide (LAP) on  ...  Conflict of Interest: The authors of this paper have no conflicts of interest, including specific financial interests, relationships, and/or affiliations relevant to the subject matter or materials included  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4274/tjh.2018.0022">doi:10.4274/tjh.2018.0022</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/29589834">pmid:29589834</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC5972333/">pmcid:PMC5972333</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jh45f3va3nhfbbkv65bvdxe23u">fatcat:jh45f3va3nhfbbkv65bvdxe23u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190227072500/http://pdfs.semanticscholar.org/773e/9290f2ab73c6423ff4c11545895cd0245498.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/77/3e/773e9290f2ab73c6423ff4c11545895cd0245498.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4274/tjh.2018.0022"> <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> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5972333" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

The AltaRica 3.0 project for model-based safety assessment

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Leila Kloul
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/smfbtfrl7zb77oapyk4p5ffxja" style="color: black;">2013 11th IEEE International Conference on Industrial Informatics (INDIN)</a> </i> &nbsp;
AltaRica 3.0 improves significantly the expressive power of AltaRica Data-Flow without decreasing the efficiency of its assessment algorithms.  ...  The objective of the AltaRica 3.0 project is to design a new version of AltaRica, and to develop a complete set of authoring, simulation and assessment tools to perform safety analyses: virtual experiments  ...  Thanks to these tools AltaRica models can be used to perform Preliminary System Safety Analysis (PSSA) and System Safety Analysis (SSA).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/indin.2013.6622976">doi:10.1109/indin.2013.6622976</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/indin/BatteuxPRK13.html">dblp:conf/indin/BatteuxPRK13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4z7csyucpza5hndle42ewcgwni">fatcat:4z7csyucpza5hndle42ewcgwni</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809075854/http://www.lix.polytechnique.fr/~prosvirnova/PBRK13_INDIN_AltaRica3_0.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/0d/a5/0da5586eee9f41e4e9cb81c327386c3e0b6bf0b7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/indin.2013.6622976"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs [article]

Daniel Lundén, David Broman, Fredrik Ronquist, Lawrence M. Murray
<span title="2018-12-18">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Probabilistic programming is a programming paradigm for expressing flexible probabilistic models.  ...  We propose a new static analysis approach based on the 0-CFA algorithm for automatically aligning higher-order probabilistic programs.  ...  the term enclosed in the lambda can flow to the result of the application.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1812.07439v1">arXiv:1812.07439v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gjm7y7e74rg7nin7h4ud5ney6y">fatcat:gjm7y7e74rg7nin7h4ud5ney6y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200901142547/https://arxiv.org/pdf/1812.07439v1.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/44/d2/44d253275a02e1fa2029036c974d51da17cd91f9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1812.07439v1" 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>

Taming MATLAB

Anton Willy Dubrau, Laurie Jane Hendren
<span title="">2012</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6y3m32grtnfktkp2oo6oqjbvta" style="color: black;">Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA &#39;12</a> </i> &nbsp;
the large number of builtin MATLAB functions, and supports an extensible interprocedural value analysis for estimating MATLAB types and call graphs.  ...  Our open source toolkit, called the MATLAB Tamer, identifies a large tame subset of MATLAB, supports the generation of a specialized Tame IR for that subset, provides a principled approach to handling  ...  Finally, we developed an extensible interprocedural analysis framework and an extensible value analysis that can be used to build a complete callgraph, which estimates the mclass of every variable.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2384616.2384653">doi:10.1145/2384616.2384653</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/oopsla/DubrauH12.html">dblp:conf/oopsla/DubrauH12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sibpm5jwpveulagrpnlopyyt64">fatcat:sibpm5jwpveulagrpnlopyyt64</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140717055156/http://www.sable.mcgill.ca/publications/papers/2012-1/oopsla12-dubrau.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/7e/c3/7ec369eb02332f600d2568c7819019d76c352aa9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2384616.2384653"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Taming MATLAB

Anton Willy Dubrau, Laurie Jane Hendren
<span title="2012-11-15">2012</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;
the large number of builtin MATLAB functions, and supports an extensible interprocedural value analysis for estimating MATLAB types and call graphs.  ...  Our open source toolkit, called the MATLAB Tamer, identifies a large tame subset of MATLAB, supports the generation of a specialized Tame IR for that subset, provides a principled approach to handling  ...  Finally, we developed an extensible interprocedural analysis framework and an extensible value analysis that can be used to build a complete callgraph, which estimates the mclass of every variable.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2398857.2384653">doi:10.1145/2398857.2384653</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jw655pxgp5g5thzffobk7zysmu">fatcat:jw655pxgp5g5thzffobk7zysmu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140717055156/http://www.sable.mcgill.ca/publications/papers/2012-1/oopsla12-dubrau.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/7e/c3/7ec369eb02332f600d2568c7819019d76c352aa9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2398857.2384653"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Lambda-dropping

Olivier Danvy, Ulrik P. Schultz
<span title="">1997</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4inzarpn6bccxa4a445nlydsbi" style="color: black;">Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM &#39;97</a> </i> &nbsp;
Both lambda-lifting and lambda-dropping thus require one to compute Def/Use paths: • for lambda-lifting: each of the functions occurring in the path of a free variable is passed this variable as a parameter  ...  Its blocks are then free to float (for lambda-lifting) or to sink (for lambda-dropping) along the vertices of the scope tree.  ...  Heintze, Tue Jakobsen, Kristoffer Rose, Peter Sestoft, and Sergei Soloviev for their kind interest on the general topic of lambda-lifting and lambda-dropping.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/258993.259007">doi:10.1145/258993.259007</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pepm/DanvyS97.html">dblp:conf/pepm/DanvyS97</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/e3etskmscvgxteod6wl2jk6ncy">fatcat:e3etskmscvgxteod6wl2jk6ncy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20061211033235/http://www.mip.sdu.dk:80/~ups/papers/tcs00.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2c/c2/2cc2f44ec6b9a5cb87e82bf2df4e96f44bb6b4f7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/258993.259007"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

Olivier Danvy, Ulrik P. Schultz
<span title="1997-01-06">1997</span> <i title="Aarhus University Library"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/433eg2tipzegfkgt5m5cmv46zq" style="color: black;">BRICS Report Series</a> </i> &nbsp;
As a result,<br />residual programs are also expressed as recursive equations, often with<br />dozens of parameters, which most compilers do not handle efficiently.  ...  <p>Lambda-lifting a functional program transforms it into a set of recursive<br />equations. We present the symmetric transformation: lambda-dropping.  ...  Heintze, Tue Jakobsen, Kristoffer Rose, Peter Sestoft, and Sergei Soloviev for their kind interest on the general topic of lambda-lifting and lambda-dropping.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/brics.v4i6.18785">doi:10.7146/brics.v4i6.18785</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uqo55kxr2bd2rjwc7kwlw6myhe">fatcat:uqo55kxr2bd2rjwc7kwlw6myhe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160303225921/http://www.brics.dk/RS/99/27/BRICS-RS-99-27.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/18/45/18450dbb3b6fe7f2327315d122d7a91174e0e739.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/brics.v4i6.18785"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Lambda-dropping: transforming recursive equations into programs with block structure

Olivier Danvy, Ulrik P. Schultz
<span title="">2000</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
Both lambda-lifting and lambda-dropping thus require one to compute Def/Use paths: • for lambda-lifting: each of the functions occurring in the path of a free variable is passed this variable as a parameter  ...  Lambda-dropping a set of recursive equations restores block structure and lexical scope.  ...  Heintze, Tue Jakobsen, Kristoffer Rose, Peter Sestoft, and Sergei Soloviev for their kind interest on the general topic of lambda-lifting and lambda-dropping.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(00)00054-2">doi:10.1016/s0304-3975(00)00054-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/z5aebuca7jh27ky577qeaghkzy">fatcat:z5aebuca7jh27ky577qeaghkzy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160303225921/http://www.brics.dk/RS/99/27/BRICS-RS-99-27.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/18/45/18450dbb3b6fe7f2327315d122d7a91174e0e739.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(00)00054-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Page 3986 of Mathematical Reviews Vol. , Issue 82i [page]

<span title="">1982</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
Jones, Flow analysis of lambda expressions (preliminary version) (pp. 114-128); Jacques Loeckx, Algorithmic specifications of abstract data types (pp. 129-147); P. A.  ...  Makowsky, Characterizing data base dependencies (pp. 86-97); Micha Sharir, Data flow analysis of applicative programs (pp. 98-113); Neil D.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1982-09_82i/page/3986" 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_mathematical-reviews_1982-09_82i/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

Olivier Danvy, Ulrik P. Schultz
<span title="1998-12-03">1998</span> <i title="Aarhus University Library"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/433eg2tipzegfkgt5m5cmv46zq" style="color: black;">BRICS Report Series</a> </i> &nbsp;
Both lambda-lifting and lambda-dropping thus require one to compute Def/Use paths:<ul><li>for lambda-lifting: each of the functions occurring in the path of a free variable is passed this variable as a  ...  Lambda-dropping a set of recursive equations restores block structure and lexical scope.  ...  Heintze, Tue Jakobsen, Kristoffer Rose, Peter Sestoft, and Sergei Soloviev for their kind interest on the general topic of lambda-lifting and lambda-dropping.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/brics.v5i54.21959">doi:10.7146/brics.v5i54.21959</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3u3uix3y2ncprju2ilisrsxdl4">fatcat:3u3uix3y2ncprju2ilisrsxdl4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160303225921/http://www.brics.dk/RS/99/27/BRICS-RS-99-27.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/18/45/18450dbb3b6fe7f2327315d122d7a91174e0e739.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/brics.v5i54.21959"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

Olivier Danvy, Ulrik P. Schultz
<span title="1999-01-27">1999</span> <i title="Aarhus University Library"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/433eg2tipzegfkgt5m5cmv46zq" style="color: black;">BRICS Report Series</a> </i> &nbsp;
Both lambda-lifting and lambda-dropping thus require one to compute Def/Use paths:</p><p><br />- for lambda-lifting: each of the functions occurring in the path of a<br />free variable is passed this variable  ...  Lambda-dropping a set of recursive equations restores block structure and lexical scope.  ...  Heintze, Tue Jakobsen, Kristoffer Rose, Peter Sestoft, and Sergei Soloviev for their kind interest on the general topic of lambda-lifting and lambda-dropping.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/brics.v6i27.20096">doi:10.7146/brics.v6i27.20096</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bwkchvaribhz3daclqzqkdslhi">fatcat:bwkchvaribhz3daclqzqkdslhi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160303225921/http://www.brics.dk/RS/99/27/BRICS-RS-99-27.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/18/45/18450dbb3b6fe7f2327315d122d7a91174e0e739.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/brics.v6i27.20096"> <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 6,932 results