A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="https://core.ac.uk/download/pdf/51212516.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Filters
Modeling Dynamic Programming Problems over Sequences and Trees with Inverse Coupled Rewrite Systems
<span title="2014-03-07">2014</span>
<i title="MDPI AG">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/63zsvf7vxzfznojpqgfvpyk2lu" style="color: black;">Algorithms</a>
</i>
Preserved Fulltext
The new approach introduces inverse coupled rewrite systems. ...
They describe the solutions of combinatorial optimization problems as the inverse image of a term rewrite relation that reduces problem solutions to problem inputs. ...
Acknowledgments Thanks go to Michael Hanus and Benedikt Löwes for help with implementing two ICOREs in the functional-logic language Curry. Thanks to B. Löwes also for a careful reading of the text. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/a7010062">doi:10.3390/a7010062</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/swsio2xkvvhgroq2ltjp6n2kaa">fatcat:swsio2xkvvhgroq2ltjp6n2kaa</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190326011822/https://core.ac.uk/download/pdf/51212516.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/8c/cd/8ccd66602accd84f27882d2f037ebb2e8056534a.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/a7010062">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="unlock alternate icon" style="background-color: #fb971f;"></i>
mdpi.com
</button>
</a>
A survey of strategies in rule-based program transformation systems
<span title="">2005</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>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/bd0/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDc0NzcxNzEwNTAwMDM0OQ%3D%3D.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
The survey covers term rewriting, extensions of basic term rewriting, tree parsing strategies, systems with programmable strategies, traversal strategies, and context-sensitive rules. ...
This survey gives an overview of issues in rule-based program transformation systems, focusing on the expressivity of rule-based program transformation systems and in particular on transformation strategies ...
Acknowledgements I would like to thank Bernhard Gramlich and Salvador Lucas for inviting me to write the first version of this paper for the Workshop on Rewriting Strategies in 2001 and for their patience ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jsc.2004.12.011">doi:10.1016/j.jsc.2004.12.011</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jwjofzt3r5ftne4254vmmwgg4q">fatcat:jwjofzt3r5ftne4254vmmwgg4q</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171002193509/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/bd0/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDc0NzcxNzEwNTAwMDM0OQ%3D%3D.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/92/4d9245a78d8f8761712a3762eca22f1c29f2c9a3.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jsc.2004.12.011">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
elsevier.com
</button>
</a>
Program Transformation with Stratego/XT
[chapter]
<span title="">2004</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>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-011.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
This chapter gives an overview of the main ingredients involved in the composition of transformation systems with Stratego/XT, where we distinguish the abstraction levels of rules, strategies, tools, and ...
Stratego/XT is a framework for the development of transformation systems aiming to support a wide range of program transformations. ...
The first prototype language design and compiler was developed with Zino Benaissa and Andrew Tolmach. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-25935-0_13">doi:10.1007/978-3-540-25935-0_13</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5d55spl7hvgrbcy2uai7ccbm44">fatcat:5d55spl7hvgrbcy2uai7ccbm44</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812075009/http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-011.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/b5/b1b56d39ac2a62ec4f2489c5d1f30251e65230e8.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-540-25935-0_13">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>
Subject index volumes 1–200
<span title="">1999</span>
<i title="Elsevier BV">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/3a5/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDMwNDM5NzU5ODAwMzE5Mw%3D%3D.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
436
string
pattern matcher, 2662
prefix-matching
problem, 2618
rewrite system, 3535
rewriting systems, 728
string searching, 1712
algorithms. 1704
string
suffix tree of a -, 458
with brackets ...
, 2047
systems, 3602
symbolic
constraints, 3683
differentiation, 3
symbolic dynamical
system, 1757,2996
systems, 857, 1227
symbolic dynamics, 1223, 1355, 1749, 1756
coding sequences, 3149
of ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(98)00319-3">doi:10.1016/s0304-3975(98)00319-3</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s22ud3iiqjht7lfbtc3zctk7zm">fatcat:s22ud3iiqjht7lfbtc3zctk7zm</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170926082047/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/3a5/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDMwNDM5NzU5ODAwMzE5Mw%3D%3D.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.1016/s0304-3975(98)00319-3">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
elsevier.com
</button>
</a>
Dynamic Programming for Set Data Types
[chapter]
<span title="">2014</span>
<i title="Springer International Publishing">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://www.bioinf.uni-leipzig.de/Software/setgram/setgram.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
We present an efficient generalization of algebraic dynamic programming (ADP) to unordered data types and a formalism for the automated derivation of outside grammars from their inside progenitors. ...
These theoretical contributions are illustrated by ADP-style algorithms for shortest Hamiltonian path problems. ...
This work was funded, in part, by the Austrian FWF, project "SFB F43 RNA regulation of the transcriptome", the Templeton Foundation, grant # 24332 "Origins and Evolution of Regulation in Biological Systems ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-12418-6_8">doi:10.1007/978-3-319-12418-6_8</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fxozowh325frpkhpt4uqcjmiiu">fatcat:fxozowh325frpkhpt4uqcjmiiu</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808031034/http://www.bioinf.uni-leipzig.de/Software/setgram/setgram.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/5d/c65d716c9ef7c45dde3769a73c2d18f8a95b99e6.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-319-12418-6_8">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>
One-variable context-free hedge automata
<span title="">2016</span>
<i title="Elsevier BV">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/p6ovb2qpkfenhmb7mcksobrcxq" style="color: black;">Journal of computer and system sciences (Print)</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="https://hal.inria.fr/hal-01426626/document">the original URL</a>. The file type is <code>application/pdf</code>.
The class of unranked ordered tree languages they recognize has polynomial membership problem and is preserved by rewrite closure with inverse-monadic rules. ...
We also propose a modeling of primitives of the W3C XQuery Update Facility by mean of parameterized rewriting rules, and show that the rewrite closure of a context-free hedge language with these extended ...
Acknowledgements The authors wish to thank the reviewers of [23] and Giorgio Delzanno for valuable discussions on rewrite based models and verification techniques for XQUF. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jcss.2016.10.006">doi:10.1016/j.jcss.2016.10.006</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t4dr7qb3njgpjfrtjg5cdiojau">fatcat:t4dr7qb3njgpjfrtjg5cdiojau</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170924024611/https://hal.inria.fr/hal-01426626/document" 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/53/3853442472883c42dba5d1588f24b676c37d480f.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jcss.2016.10.006">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
elsevier.com
</button>
</a>
Reference list of indexed articles
<span title="">1995</span>
<i title="Elsevier BV">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/d8f/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS8wMzA0Mzk3NTk1OTAwMDIw.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Rossi, Hyperedge replacement jungle rewriting for term-rewrit;ng systems and logic programming 109 (l-2) (1993) 7-48 127. B. Courcelle and M. Mosbah, Monadic second-order evaluations on tree-decompo. ...
Schaffer, Dynamic dictionary matching with failure functions 131 (2) (1994) 2955310 488. E.L. Leiss, Language equations over a one-letter alphabet with union, . K. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(95)90002-0">doi:10.1016/0304-3975(95)90002-0</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b7nmywx4tff6lhcd3jkoagotrm">fatcat:b7nmywx4tff6lhcd3jkoagotrm</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171004045505/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/d8f/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS8wMzA0Mzk3NTk1OTAwMDIw.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/a5/a7/a5a79465b5f31b573da888b15fe11719011644e2.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(95)90002-0">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
elsevier.com
</button>
</a>
Structured Reordering for Modeling Latent Alignments in Sequence Transduction
[article]
<span title="2021-10-26">2021</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit <a rel="external noopener" href="https://arxiv.org/pdf/2106.03257v2.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
<span title="2021-06-08">2021</span> <span class="release-stage" >pre-print</span> <span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2106.03257v2">arXiv:2106.03257v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zossbte5gbe3zplkselwxjlkcm">fatcat:zossbte5gbe3zplkselwxjlkcm</a> </span>Other Versions
<span title="2021-06-06">2021</span>
<span class="release-stage" >pre-print</span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2106.03257v1">arXiv:2106.03257v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/62omy64ctbhqzbubsdtyyl4d7y">fatcat:62omy64ctbhqzbubsdtyyl4d7y</a> </span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2106.03257v1">arXiv:2106.03257v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/62omy64ctbhqzbubsdtyyl4d7y">fatcat:62omy64ctbhqzbubsdtyyl4d7y</a> </span>
We present an efficient dynamic programming algorithm performing exact marginal inference of separable permutations, and, thus, enabling end-to-end differentiable training of our model. ...
The resulting seq2seq model exhibits better systematic generalization than standard models on synthetic problems and NLP tasks (i.e., semantic parsing and machine translation). ...
In contrast, our methods, both Soft-ReMoto and Hard-ReMoto perform very well on LEN splits, surpassing the best baseline system by large margins (> 40%). ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2106.03257v3">arXiv:2106.03257v3</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dhug6efvbzgxrnqg66zykdkx2q">fatcat:dhug6efvbzgxrnqg66zykdkx2q</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210613035517/https://arxiv.org/pdf/2106.03257v2.pdf" title="fulltext PDF download [not primary version]" 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]
<span style="color: #f43e3e;">✱</span>
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/63/be/63be58ea7652d2e90eb862257336db95dbc86e9f.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2106.03257v3" 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>
Algebraic dynamic programming for multiple context-free grammars
<span title="">2016</span>
<i title="Elsevier BV">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="http://www.bioinf.uni-leipzig.de/~choener/pdfs/rie-hoe-2015.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
We present theoretical foundations, and a practical implementation, that makes the method of Algebraic Dynamic Programming available for Multiple Context-Free Grammars. ...
This improves on the previous state of the art which required complex code based on hand-written dynamic programming recursions. ...
Among them are, in the order of increasing gener-85 ality, tree-adjoining grammars [33] , coupled context free grammars [30] , and MCFGs as well as the equivalent linear context free rewriting systems ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2016.05.032">doi:10.1016/j.tcs.2016.05.032</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/i4o6bie3pzdlthl567kmvtim4y">fatcat:i4o6bie3pzdlthl567kmvtim4y</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200320190151/http://www.bioinf.uni-leipzig.de/~choener/pdfs/rie-hoe-2015.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/d8/ba/d8ba258bee7ac331cce35cab083f11d353ba288b.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2016.05.032">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
elsevier.com
</button>
</a>
Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems
[chapter]
<span title="">2003</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>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://mgs.spatial-computing.org/PUBLICATIONS/rta03.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Bernot at LaMI, and the members of the "Simulation and Epigenesis" group at GENOPOLE-Evry for fruitful discussions, biological motivations, warm encouragements and challenging questions. ...
The delightful questions and encouragements of D. Blasco have also raised many issues and motivated many developments of this work. ...
This kind of dynamical systems is very challenging to model and simulate. New programming concepts must be developed to ease their modeling and simulation. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-44881-0_16">doi:10.1007/3-540-44881-0_16</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kparbeffbzfyhlsqedahtgbpqy">fatcat:kparbeffbzfyhlsqedahtgbpqy</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812013121/http://mgs.spatial-computing.org/PUBLICATIONS/rta03.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/f6/42/f642772815b2832a734acdf7032b650b49c0f424.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-44881-0_16">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>
Stratego/XT 0.17. A language and toolset for program transformation
<span title="">2008</span>
<i title="Elsevier BV">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hq6x4whtd5hhlhsxzculyeamey" style="color: black;">Science of Computer Programming</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="https://core.ac.uk/download/pdf/82365506.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Complete program transformation systems are composed from these components. ...
; and a description of applications built with Stratego/XT. ...
The Proteus group, led by Daniel Waddington, at Lucent Bell Labs provided us with the confidence that people can build complex transformation systems with Stratego/XT without our involvement, even before ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2007.11.003">doi:10.1016/j.scico.2007.11.003</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jhkofle3nneklm5miuafaicb4y">fatcat:jhkofle3nneklm5miuafaicb4y</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190412214856/https://core.ac.uk/download/pdf/82365506.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/d5/a7d59034105807f5a5d200ea76e5cd0cceeb784b.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2007.11.003">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
elsevier.com
</button>
</a>
A light-weight UIMS
<span title="">1991</span>
<i title="Wiley">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/afve5b3tavbfzch46mdtazbqla" style="color: black;">Software, Practice & Experience</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit <a rel="external noopener" href="http://www.cs.ubc.ca:80/local/reading/proceedings/spe91-95/spe/vol21/issue1/spe002rr.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
The structure of the interface is a tree of potentially-visible objects which communicate with the user, the system, and each other through message passing. ...
The behaviour of the interface is programmed with an interpreted procedural language which can send and receive messages and invoke system services. In particular, it can execute applications. 3. ...
Dill invested much time, effort and patience into mastering the behaviour of an evolving program. Terri L. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/spe.4380210103">doi:10.1002/spe.4380210103</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6mmjyp4ea5fbva7roo7tddvd3y">fatcat:6mmjyp4ea5fbva7roo7tddvd3y</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20031213061922/http://www.cs.ubc.ca:80/local/reading/proceedings/spe91-95/spe/vol21/issue1/spe002rr.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/13/77/137774c87ae08935e0a3273b528861398b5bc071.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/spe.4380210103">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
wiley.com
</button>
</a>
JSP in Perspective
[chapter]
<span title="">2002</span>
<i title="Springer Berlin Heidelberg">
Software Pioneers
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit <a rel="external noopener" href="http://www.jacksonworkbench.co.uk:80/stevefergspages/papers/jackson--jsp_in_perspective.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Refining the techniques, and making JSP more systematic and more teachable in commercial courses, was the work of the following four years in Michael Jackson Systems Limited. ...
ACKNOWLEDGEMENTS The foundations of JSP were laid in the years 1966-1970, when the author was working with Barry Dwyer, a colleague in John Hoskyns and Company, an English data processing consultancy. ...
Program inversion also suggests the modelling of real-world entities by objects with time-ordered behaviours: this is the basis of the eventual enlargement of JSP to handle system specification and design ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-59412-0_30">doi:10.1007/978-3-642-59412-0_30</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qpwb5sxbvfdifidhgxolujwphm">fatcat:qpwb5sxbvfdifidhgxolujwphm</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090718100424/http://www.jacksonworkbench.co.uk:80/stevefergspages/papers/jackson--jsp_in_perspective.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/f1/09/f109484331ecdb5aa93a8891d394f2b0fa63a655.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-642-59412-0_30">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>
Graph Rewriting Techniques in Engineering Design
<span title="2022-02-01">2022</span>
<i title="Frontiers Media SA">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/h7lnw4rbqjgednsde3b7oomjq4" style="color: black;">Frontiers in Built Environment</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit <a rel="external noopener" href="https://fjfsdata01prod.blob.core.windows.net/articles/files/815153/pubmed-zip/.versions/1/.package-entries/fbuil-07-815153/fbuil-07-815153.pdf?sv=2018-03-28&sr=b&sig=tvbFUqCR%2FJsmLdkfRbLJ61FhmbuzDoVcZ2ZpFPNagQI%3D&se=2022-03-27T19%3A47%3A13Z&sp=r&rscd=attachment%3B%20filename%2A%3DUTF-8%27%27fbuil-07-815153.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
The paper provides an overview of the current state-of-the-art in graph rewriting and its applications in engineering design, with a focus on the built environment. ...
On the other hand, the assembly of rewriting rules into graph grammars allows for an exhaustive search of the solution space of the engineering problem at hand. ...
As one example, trees, are special graphs that may serve to simplify analysis and manipulation of problems with an inherently hierarchical structure. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fbuil.2021.815153">doi:10.3389/fbuil.2021.815153</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/my2r2ov4izey5hkmqiohpcluau">fatcat:my2r2ov4izey5hkmqiohpcluau</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220327194644/https://fjfsdata01prod.blob.core.windows.net/articles/files/815153/pubmed-zip/.versions/1/.package-entries/fbuil-07-815153/fbuil-07-815153.pdf?sv=2018-03-28&sr=b&sig=tvbFUqCR%2FJsmLdkfRbLJ61FhmbuzDoVcZ2ZpFPNagQI%3D&se=2022-03-27T19%3A47%3A13Z&sp=r&rscd=attachment%3B%20filename%2A%3DUTF-8%27%27fbuil-07-815153.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/5c/fb/5cfb081ba32c23b5731f44973e5cc365a42f9acb.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fbuil.2021.815153">
<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>
Cumulative index volumes 101–150
<span title="">1995</span>
<i title="Elsevier BV">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="https://core.ac.uk/download/pdf/82650771.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Gilleron and S. Vigviilgyi, Bottom-up tree pushdown automata: classifica-
tion and connection
with rewrite systems
127 (I) (1994) 69 98
Cori, R., see A. ...
Hyperedge replacement jungle rewriting for term-rewriting
systems and logic
programming
109 (l-2) (1993) 7-48
Corradini, A., U. Montanari
and F. ...
Goles I10 ( (1994) Marek, W. and V.S. Subrahmanian. The relationshlp between stable, supported, default and autoepistemic semantics for general logic programs
Margenstern. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(95)80004-2">doi:10.1016/0304-3975(95)80004-2</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/aobsm3zfjnhhtpd22ucvxasucy">fatcat:aobsm3zfjnhhtpd22ucvxasucy</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190415053743/https://core.ac.uk/download/pdf/82650771.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/d1/69/d169018b962f3e69f50316beb6a87f947710e7d1.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(95)80004-2">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
elsevier.com
</button>
</a>
« Previous
Showing results 1 — 15 out of 5,491 results