3 Search Results for "Peled, Doron A."

Document
Track B: Automata, Logic, Semantics, and Theory of Programming
DOI: 10.4230/LIPIcs.ICALP.2024.139
T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations

Authors: Raphael Douglas Giles, Vincent Jackson, and Christine Rizkallah

Published in: LIPIcs, Volume 297, 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)

Abstract
We introduce a powerful termination algorithm for structurally recursive functions that improves on the core ideas behind lexicographic termination algorithms for functional programs. The algorithm generates linear-lexicographic combinations of primitive measure functions measuring the recursive structure of terms. We introduce a measure language that enables the simplification and comparison of measures and we prove meta-theoretic properties of our measure language. Moreover, we demonstrate our algorithm, on an untyped first-order functional language and prove its soundness and that it runs in polynomial time. We also provide a Haskell implementation. As part of this work, we also show how to solve the maximisation of negative vector-components as a linear program.
Cite as

Raphael Douglas Giles, Vincent Jackson, and Christine Rizkallah. T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations. In 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 297, pp. 139:1-139:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@InProceedings{giles_et_al:LIPIcs.ICALP.2024.139,
  author =	{Giles, Raphael Douglas and Jackson, Vincent and Rizkallah, Christine},
  title =	{{T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations}},
  booktitle =	{51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)},
  pages =	{139:1--139:19},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-322-5},
  ISSN =	{1868-8969},
  year =	{2024},
  volume =	{297},
  editor =	{Bringmann, Karl and Grohe, Martin and Puppis, Gabriele and Svensson, Ola},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2024.139},
  URN =		{urn:nbn:de:0030-drops-202827},
  doi =		{10.4230/LIPIcs.ICALP.2024.139},
  annote =	{Keywords: Termination, Recursive functions}
}
Document
DOI: 10.4230/DagSemProc.07241.1
07241 Abstracts Collection – Tools for the Model-based Development of Certifiable, Dependable Systems

Authors: Michaela Huhn, Hardi Hungar, and Doron A. Peled

Published in: Dagstuhl Seminar Proceedings, Volume 7241, Tools for the Model-based Development of Certifiable, Dependable Systems (2008)

Abstract
From June 10th to June 15th 2007, the Dagstuhl Seminar 07241 ``Tools for the Model-based Development of Certifiable, Dependable Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

Michaela Huhn, Hardi Hungar, and Doron A. Peled. 07241 Abstracts Collection – Tools for the Model-based Development of Certifiable, Dependable Systems. In Tools for the Model-based Development of Certifiable, Dependable Systems. Dagstuhl Seminar Proceedings, Volume 7241, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)

Copy BibTex To Clipboard

@InProceedings{huhn_et_al:DagSemProc.07241.1,
  author =	{Huhn, Michaela and Hungar, Hardi and Peled, Doron A.},
  title =	{{07241 Abstracts Collection –  Tools for the Model-based Development of Certifiable, Dependable Systems}},
  booktitle =	{Tools for the Model-based Development of Certifiable, Dependable Systems},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{7241},
  editor =	{Michaela Huhn and Hardi Hungar and Doron A. Peled},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07241.1},
  URN =		{urn:nbn:de:0030-drops-14067},
  doi =		{10.4230/DagSemProc.07241.1},
  annote =	{Keywords: Dependable systems, safety, security, certification, formal methods, modelling, verification, tools}
}
Document
DOI: 10.4230/DagSemProc.07241.2
07241 Summary – Tools for the Model-based Development of Certifiable, Dependable Systems

Authors: Michaela Huhn, Hardi Hungar, and Doron A. Peled

Published in: Dagstuhl Seminar Proceedings, Volume 7241, Tools for the Model-based Development of Certifiable, Dependable Systems (2008)

Abstract
This paper summarizes the objectives and structure of a seminar with the same title, held from June 10th to June 15th, 2007 at Schloss Dagstuhl, Germany.
Cite as

Michaela Huhn, Hardi Hungar, and Doron A. Peled. 07241 Summary – Tools for the Model-based Development of Certifiable, Dependable Systems. In Tools for the Model-based Development of Certifiable, Dependable Systems. Dagstuhl Seminar Proceedings, Volume 7241, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)

Copy BibTex To Clipboard

@InProceedings{huhn_et_al:DagSemProc.07241.2,
  author =	{Huhn, Michaela and Hungar, Hardi and Peled, Doron A.},
  title =	{{07241 Summary –  Tools for the Model-based Development of Certifiable, Dependable Systems}},
  booktitle =	{Tools for the Model-based Development of Certifiable, Dependable Systems},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{7241},
  editor =	{Michaela Huhn and Hardi Hungar and Doron A. Peled},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07241.2},
  URN =		{urn:nbn:de:0030-drops-14056},
  doi =		{10.4230/DagSemProc.07241.2},
  annote =	{Keywords: Dependable systems, safety, security, certification, formal methods, modelling, verification, tools}
}
  • Refine by Author
  • 2 Huhn, Michaela
  • 2 Hungar, Hardi
  • 2 Peled, Doron A.
  • 1 Giles, Raphael Douglas
  • 1 Jackson, Vincent
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 2 Dependable systems
  • 2 certification
  • 2 formal methods
  • 2 modelling
  • 2 safety
  • Show More...

  • Refine by Type
  • 3 document

  • Refine by Publication Year
  • 2 2008
  • 1 2024

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact