Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. A Complete Invariant Generation Approach for P-solvable Loops
 
conference paper

A Complete Invariant Generation Approach for P-solvable Loops

Kovacs, Laura
2010
Perspectives Of Systems Informatics
7th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics

We present an algorithm for generating all polynomial invariants of P-solvable loops with assignments and nested conditionals. We prove termination of our algorithm. The proof relies on showing that the dimensions of the prime ideals from the minimal decomposition of the ideals generated at an iteration of our algorithm either remain the same or decrease at the next iteration of the algorithm. Our experimental results report that our method takes less iterations and/or time than other polynomial invariant generation techniques.

  • Details
  • Metrics
Type
conference paper
DOI
10.1007/978-3-642-11486-1_21
Web of Science ID

WOS:000279247200020

Author(s)
Kovacs, Laura
Date Issued

2010

Publisher

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa

Published in
Perspectives Of Systems Informatics
ISBN of the book

978-3-642-11485-4

Series title/Series vol.

Lecture Notes in Computer Science; 5947

Start page

242

End page

256

Subjects

Algorithm

Written at

EPFL

EPFL units
MTC  
Event nameEvent placeEvent date
7th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics

Novosibirsk, RUSSIA

Jun 15-19, 2009

Available on Infoscience
December 16, 2011
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/75383
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés