Filters








53 Hits in 8.0 sec

Synthesis of Recursive ADT Transformations from Reusable Templates [article]

Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama
<span title="2017-04-16">2017</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We present a solution to this problem in the context of recursive transformations on algebraic data-types.  ...  reusable manner, while at the same time retains the scalability benefits of conventional templates.  ...  Acknowledgments: We would like to thank the authors of Leon and Rosette for their help in comparing against their systems and the reviewers for their feedback.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1507.05527v3">arXiv:1507.05527v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3bgbjefxlngphddbp44o5pstqu">fatcat:3bgbjefxlngphddbp44o5pstqu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191012213319/https://arxiv.org/pdf/1507.05527v3.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/47/cc/47cc261d4bdb43f694cdff3254aa615af2685431.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1507.05527v3" 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>

Synthesis of Recursive ADT Transformations from Reusable Templates [chapter]

Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama
<span title="">2017</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 present a solution to this problem in the context of recursive transformations on algebraic datatypes.  ...  reusable manner, while at the same time retains the scalability benefits of conventional templates.  ...  of recursive ADT transformations.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-54577-5_14">doi:10.1007/978-3-662-54577-5_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/r4gvw7pyrvex3bohprmbtnibne">fatcat:r4gvw7pyrvex3bohprmbtnibne</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724051400/http://dspace.mit.edu/bitstream/handle/1721.1/111015/Solar-Lezama_Synthesis%20of%20recursive.pdf;jsessionid=B58C7429FAA92A08BA728723D03CFB7F?sequence=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/0e/9f/0e9f94221eb2cc4643de9ae66e6716b8a08ccbd9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-54577-5_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

An Abstract Formalization of Correct Schemas for Program Synthesis

Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson
<span title="">2000</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ezljl2d3lzga5efenbxdvvfcpa" style="color: black;">Journal of symbolic computation</a> </i> &nbsp;
Naturally, correct schemas can be used to guide the synthesis of correct programs.  ...  Program schemas should capture not only structured program design principles, but also domain knowledge, both of which are of crucial importance for hierarchical program synthesis.  ...  Acknowledgements We wish to thank the referees and the editor in charge of the reviews, for their helpful comments and suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1006/jsco.1999.0348">doi:10.1006/jsco.1999.0348</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s24deznjfjgctbp53rdsl5d76m">fatcat:s24deznjfjgctbp53rdsl5d76m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190224042550/https://core.ac.uk/download/pdf/82103842.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/16/7a/167a0c134920612c4c4090d9cc617c852f98ad94.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1006/jsco.1999.0348"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

:{unav)

Ted J. Biggerstaff
<span title="2012-12-28">2012</span> <i title="Springer Science and Business Media LLC"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/herho5c5zjfrfnuc62hgraxulu" style="color: black;">Annals of Software Engineering</a> </i> &nbsp;
From this analysis, it will distill the key elements of generative success and provide an opinion of approximately where each class of generative system fits in the overall picture.  ...  Over that time period, a number of different reuse strategies have been tried ranging from pure component reuse to pure generation. The record of success is mixed and the evidence is sketchy.  ...  For example, recursion in templates or parameterized types is generally not practical.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1023/a:1018924407841">doi:10.1023/a:1018924407841</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yop2jmwtprhifjxhxnet7xbbue">fatcat:yop2jmwtprhifjxhxnet7xbbue</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200320035546/https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/tr-97-26.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/b1/19/b119d08cc1a6992539da883db197d54b6de96836.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1023/a:1018924407841"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A new architecture for transformation-based generators

T.J. Biggerstaff
<span title="">2004</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dthyqga2onff5nwf4agwqtrhxi" style="color: black;">IEEE Transactions on Software Engineering</a> </i> &nbsp;
More generally, AOG uses several strategies to prevent generation search spaces from becoming an explosion of choices but the fundamental principle underlying all of them is to solve separate, narrow and  ...  This paper will focus on two specific mechanisms: 1) Localization: The generation and merging of implicit control structures, and 2) Tag-Directed Transformations: A new control structure for transformation-based  ...  Further, there are no limitations on a transformation recursively introducing a list of sub-phases in the midst of a phase.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tse.2004.89">doi:10.1109/tse.2004.89</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qk7p7omn6bg33bw7aevpgognsy">fatcat:qk7p7omn6bg33bw7aevpgognsy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20021222211456/http://softwaregenerators.com:80/NewControlStructure3.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/7a/2d/7a2d23ec3894669da44842915a8da5afb47850b7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tse.2004.89"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Design and Synthesis for Multimedia Systems Using the Targeted Dataflow Interchange Format

