Change search
ReferencesLink to record
Permanent link

Direct link
Type analysis for CHIP
University of Linköping.
1999 (English)In: Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98 Amazonia, Brazil, January 4-8, 1999 Proceedings / [ed] Armando Martin Haeberer, Encyclopedia of Global Archaeology/Springer Verlag, 1999, 389-405 p.Conference paper (Refereed)
Abstract [en]

This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a specification that approximates the semantics of a given program. The semantics of interest is an operational "call-success" semantics. The main intended application is program debugging. We consider a restricted class of specifications, which are regular types of constrained atoms. Our type inference approach is based on bottom-up abstract interpretation, which is used to approximate the declarative semantics (c-semantics). By using "magic transformations" we can describe the call-success semantics of a program by the declarative semantics of another program. We are focused on CLP over finite domains. Our prototype program analyzer works for the programming language CHIP.

Place, publisher, year, edition, pages
Encyclopedia of Global Archaeology/Springer Verlag, 1999. 389-405 p.
Lecture Notes in Computer Science, ISSN 0302-9743 ; 1548
Research subject
Embedded System
URN: urn:nbn:se:ltu:diva-31963DOI: 10.1007/3-540-49253-4_28Local ID: 64ad47a0-c50c-11dd-80bd-000ea68e967bISBN: 3-540-65462-3OAI: diva2:1005197
Algebraic Methodology and Software Technology, AMAST'98 : 04/01/1999 - 08/01/1999
Upprättat; 1999; 20081208 (pawpie)Available from: 2016-09-30 Created: 2016-09-30

Open Access in DiVA

fulltext(242 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 242 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Pietrzak, Pawel

Search outside of DiVA

GoogleGoogle Scholar
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

Altmetric score

ReferencesLink to record
Permanent link

Direct link