Filters








70,629 Hits in 4.0 sec

Cumulative subject index volumes 68–71

<span title="">1986</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fbkexx2qg5anljkxraobuswdq4" style="color: black;">Information and Control</a> </i> &nbsp;
theoretic point of view, 70, 69 Algorithms for circular retrieval and k-nearest neighbor search problems, description and analysis, 68, 105 for computing properties and functions of n-node forest stored in  ...  processor mesh, 69, 168 deterministic, applications to optimal parallel list ranking, 70, 32 network resource allocation, probabilistic analysis, 68, 47 optimally data-efficient, for isomorphism inference  ...  branching, see Branching programs non-deterministic, and specifications, syn- chronization tree logic for, 68, 254 term rewriting and applicative, in definition and evaluation of functions, 71, 186  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0019-9958(86)80014-6">doi:10.1016/s0019-9958(86)80014-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hkligygazvcyvdgrhtvhrefpj4">fatcat:hkligygazvcyvdgrhtvhrefpj4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190417035629/https://core.ac.uk/download/pdf/82354262.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fc/26/fc26ce6992f5100a3d78c47e32ba7eaee8c5b724.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0019-9958(86)80014-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Grammatical Inference in Software Engineering: An Overview of the State of the Art [chapter]

Andrew Stevenson, James R. Cordy
<span title="">2013</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;
Grammatical inference -used successfully in a variety of fields such as pattern recognition, computational biology and natural language processing -is the process of automatically inferring a grammar by  ...  aforementioned fields, which use grammars as a convenient tool to model naturally occuring patterns, software engineering treats grammars as first-class objects typically created and maintained for a specific  ...  is possible to identify a regular language in polynomial time [3] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-36089-3_12">doi:10.1007/978-3-642-36089-3_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3qp3xzhhqjgwdhguesrjnvotra">fatcat:3qp3xzhhqjgwdhguesrjnvotra</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130108040325/http://research.cs.queensu.ca/home/cordy/Papers/SC_SLE12_GramInf.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/74/c4/74c4b27d66c98163436495c7d6da382f9ff76e5e.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-36089-3_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Counterexample-guided Approach to Finding Numerical Invariants [article]

ThanhVu Nguyen, Timos Antopoulos, Andrew Ruef, Michael Hicks
<span title="2019-03-28">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
., relationships among numerical variables in a program, represent a useful class of properties to analyze programs.  ...  General polynomial invariants represent more complex numerical relations, but they are often required in many scientific and engineering applications.  ...  For example, NumInv is able to infer the precise running time of the program in Figure 5 (page 7) which has a tricky, triple-nested loop.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1903.12113v1">arXiv:1903.12113v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d7uwtgfqtjgbpfnvtptmabhgue">fatcat:d7uwtgfqtjgbpfnvtptmabhgue</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200910003325/https://arxiv.org/pdf/1903.12113v1.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/10/dd/10dd8b29247a6be1619297ddca7fae1a57ca9ea7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1903.12113v1" 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>

Accurate Determination of Loop Iterations for Worst-Case Execution Time Analysis

Mark Bartlett, Iain Bate, Dimitar Kazakov
<span title="">2010</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5jlmyrayyrdazh5awdlsoec77q" style="color: black;">IEEE transactions on computers</a> </i> &nbsp;
Determination of accurate estimates for the Worst-Case Execution Time of a program is essential for guaranteeing the correct temporal behaviour of any Real-Time System.  ...  Of particular importance is tightly bounding the number of iterations of loops in the program or excessive undue pessimism can result.  ...  Specifically, it tries to find a coherent polynomial in the given program variables using Gaussian elimination, as described in the previous chapter.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tc.2010.59">doi:10.1109/tc.2010.59</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/frq3my5mwfetnfwmvkkdsgzw2y">fatcat:frq3my5mwfetnfwmvkkdsgzw2y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706061639/http://www-users.cs.york.ac.uk/%7Eijb/tc.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/1a/b6/1ab685d2be775f14421df6c8c53a9715bf23079a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tc.2010.59"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A survey of grammatical inference in software engineering

Andrew Stevenson, James R. Cordy
<span title="">2014</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;
Grammatical inference -used successfully in a variety of fields such as pattern recognition, computational biology and natural language processing -is the process of automatically inferring a grammar by  ...  Software engineering can also benefit from grammatical inference.  ...  is possible to identify a regular language in polynomial time [5] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2014.05.008">doi:10.1016/j.scico.2014.05.008</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xwasotc745ekbhaoq2n43vrufm">fatcat:xwasotc745ekbhaoq2n43vrufm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811144310/http://research.cs.queensu.ca/~cordy/Papers/SC_SCP14_SurveyGI.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/08/59/08592af88b5e65eaf40afe56e32759385c091b40.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.2014.05.008"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Sample PAC-learnability in model inference [chapter]

