Filters








283 Hits in 8.3 sec

Miniphases: compilation using modular and efficient tree transformations

Dmitry Petrashko, Ondřej Lhoták, Martin Odersky
<span title="">2017</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017</a> </i> &nbsp;
This approach has been implemented in the Dotty compiler for the Scala language.  ...  This paper describes a methodology that allows a compiler writer to define multiple transformations separately, but fuse them into a single traversal of the intermediate representation when the compiler  ...  We are grateful to other researchers and students that use and base their work on the Dotty compiler and to the anonymous reviewers for the valuable feedback and helpful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3062341.3062346">doi:10.1145/3062341.3062346</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/PetrashkoLO17.html">dblp:conf/pldi/PetrashkoLO17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3bfpequ7x5ahxnl5b2egvpywja">fatcat:3bfpequ7x5ahxnl5b2egvpywja</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724230935/https://infoscience.epfl.ch/record/228518/files/paper.pdf?version=1" 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/13/80/1380a3d1e5d48c8c11b5df2e0f9487f9c70ccb88.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3062341.3062346"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Miniphases: compilation using modular and efficient tree transformations

Dmitry Petrashko, Ondřej Lhoták, Martin Odersky
<span title="2017-06-14">2017</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;
This approach has been implemented in the Dotty compiler for the Scala language.  ...  This paper describes a methodology that allows a compiler writer to define multiple transformations separately, but fuse them into a single traversal of the intermediate representation when the compiler  ...  We are grateful to other researchers and students that use and base their work on the Dotty compiler and to the anonymous reviewers for the valuable feedback and helpful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3140587.3062346">doi:10.1145/3140587.3062346</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gbfbpulqlbgabh4cuspwkymmai">fatcat:gbfbpulqlbgabh4cuspwkymmai</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724230935/https://infoscience.epfl.ch/record/228518/files/paper.pdf?version=1" 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/13/80/1380a3d1e5d48c8c11b5df2e0f9487f9c70ccb88.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3140587.3062346"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

An open graph visualization system and its applications to software engineering

Emden R. Gansner, Stephen C. North
<span title="">2000</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/afve5b3tavbfzch46mdtazbqla" style="color: black;">Software, Practice &amp; Experience</a> </i> &nbsp;
We conclude with a description of the applications of this package to a variety of software engineering tools.  ...  Our design, which aimed at facilitating the combination of the package components with other tools, includes stream and event interfaces for graph operations, high-quality static and dynamic layout algorithms  ...  ACKNOWLEDGEMENTS The system described in this paper is the synthesis of the work of many people.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/1097-024x(200009)30:11&lt;1203::aid-spe338&gt;3.3.co;2-e">doi:10.1002/1097-024x(200009)30:11&lt;1203::aid-spe338&gt;3.3.co;2-e</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/e6aowek2fzfj7aqfpzjyhex6qu">fatcat:e6aowek2fzfj7aqfpzjyhex6qu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050326024742/http://www.graphviz.org:80/Documentation/GN99.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/5f/62/5f62ffee6cfd08e989fbe7e26f1c0aedad0deb6b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/1097-024x(200009)30:11&lt;1203::aid-spe338&gt;3.3.co;2-e"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

An open graph visualization system and its applications to software engineering

Emden R. Gansner, Stephen C. North
<span title="">2000</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/afve5b3tavbfzch46mdtazbqla" style="color: black;">Software, Practice &amp; Experience</a> </i> &nbsp;
We conclude with a description of the applications of this package to a variety of software engineering tools.  ...  Our design, which aimed at facilitating the combination of the package components with other tools, includes stream and event interfaces for graph operations, high-quality static and dynamic layout algorithms  ...  ACKNOWLEDGEMENTS The system described in this paper is the synthesis of the work of many people.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/1097-024x(200009)30:11&lt;1203::aid-spe338&gt;3.0.co;2-n">doi:10.1002/1097-024x(200009)30:11&lt;1203::aid-spe338&gt;3.0.co;2-n</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nyubu7ojofeajfzoeytcwulhqa">fatcat:nyubu7ojofeajfzoeytcwulhqa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050326024742/http://www.graphviz.org:80/Documentation/GN99.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/5f/62/5f62ffee6cfd08e989fbe7e26f1c0aedad0deb6b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/1097-024x(200009)30:11&lt;1203::aid-spe338&gt;3.0.co;2-n"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