Chung-Ching Shen, Shenpei Wu, Nimish Sane, Hsiang-Huang Wu, William Plishker, Shuvra S. Bhattacharyya
<span title="">2012</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/sbzicoknnzc3tjljn7ifvwpooi" style="color: black;">IEEE transactions on multimedia</a> </i> &nbsp;
Development of multimedia systems that can be targeted to different platforms is challenging due to the need for rigorous integration between high level abstract modeling, and low level synthesis and optimization  ...  contextual information for components; a novel model for representing parameterized schedules that are derived from repetitive graph structures; and automated code generation for programming interfaces  ...  These automatically-generated interfaces provide structured design templates for the designer to follow in order to generate dataflow-based actors that are formally integrated into the overall synthesis  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tmm.2012.2191397">doi:10.1109/tmm.2012.2191397</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7euo4skt7bhm3nyqwwvbvrxmfi">fatcat:7euo4skt7bhm3nyqwwvbvrxmfi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120714020849/http://www.ece.umd.edu/DSPCAD/papers/shen2012x2.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/a7/66/a76678c3157f9cdef3c8d58a210272d6a18d7f0a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tmm.2012.2191397"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

HOUDINI: Lifelong Learning as Program Synthesis [article]

Lazar Valkov, Dipak Chaudhari, Akash Srivastava, Charles Sutton, Swarat Chaudhuri
<span title="2018-10-28">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We show that a program synthesis approach that combines gradient descent with combinatorial search over programs can be a more effective response to these challenges than purely neural methods.  ...  We present a neurosymbolic framework for the lifelong learning of algorithmic tasks that mix perception and procedural reasoning.  ...  [m k ] ADT ::= TT | α TT F ::= ADT | F1 → F2 .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1804.00218v2">arXiv:1804.00218v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hw6b752dxbhlvmqf6tot7ay6k4">fatcat:hw6b752dxbhlvmqf6tot7ay6k4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191021231616/https://arxiv.org/pdf/1804.00218v2.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/56/b3/56b38c03e67111dc6c77acf1a0dcff04fde4e00d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1804.00218v2" 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>

DRAFT : Task System and Item Architecture (TSIA) [article]

Burkhard D. Burow
<span title="1999-05-05">1999</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Taking properties from many projects, the support can extend through to currying, application defined types, conditional items, streams and other definition elements.  ...  During its execution, a task is independent of all other tasks. For an application which executes in terms of tasks, the application definition can be free of the details of the execution.  ...  Recursion Unrolling Recursion unrolling essentially is the same as the well known optimization technique of loop unrolling [Compiler Transformations].  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/9905002v1">arXiv:cs/9905002v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u2aptx5ssvadvet3uxxkrtesd4">fatcat:u2aptx5ssvadvet3uxxkrtesd4</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs9905002/cs9905002.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> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/75/be/75be053cf6dea22819a05b1aa51c5368ae26a37b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/9905002v1" 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>

Theory Exploration Powered By Deductive Synthesis [article]

Eytan Singher, Shachar Itzhaky
<span title="2020-09-10">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this work, we introduce a new symbolic technique for bottom-up lemma discovery, that is, the generation of a library of lemmas from a base set of inductive data types and recursive definitions.  ...  Complex properties lead to an ever-growing number of definitions and associated lemmas, which constitute an integral part of proof construction.  ...  Nipkow et al. 2002) , knowledge typically takes the form of a set of lemmas that encode reusable facts about the functions de ned in the code.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2009.04826v1">arXiv:2009.04826v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/q2avwtxx3vcprofivqttinzjc4">fatcat:q2avwtxx3vcprofivqttinzjc4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200919020207/https://arxiv.org/pdf/2009.04826v1.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" href="https://arxiv.org/abs/2009.04826v1" 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>

Summary of the Dagstuhl workshop on future directions in software engineering

Walter F. Tichy, Nico Habermann, Lutz Prechelt
<span title="1993-01-01">1993</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpdbg2rpfjembkahly4z4ea5hq" style="color: black;">Software engineering notes</a> </i> &nbsp;
The scienti c method: observe the world, propose a model or theory of behavior, measure and analyze, validate hypotheses of the model or theory, and if possible repeat; the engineering method evolutionary  ...  Cohen concludes that there are two methodologies in use in AI system-centered and model-centered and that neither alone is su cient to meet the goals of AI research.  ...  Notkin: why can't you use the recursive version of the example? Nico: recursive example doesn`t generalize in same kind of way.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/157397.157399">doi:10.1145/157397.157399</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ogiizmujqfd4jctkqjkg5ezgjm">fatcat:ogiizmujqfd4jctkqjkg5ezgjm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200209072701/https://publikationen.bibliothek.kit.edu/219692/2084" 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/3d/21/3d21a64b50621673331cef68b1e927a81b810ab3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/157397.157399"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Proceedings of the First International Workshop on Activity Theory Based Practical Methods for IT-Design, Copenhagen, Denmark, September 2-3, 2004

