Filters








5,491 Hits in 7.7 sec

Modeling Dynamic Programming Problems over Sequences and Trees with Inverse Coupled Rewrite Systems

Robert Giegerich, H´el'ene Touzet
<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> &nbsp;
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

Eelco Visser
<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> &nbsp;
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]

Eelco Visser
<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> &nbsp;
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> &nbsp;
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]

Christian Höner zu Siederdissen, Sonja J. Prohaska, Peter F. Stadler
<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> &nbsp;
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

Florent Jacquemard, Michael Rusinowitch
<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> &nbsp;
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> &nbsp;
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]

Bailin Wang, Mirella Lapata, Ivan Titov
<span title="2021-10-26">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</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;">&#10033;</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

Maik Riechert, Christian Höner zu Siederdissen, Peter F. Stadler
<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> &nbsp;
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]

Jean-Louis Giavitto
<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> &nbsp;
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

Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser
<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> &nbsp;
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

Robert L. Read, Martin L. Smith
<span title="">1991</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;
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]

Michael Jackson
<span title="">2002</span> <i title="Springer Berlin Heidelberg"> Software Pioneers </i> &nbsp;
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

Lothar Kolbeck, Simon Vilgertshofer, Jimmy Abualdenien, André Borrmann
<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> &nbsp;
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&amp;sr=b&amp;sig=tvbFUqCR%2FJsmLdkfRbLJ61FhmbuzDoVcZ2ZpFPNagQI%3D&amp;se=2022-03-27T19%3A47%3A13Z&amp;sp=r&amp;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> &nbsp;
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>
&laquo; Previous Showing results 1 &mdash; 15 out of 5,491 results