Search Results - "Computer software termination"

Bit-Precise Procedure-Modular Termination Analysis.

Authors: HONG-YI CHEN DAVID, CRISTINA KROENING, DANIEL et al.

Source: ACM Transactions on Programming Languages & Systems; Dec2017, Vol. 40 Issue 1, p1:1-1:38, 38p

On Describing Terminating Algebraic Specifications Based on Their Models.

Authors: Nakamura, Masaki Ogata, Kazuhiro Futatsugi, Kokichi

Source: Proceedings of the International MultiConference of Engineers & Computer Scientists 2012 Volume I; 2012, Vol. 1, p192-197, 6p

Proving Program Termination.

Authors: COOK, BYRON PODELSKI, ANDREAS RYBALCHENKO, ANDREY

Source: Communications of the ACM. May2011, Vol. 54 Issue 5, p88-98. 11p. 1 Illustration, 11 Diagrams.

Subjects: Computer software termination, Decidability (Mathematical logic), Ramsey theory, Computable functions, Computer logic, Mathematical logic

Adobe Flash will die by 2020, Adobe and browser makers say.

Authors: HACHMAN, MARK (AUTHOR)

Source: PCWorld. Sep2017, Vol. 35 Issue 9, p23-25. 3p. 2 Color Photographs.

Subjects: Adobe Flash (Computer software), Computer software termination, Plug-ins (Computer programs), Web development, Web browsing

On Termination, Confluence and Consistent CHR-based Type Inference.

Authors: DUCK, GREGORY J. HAEMMERLÉ, RÉMY SULZMANN, MARTIN et al.

Source: Theory & Practice of Logic Programming. Jul2014, Vol. 14 Issue 4/5, p619-632. 14p.

Does indirect addressing matter?

Authors: Brand, Michael¹, michael.brand@alumni.weizmann.ac.il

Source: Acta Informatica; Nov2012, Vol. 49 Issue 7/8, p485-491, 7p

Non-termination and secure information flow.

Authors: SMITH, GEOFFREY ALPÍZAR, RAFAEL

Source: Mathematical Structures in Computer Science. Dec2011, Vol. 21 Issue 6, p1183-1205. 23p.

Problems Solved.

Source: Computer Act!ve. 5/25/2016, Issue 476, p64-69. 5p.

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs.

Authors: NGUYEN, MANH THANG DE SCHREYE, DANNY GIESL, JÜRGEN et al.

Source: Theory & Practice of Logic Programming. 01/01/2011, Vol. 11 Issue 1, p33-63. 31p.

Automated Termination Proofs for Logic Programs by Term Rewriting.

Authors: Schneider-Kamp, Peter Giesl, Jürgen Serebrenik, Alexander et al.

Source: ACM Transactions on Computational Logic; Oct2009, Vol. 11 Issue 1, p2-2:52, 52p, 4 Charts

Resource Control Graphs.

Authors: Moyen, Jean-Yves¹, Jean-Yves.Moyen@lipn.univ-paris13.fr

Source: ACM Transactions on Computational Logic; Aug2009, Vol. 10 Issue 4, p29-29:44, 44p, 11 Diagrams, 1 Chart

Termination of Rewriting under Strategies.

Authors: Gnaedig, Isabelle Inria, Hélène Kirchner

Source: ACM Transactions on Computational Logic; Feb2009, Vol. 10 Issue 2, p10-10.52, 52p, 6 Charts

A Termination Analyzer for Java Bytecode Based on Path-Length.

Authors: SPOTO, FAUSTO MESNARD, FRED PAYET, ÉTIENNE

Source: ACM Transactions on Programming Languages & Systems. Mar2010, Vol. 32 Issue 3, p8-8.70. 70p. 9 Diagrams, 8 Charts.

Orderly Termination of Programs. (cover story)

Authors: Bashir, Omar

Source: Overload; Feb2009, Issue 89, p20-26, 7p, 6 Diagrams, 10 Charts

Proving mutual termination.

Authors: Elenbogen, Dima Katz, Shmuel Strichman, Ofer

Source: Formal Methods in System Design. Oct2015, Vol. 47 Issue 2, p204-229. 26p.

Subjects: Computer software termination, Electronic data processing, Systems design, Computer science, System analysis

Conditional termination of loops over heap-allocated data.

Authors: Albert, Elvira Arenas, Puri Genaim, Samir et al.

Source: Science of Computer Programming. Oct2014, Vol. 92 Issue Part A, p2-24. 23p.

Subjects: Computer software termination, Data analysis, Computational complexity, Information retrieval, Java programming language, Mathematical proofs

Termination proofs for linear simple loops.

Authors: Chen, Hong Flur, Shaked Mukhopadhyay, Supratik

Source: International Journal on Software Tools for Technology Transfer. Feb2015, Vol. 17 Issue 1, p47-57. 11p.

Subjects: Loops (Group theory), Computer software termination, Computer programming, Lexicography, Polynomials

A 1GHz, DDR2/3 SSTL driver with On-Die Termination, strength calibration, and slew rate control

Authors: Plessas, F. Davrazos, E. Alexandropoulos, A. et al.

Source: Computers & Electrical Engineering. Mar2012, Vol. 38 Issue 2, p206-216. 11p.

Subjects: Computer software termination, Robust control, Electric resistors, Electric impedance, Temperature effect, Ports (Electronic computer system), Computer input-output equipment, Electric potential

Proving termination of nonlinear command sequences.

Authors: Babić, Domagoj Cook, Byron Hu, Alan et al.

Source: Formal Aspects of Computing. May2013, Vol. 25 Issue 3, p389-403. 15p.

Subjects: Nonlinear assignment problems, Computer software termination, Divergence theorem, Nonlinear analysis, Loops (Group theory)

A tableau-based decision procedure for CTL*.

Authors: Reynolds, Mark¹ mark@csse.uwa.edu.au

Source: Formal Aspects of Computing. Nov2011, Vol. 23 Issue 6, p739-779. 41p.

Subjects: Computer software termination, Computing platforms, Subroutines (Computer programs), Reasoning, Ring networks