Olav Bertelsen, Mikko Korpela, Anja Mursu
<span title="2004-12-01">2004</span> <i title="Aarhus University Library"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vl2v2lu6c5c6hhhrquezudynja" style="color: black;">DAIMI Report Series</a> </i> &nbsp;
Based on the long list of successful applications of AT in this domain it seemed to be time to extract a collection of practical methods.  ...  The purpose of the workshop was to discus and refine methods for IT design based on activity theory. Thereby, stimulate the evolution of design methods beyond pure analyses, and general perspectives.  ...  Acknowledgements This research was made possible by a research grant from the Swedish Innovation Agency, Vinnova.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/dpb.v33i574.7199">doi:10.7146/dpb.v33i574.7199</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/535ogu7h7reztno5ksv3l2kowe">fatcat:535ogu7h7reztno5ksv3l2kowe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719195555/https://tidsskrift.dk/daimipb/article/download/7199/6144" 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.7146/dpb.v33i574.7199"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Proceedings of the Second Program Visualization Workshop, 2002

Mordechai Ben-Ari
<span title="2002-12-01">2002</span> <i title="Aarhus University Library"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vl2v2lu6c5c6hhhrquezudynja" style="color: black;">DAIMI Report Series</a> </i> &nbsp;
From the preliminary analysis, we were often surprised by students' interpretation of some visualization elements and modified our design accordingly.  ...  Acknowledgements We would like to thank Iiro Anttila and Juha Lehtonen for their work with previous version of the program.  ...  synthesis.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/dpb.v31i567.7124">doi:10.7146/dpb.v31i567.7124</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xkgclvxh3rc6xaqb4xlppumu2u">fatcat:xkgclvxh3rc6xaqb4xlppumu2u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190426101108/https://tidsskrift.dk/daimipb/article/download/7124/6087" 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/4b/c94b5867e127d9bba18ebc35567bd871212d70cf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/dpb.v31i567.7124"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Correct-schema-guided synthesis of steadfast programs

P. Flener, Kung-Kiu Lau, M. Ornaghi
<i title="IEEE Comput. Soc"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hj24pr6lvba3dfi5muhp4mz5tm" style="color: black;">Proceedings 12th IEEE International Conference Automated Software Engineering</a> </i> &nbsp;
which are of crucial importance for hierarchical program synthesis.  ...  We also show how to use correct schemas to synthesise steadfast programs.  ...  Acknowledgements This work was partially supported by the European Union HCM Project on Logic Program Synthesis and Transformation, contract no. 93/414, and by the British Council, Ankara, Turkey.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ase.1997.632835">doi:10.1109/ase.1997.632835</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/kbse/FlenerLO97.html">dblp:conf/kbse/FlenerLO97</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eijbfamwlbdlxczzlsbzlnuo5i">fatcat:eijbfamwlbdlxczzlsbzlnuo5i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170923001045/http://user.it.uu.se/~pierref/pub/ASE97.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/c6/bb/c6bbb6247b3c8755f3c14e48b096f0bbb86fda9b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ase.1997.632835"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Verifying Collaborative Behavior in Component-Based DEVS Models

Levent Yilmaz
<span title="">2004</span> <i title="SAGE Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/n764fe4465hw5hlo4apalbasgq" style="color: black;">Simulation (San Diego, Calif.)</a> </i> &nbsp;
From this perspective, collaboration designs revolve around reusing collaborations that typify certain design patterns.  ...  This work presents a solution technique that addresses both of these problems.  ...  The sequence of transformations from the most abstract components to the concrete realizations constitutes a chain.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1177/0037549704046741">doi:10.1177/0037549704046741</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6bp7rramdjfw5igpf6pnf2s6lu">fatcat:6bp7rramdjfw5igpf6pnf2s6lu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060428090711/http://scholar.lib.vt.edu:80/theses/available/etd-03252002-121049/unrestricted/Dissertation.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/2e/df/2edfbb157921866a24ddc633db65d0ee3a5e8b10.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1177/0037549704046741"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> sagepub.com </button> </a>

Deductive Synthesis and Repair

Etienne Kneuss
<span title="2016-02-23">2016</span>
The techniques we use include symbolic transformation based on synthesis procedures, as well as synthesis of recursive functions by using counterexampleguided strategies.  ...  We provide in 2.10 an example of ADT-Split for the List ADT.  ...  Synthesis Benchmarks and Solutions A.3.2 Insert Appendix A. Synthesis Benchmarks and Solutions Appendix A. Synthesis Benchmarks and Solutions A.5 Unary Numerals Appendix A.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5075/epfl-thesis-6878">doi:10.5075/epfl-thesis-6878</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wcywwkw3fbaqhe7hf5i546crau">fatcat:wcywwkw3fbaqhe7hf5i546crau</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190307101537/https://infoscience.epfl.ch/record/216951/files/EPFL_TH6878.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/5e/e3/5ee32b325861e20c35058b76ee6f4db9675d177d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5075/epfl-thesis-6878"> <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 53 results