S. H. Nienhuys-Cheng, M. Polman
<span title="">1994</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;
Polynomial sample learnabihty can only be accomplished in classes of programs having a fixed maximum number of clauses.  ...  In this article, PAC-learning theory is applied to model inference, which concerns the problem of inferring theories from facts in first order logic.  ...  Specifically, we can consider least Herbrand models of programs as concepts in classes of models, for which the existence of a polynomial VC-dimension can be sought.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-57868-4_60">doi:10.1007/3-540-57868-4_60</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/q7guittrkbbxraoaj65caegydy">fatcat:q7guittrkbbxraoaj65caegydy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190505055806/https://link.springer.com/content/pdf/10.1007%2F3-540-57868-4_60.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/d0/2d/d02d48b204e86674ecc9b9c5c8abc7035443d5e7.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-57868-4_60"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Guaranteed Loop Bound Identification from Program Traces for WCET

Mark Bartlett, Iain Bate, Dimitar Kazakov
<span title="">2009</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bb6eqaqalrhaffew6gpk6h6wue" style="color: black;">2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium</a> </i> &nbsp;
Static analysis can be used to determine safe estimates of Worst Case Execution Time.  ...  However, overestimation of the number of loop iterations, particularly in nested loops, can result in substantial pessimism in the overall estimate.  ...  Specifically, it tries to find a coherent polynomial in the given program variables using Gaussian Elimination, as described in the previous chapter.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/rtas.2009.29">doi:10.1109/rtas.2009.29</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/rtas/BartlettBK09.html">dblp:conf/rtas/BartlettBK09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lblsouzt45e5bbyozbj7iiuhvm">fatcat:lblsouzt45e5bbyozbj7iiuhvm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150424053810/http://www.cs.york.ac.uk/aig/papers/Bartlett_2009.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/60/93/60936842e1ebd408c4d72cf6744cdc8d27df97bd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/rtas.2009.29"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Search-based inference of polynomial metamorphic relations

Jie Zhang, Junjie Chen, Dan Hao, Yingfei Xiong, Bing Xie, Lu Zhang, Hong Mei
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hj24pr6lvba3dfi5muhp4mz5tm" style="color: black;">Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE &#39;14</a> </i> &nbsp;
In this paper, we propose a search-based approach to automatic inference of polynomial MRs for a program under test.  ...  From our empirical results, our approach is able to infer many high-quality MRs in acceptable time (i.e., from 9.87 seconds to 1231.16 seconds), which are effective in detecting faults with no false detection  ...  Different from their technique, in this paper, we aim to automatically infer specific MRs instead.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2642937.2642994">doi:10.1145/2642937.2642994</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/kbse/ZhangCHXXZM14.html">dblp:conf/kbse/ZhangCHXXZM14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wnqs6jt7frfxhgfby4a6jngavu">fatcat:wnqs6jt7frfxhgfby4a6jngavu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809000748/http://sei.pku.edu.cn/~zhanglu/Download/ASE14.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/69/08/6908a9f9ac93f6ee5288d549005ca79e04910779.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2642937.2642994"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing [chapter]

Patrick Baillot
<span title="">2007</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 also discuss the issue of DLAL type inference, which can be performed in polynomial time for system F terms.  ...  In this presentation we give an overview of Dual Light Affine Logic (DLAL), a polymorphic type system for lambda calculus ensuring that typable lambda terms are executable in polynomial time.  ...  This resolution procedure is correct and complete and it can be performed in polynomial time w.r.t. the size of the original system F term.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-73228-0_2">doi:10.1007/978-3-540-73228-0_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7axovijfpfbbxhxe5umqljqnku">fatcat:7axovijfpfbbxhxe5umqljqnku</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190222130253/http://pdfs.semanticscholar.org/3f3b/cefab5301e0c91db3f0e880446c639412f0a.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/3f/3b/3f3bcefab5301e0c91db3f0e880446c639412f0a.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-73228-0_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Page 3009 of Mathematical Reviews Vol. , Issue 84h [page]

<span title="">1984</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
computed in polynomial time.  ...  Specifically, a complete set A is said to be natural if all other recursively enumerable sets can be reduced to A by a one-to-one polynomial-time Turing-computable mapping whose left inverse can also be  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1984-08_84h/page/3009" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1984-08_84h/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Interval-Based Resource Usage Verification: Formalization and Prototype [chapter]