Postcondition-preserving fusion of postorder tree transformations

Eleanor Davies, Sara Kalvala
<span title="2020-02-22">2020</span> <i title="ACM"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/co3tf2zzendhlbd6zt7kuvv3ha" style="color: black;">Proceedings of the 29th International Conference on Compiler Construction</a> </i> &nbsp;
Using a series of simple transformations to build a more complex system can make the resulting software easier to understand, maintain, and reason about.  ...  Existing approaches to fusing tree transformations tend to take an informal approach to soundness, or be too restrictive to consider the kind of transformations needed in a compiler.  ...  Acknowledgments Eleanor Davies is funded by a studentship from the Engineering and Physical Sciences Research Council (EPSRC) under grant number EP/N509796/1.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3377555.3377884">doi:10.1145/3377555.3377884</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/cc/DaviesK20.html">dblp:conf/cc/DaviesK20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oicmvv2dwbhslkgtniogav7oym">fatcat:oicmvv2dwbhslkgtniogav7oym</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200506050415/http://wrap.warwick.ac.uk/134073/1/WRAP-postcondition-preserving-fusion-postorder-tree-transformations-Davies-2020.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/1d/7e/1d7e9ee8b28614d9384f787dcfb5d053040f93fe.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3377555.3377884"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Verifying message-passing programs with dependent behavioural types

Alceste Scalas, Nobuko Yoshida, Elias Benussi
<span title="">2019</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019</a> </i> &nbsp;
To address this challenge, it would be desirable to specify and verify the intended behaviour of message-passing applications using types, and ensure that, if a program type-checks and compiles, then it  ...  We develop this idea in theory and practice.  ...  Acknowledgements Thanks to the anonymous reviewers for their remarks, to Sung-Shik Jongmans for his comments, and to Raymond Hu for testing the artifact.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3314221.3322484">doi:10.1145/3314221.3322484</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/ScalasYB19.html">dblp:conf/pldi/ScalasYB19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o64i4g4flfbx7kkvbrz3ppyyp4">fatcat:o64i4g4flfbx7kkvbrz3ppyyp4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200507223054/https://publications.aston.ac.uk/id/eprint/39033/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] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a8/cf/a8cf45588398fd4d3acf9351ee827baafddf5206.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3314221.3322484"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Compiler Hacking for Source Code Analysis

G. Antoniol, M. Di Penta, G. Masone, U. Villano
<span title="">2004</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ebi7q3ex3rg5jft2nycpainznm" style="color: black;">Software quality journal</a> </i> &nbsp;
Moreover, the paper presents an approach and a tool, XOgastan, developed exploiting the gcc/g++ ability to save a representation of the intermediate abstract syntax tree.  ...  In the past, two different strategies have been adopted to develop tool suites.  ...  Moreover, visualization and layouting are straightforward, through both interactive tools (e.g., Dotty) or libraries (e.g., Grappa) that allow the construction of easily graphical tools to interact with  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1023/b:sqjo.0000039794.29432.7e">doi:10.1023/b:sqjo.0000039794.29432.7e</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fqsuiwatwneq5e7xjiuknoli4a">fatcat:fqsuiwatwneq5e7xjiuknoli4a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060907210339/http://www.cs.odu.edu/~cmo/classes/old/cs791sp05/readings/Antoniol04.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/5f/9a5f19bd8c5b740b21ec91cc2c1291c99fef591b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1023/b:sqjo.0000039794.29432.7e"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

