Abstract Partial Deduction Challenged - (Extended Abstract)

Thumbnail Image

Files

LNCS2664.pdf (102.72 KB)

Date

2003

Authors

Gruner, Stefan

Journal Title

Journal ISSN

Volume Title

Publisher

Springer-Verlag

Abstract

Experiments have been conducted in order to determine to what extent Abstract Partial Deduction can infer implicit safety properties of the well-known Bakery Protocol.

Description

I am making my old short-paper from 2002/2003 available again here in "UPSpace" mainly because of historic interests.

Keywords

Logic Programming, Abstract Interpretation, Symbolic Interpretation, Abstract Partial Deduction, Regular Unary Logic

Sustainable Development Goals

Citation

Stefan Gruner: Abstract Partial Deduction Challenged. LNCS 2664, pp. 258-259, 2003.

URI

http://hdl.handle.net/2263/33233

Collections

Conference Papers & Presentations (Computer Science)
Full item page