Pedro Lopez-Garcia, Luthfi Darmawan, Francisco Bueno, Manuel Hermenegildo
<span title="">2012</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;
inferred and compared against the specification.  ...  In an increasing number of applications (e.g., in embedded, real-time, or mobile systems) it is important or even essential to ensure conformance with respect to a specification expressing resource usages  ...  Conclusions We have presented several extensions and improvements to our framework for verification/debugging (implemented in the CiaoPP system) dealing with specifications about the resource usage of  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-32495-6_4">doi:10.1007/978-3-642-32495-6_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dwdcu6ixtjbd7kkje4z4hizlf4">fatcat:dwdcu6ixtjbd7kkje4z4hizlf4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809144340/http://oa.upm.es/14579/1/HERME_REFWORKS_2011-2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7e/b4/7eb4ba0c283a4cd0e13b2c6ad047ad1e4d294e71.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-32495-6_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Logic-based knowledge representation

<span title="">1990</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lx7dev2le5anbg6oarljwh7lie" style="color: black;">Discrete Applied Mathematics</a> </i> &nbsp;
Using meta-level inference for control. Improving meta-level and object-level efficiency. Modal extensions to  ...  Related work in the literature. Chapter 6: Assertion-Time Inference in Logic-Based Systems. Intro- duction. Tableau proof systems (Classical propositional logic. Classical predicate calculus.  ...  Object-level inference systems. Mixed-level inference systems. Pure meta-level inference systems). Other PART II: FURTHER RESEARCH IN REPRESENTATION AND CONTROL.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0166-218x(90)90119-w">doi:10.1016/0166-218x(90)90119-w</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2r3bb2td6raypha3jrtziyouxq">fatcat:2r3bb2td6raypha3jrtziyouxq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190316232509/https://core.ac.uk/download/pdf/81146661.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/51/99/5199c871a3c7ca30af3d5ab8f88c343894269519.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0166-218x(90)90119-w"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

ResAna: a resource analysis toolset for (real-time) JAVA

Rody W. J. Kersten, Bernard E. van Gastel, Olha Shkaravska, Manuel Montenegro, Marko C. J. D. van Eekelen
<span title="2013-10-08">2013</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/o454xj4tdjfllm3oragfkdrffi" style="color: black;">Concurrency and Computation</a> </i> &nbsp;
The obtained result is added to the JAVA program via an annotation using the JAVA Modelling Language (JML) specification language [11] .  ...  If the tool is not able to verify them, one can proceed with a new inference phase with other user options, such as, for example, trying a higher degree polynomial.  ...  Also, we would like to thank Gosse Wedzinga and Klaas Wiegmink at NLR for their useful feedback on RESANA use in practice.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/cpe.3154">doi:10.1002/cpe.3154</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vbwqahkknbbdljyiwr47gedeze">fatcat:vbwqahkknbbdljyiwr47gedeze</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170817005129/http://pubman.mpdl.mpg.de/pubman/item/escidoc:2069942:2/component/escidoc:2069941/Kersten_etal_2014.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/2b/d82bd795c1b908dd1252fba542cee286a3f697c3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/cpe.3154"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

Invariant and Type Inference for Matrices [chapter]

Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov
<span title="">2010</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;
Invariant generation is implemented in the software package Aligator and types are derived by theorem provers and SMT solvers, including Vampire and Z3.  ...  When used on matrices, our method is able to infer their shapes (also called types), such as upper-triangular, diagonal, etc.  ...  The fourth column shows timing (in seconds) needed by Aligator to infer quantified matrix loop invariants and properties.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-11319-2_14">doi:10.1007/978-3-642-11319-2_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wkryvtvd3ffdthc6tg32h52gni">fatcat:wkryvtvd3ffdthc6tg32h52gni</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170923000302/https://repository.ist.ac.at/69/1/Invariant_and_type_inference_for_matrices.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/cc/73/cc73862b967b1d980dcb275c2837934e84b0115e.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-11319-2_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Page 1707 of Mathematical Reviews Vol. , Issue 86d [page]

<span title="">1986</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
Inclusion in this class is also shown to be testable in polynomial time.  ...  Although no polynomial-time algorithm has yet been found for testing whether two arbitrary graphs are isomorphic, there is a growing number of classes of graphs for which polynomial-time isomorphism-testing  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1986-04_86d/page/1707" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1986-04_86d/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 70,629 results