STG: A Symbolic Test Generation Tool [chapter]

Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva
<span title="">2002</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;
We report on a tool we have developed that implements conformance testing techniques to automatically derive symbolic tests cases from formal operational specifications.  ...  We demonstrate the application of the techniques and tools on a simple example and present case studies for the CEPS (Common Electronic Purse Specification) and for the file system of the 3GPP (Third Generation  ...  We have presented a simple example that demonstrates the application of the method and the tool to a software testing problem, and reported case studies for the CEPS and for the file system of the 3GPP  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-46002-0_34">doi:10.1007/3-540-46002-0_34</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xnxmnjo4frcnfn6zm2vr333m3y">fatcat:xnxmnjo4frcnfn6zm2vr333m3y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181030063922/https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0_34.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/fc/f2/fcf271cc4fab76accb97ae4f496196e33efdde45.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-46002-0_34"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Collaboration and coordination in process-centered software development environments: a review of the literature

Paulo Barthelmess
<span title="">2003</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/43ycbq2sebfnzi23a5qkxwni2y" style="color: black;">Information and Software Technology</a> </i> &nbsp;
Such environments mediate the efforts of potentially large groups of developers working on a common project.  ...  The identified functionality can serve both as a guide for the evaluation and selection of systems of this kind as well as a roadmap for the development of new, improved systems.  ...  Process Centered Software Development Environments and the nomenclature used in this paper are presented in Section 2.2.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0950-5849(03)00091-0">doi:10.1016/s0950-5849(03)00091-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mhwqq4ogrzc5thdlx7njscdldu">fatcat:mhwqq4ogrzc5thdlx7njscdldu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812102836/http://www.barthelmess.net/Publications/INFSOF/collabwf-infsof.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/1d/e3/1de345b8bab2398bc51fc4302759d6f0d11a24ee.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0950-5849(03)00091-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version) [article]

David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
<span title="2022-05-16">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We prove formally that our compiler preserves program behavior in presence of an attacker controlling the client code.  ...  In this paper, we present Prisma, a language for tierless decentralized applications, where the contract and its clients are defined in one unit and pairs of send and receive actions that "belong together  ...  The dotty-cps-async macro [81] supports async/await and similar effects for the Dotty compiler.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2205.07780v1">arXiv:2205.07780v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/plscefwjtjdvjmpzjzvqfetqhi">fatcat:plscefwjtjdvjmpzjzvqfetqhi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220518163428/https://arxiv.org/pdf/2205.07780v1.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/61/21/6121283345a4db476aa1d110725337ab1724e945.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2205.07780v1" 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>

Scala with Explicit Nulls

Abel Nieto, Yaoyu Zhao, Ondřej Lhoták, Angela Chang, Justin Pu, Tobias Pape, Robert Hirschfeld
<span title="2020-11-06">2020</span> <i title="Schloss Dagstuhl - Leibniz-Zentrum für Informatik"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qnp47ut6vrdjjmiy7zdltauwje" style="color: black;">European Conference on Object-Oriented Programming</a> </i> &nbsp;
We have implemented this design for explicit nulls as a fork of the Dotty (Scala 3) compiler. We evaluate our scheme by migrating a number of Scala libraries to use explicit nulls.  ...  In this paper, we present a modification to the Scala type system that makes nullability explicit in the types.  ...  We implemented the design as a modification to the Dotty compiler.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.ecoop.2020.25">doi:10.4230/lipics.ecoop.2020.25</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ecoop/NietoZLCP19.html">dblp:conf/ecoop/NietoZLCP19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rpwuoqpyffdcnampucbxyjcen4">fatcat:rpwuoqpyffdcnampucbxyjcen4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201211153550/https://drops.dagstuhl.de/opus/volltexte/2020/13182/pdf/LIPIcs-ECOOP-2020-25.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/54/ad/54ada68425d0892b7d631106d6b822103f07b526.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.ecoop.2020.25"> <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>

SMT-based checking of predicate-qualified types for Scala

Georg Stefan Schmid, Viktor Kuncak
<span title="">2016</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/smcsvndjmbbilgtt2fk3f4soni" style="color: black;">Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala - SCALA 2016</a> </i> &nbsp;
We implemented a type checker for qualified types that is embedded in Scala's next-generation compiler Dotty and delegates constraint checking to an SMT solver.  ...  We present qualified types for Scala, a form of refinement types adapted to the Scala language. Qualified types allow users to refine base types and classes using predicate expressions.  ...  Acknowledgments We would like to thank our reviewers for their helpful feedback, Nicolas Voirol and Mikaël Mayer for the insightful discussions we had with them during the development of our system, and  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2998392.2998398">doi:10.1145/2998392.2998398</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/scala/SchmidK16.html">dblp:conf/scala/SchmidK16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ilbmq7gipfbvnevw7tvtw6etaa">fatcat:ilbmq7gipfbvnevw7tvtw6etaa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218144655/https://static.aminer.org/pdf/20170130/pdfs/oopsla/tpfw4rdgvijuw7zsjp6llhfnhyiqze3c.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/29/a6/29a6f76056995ee97a23c952ceeebb3e20d7bff8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2998392.2998398"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Queens of Code

Eileen Buckholtz
<span title="2020-04-01">2020</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hwotvhahsbdhfkvxyoryqry5zu" style="color: black;">IEEE Annals of the History of Computing</a> </i> &nbsp;
Dottie Blum, a legendary computing woman at our agency, was using FORTRAN as early as 1954 even as it was being developed by John Backus and team at IBM.  ...  We used plastic templates back then to draw the flow charts. 9 Now there are many software tools and applications to help with program design.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mahc.2020.2982751">doi:10.1109/mahc.2020.2982751</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pqjovay4pfbzzac6poafpmbgdm">fatcat:pqjovay4pfbzzac6poafpmbgdm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201107052443/https://ieeexplore.ieee.org/ielx7/85/9103648/09103670.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/4d/c1/4dc1a5c57b28c4aab6663e8145acb630acc65033.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mahc.2020.2982751"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

From model to implementation: a network algorithm programming language

Jian Wang, Jie An, Mingshuai Chen, Naijun Zhan, Lulin Wang, Miaomiao Zhang, Ting Gan
<span title="2020-06-01">2020</span> <i title="Springer Science and Business Media LLC"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ikvx2lmj7rew7jpw4lygqgjpby" style="color: black;">Science China Information Sciences</a> </i> &nbsp;
with C++ programming; and (6) userfriendly debugging support when compiling NAPL into highly readable C++ codes.  ...  models to C++ implementations, thus bridging the gap between the limited capability of existing SDN APIs and the reality of practical network management.  ...  Moreover, an initially buggy NAPL program can be adjusted using the NAPL debugger, then compiled to a maintainable C++ implementation and further to an executable file that interacts with the underlying  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11432-019-2644-8">doi:10.1007/s11432-019-2644-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3pxvjexhpjcafa5ddcxruiaegq">fatcat:3pxvjexhpjcafa5ddcxruiaegq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210428212338/https://www.sciengine.com/doi/pdf/780FD6CE564A4406B590DCB7E02F4DCF" 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/60/04/60043093fa1dbab63b5e1b59aa556665ffc7b5ba.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11432-019-2644-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Co-therapist animals as complementary alternatives in the health and human well-being: literature review

Fernanda Gosuen Gonçalves Dias, Lucas de Freitas Pereira, Marina de Andrade Machado, Daniel Kan Honsho, Adoniram Thomaz, Guilherme Barbosa Costa, Alex Roberto Oliveira, Cristiane dos Santos Honsho
<span title="">2020</span> <i title="Brazilian Journal of Development"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yjhnsolib5girfvx3wwulqklna" style="color: black;">Brazilian Journal of Development</a> </i> &nbsp;
Faced with the numerous advantages described about this activities in improving the quality of life and survival of patients, the purpose of the present final paper was to conduct a literary review emphasizing  ...  the objectives of this therapies as complementary alternatives in human medicine and, nevertheless, highlight the most commonly used animal species, type of selection and care with co-therapists, besides  ...  According to Dotti (2005), Filan and Llewellyn-Jones (2006) and Jones, Rice and Cotton (2019), TAA is used in different types of disabilities and developmental problems such as cerebral palsy, neurological  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.34117/bjdv6n6-245">doi:10.34117/bjdv6n6-245</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bloujtxylbbe7h2ib27lm6ewpi">fatcat:bloujtxylbbe7h2ib27lm6ewpi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200711170701/https://www.brazilianjournals.com/index.php/BRJD/article/download/11471/9572" 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/a5/91a5b2a6e6ce86447523342f7cf8b30e3e185325.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.34117/bjdv6n6-245"> <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>
&laquo; Previous Showing results 1 &mdash; 15 out of 283 results