×

Found 323 Documents (Results 1–100)

100
MathJax

Robust invariant sets generation for state-constrained perturbed polynomial systems. (English) Zbl 07120148

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 128-137 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI

Automatically disproving fair termination of higher-order functional programs. (English) Zbl 1361.68153

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 243-255 (2016).
MSC:  68Q60 68N18 68T15
PDF BibTeX XML Cite
Full Text: DOI

Unboundedness and downward closures of higher-order pushdown automata. (English) Zbl 1347.68205

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 151-163 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Temporal verification of higher-order functional programs. (English) Zbl 1347.68233

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 57-68 (2016).
MSC:  68Q60 68N18 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Higher-order model checking: an overview. (English) Zbl 1401.68205

Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 1-15 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Extracting imperative programs from proofs: In-place Quicksort. (English) Zbl 1359.68042

Matthes, Ralph (ed.) et al., 19th international conference on types for proofs and programs, TYPES 2013, Toulouse, France, April 22–26, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-72-9). LIPIcs – Leibniz International Proceedings in Informatics 26, 84-106 (2014).
MSC:  68N18 68P10 68T15
PDF BibTeX XML Cite
Full Text: DOI

Automating relatively complete verification of higher-order functional programs. (English) Zbl 1301.68182

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 75-86 (2013).
MSC:  68Q60 68N18 68N30
PDF BibTeX XML Cite
Full Text: DOI Link

Legendre functions whose gradients map convex sets to convex sets. (English) Zbl 1287.52011

Bailey, David H. (ed.) et al., Computational and analytical mathematics. In Honor of Jonathan Borwein’s 60th birthday. Selected papers based on the presentations at the workshop, also known as JonFest, Simon Fraser University, BC, Canada, May 16–20, 2011. New York, NY: Springer (ISBN 978-1-4614-7620-7/hbk; 978-1-4614-7621-4/ebook). Springer Proceedings in Mathematics & Statistics 50, 455-462 (2013).
PDF BibTeX XML Cite
Full Text: DOI

A traversal-based algorithm for higher-order model checking. (English) Zbl 1291.68264

Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 353-364 (2012).
MSC:  68Q60 68N18
PDF BibTeX XML Cite
Full Text: DOI

Sound and complete verification condition generator for functional recursive programs. (English) Zbl 1248.68149

Langer, Ulrich (ed.) et al., Numerical and symbolic scientific computing. Progress and prospects. New York, NY: Springer (ISBN 978-3-7091-0793-5/pbk; 978-3-7091-0794-2/ebook). Texts & Monographs in Symbolic Computation, 219-256 (2012).
MSC:  68N30 68N18
PDF BibTeX XML Cite
Full Text: DOI

Difference equations and discrete dynamical systems. An introduction to theory and practice. 2nd expanded and updated ed. (Differenzengleichungen und diskrete dynamische Systeme. Eine Einführung in Theorie und Anwendungen.) (German) Zbl 1248.39002

de Gruyter Studium. Berlin: de Gruyter (ISBN 978-3-11-025038-1/pbk; 978-3-11-025039-8/ebook). xii, 256 p. (2012).
PDF BibTeX XML Cite
Full Text: DOI

Verifying higher-order functional programs with pattern-matching algebraic data types. (English) Zbl 1284.68193

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 587-598 (2011).
MSC:  68N30 68N18
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software