Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Context-sensitive multivariant assertion checking in modular programs
Complutense University, Madrid.
Technical University of Madrid.
Technical University of Madrid.
2006 (English)In: Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / [ed] Miki Hermann; Andrei Voronkov, Berlin: Encyclopedia of Global Archaeology/Springer Verlag, 2006, 392-406 p.Conference paper, Published paper (Refereed)
Abstract [en]

We propose a modular, assertion-based system for verification and debugging of large logic programs, together with several interesting models for checking assertions statically in modular programs, each with different characteristics and representing different trade-offs. Our proposal is a modular and multivariant extension of our previously proposed abstract assertion checking model and we also report on its implementation in the CiaoPP system. In our approach, the specification of the program, given by a set of assertions, may be partial, instead of the complete specification required by traditional verification systems. Also, the system can deal with properties which cannot always be determined at compile-time. As a result, the proposed system needs to work with safe approximations: all assertions proved correct are guaranteed to be valid and all errors actual errors. The use of modular, context-sensitive static analyzers also allows us to introduce a new distinction between assertions checked in a particular context or checked in general.

Place, publisher, year, edition, pages
Berlin: Encyclopedia of Global Archaeology/Springer Verlag, 2006. 392-406 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 4246
National Category
Embedded Systems
Research subject
Embedded System
Identifiers
URN: urn:nbn:se:ltu:diva-27415DOI: 10.1007/11916277Scopus ID: 33845225992Local ID: 0dbc13f0-c15a-11dd-a054-000ea68e967bISBN: 978-3-540-48281-9 (print)OAI: oai:DiVA.org:ltu-27415DiVA: diva2:1000599
Conference
International Conference on Logic for Programming, Aritficial Intelligence, and Reasoning : 13/11/2006 - 17/11/2006
Note
Upprättat; 2006; 20081203 (ysko)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2017-11-25Bibliographically approved

Open Access in DiVA

fulltext(167 kB)15 downloads
File information
File name FULLTEXT01.pdfFile size 167 kBChecksum SHA-512
5951340eebcb2b358b6a13592ef7effdd05c8998645fd5fcea2d10b5cc70e90bdac4d10d9f746ea55d12fa4a0f5676c231e1ebef6fae81ce0fe2ed4402eceb7d
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Pietrzak, Pawel
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 15 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 27 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf