JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Gruner, Stefan
|
|
| dc.date.accessioned | 2014-02-03T11:53:10Z | |
| dc.date.available | 2014-02-03T11:53:10Z | |
| dc.date.created | 2002 | |
| dc.date.issued | 2003 | |
| dc.description | I am making my old short-paper from 2002/2003 available again here in "UPSpace" mainly because of historic interests. | en_US |
| dc.description.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. | en_US |
| dc.description.librarian | mv2014 | en_US |
| dc.description.uri | http://link.springer.com/chapter/10.1007%2F3-540-45013-0_19 | en_US |
| dc.format.extent | 1 p. | en_US |
| dc.format.medium | en_US | |
| dc.identifier.citation | Stefan Gruner: Abstract Partial Deduction Challenged. LNCS 2664, pp. 258-259, 2003. | en_US |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.uri | http://hdl.handle.net/2263/33233 | |
| dc.language.iso | en | en_US |
| dc.publisher | Springer-Verlag | en_US |
| dc.relation.ispartofseries | LNCS | en_US |
| dc.rights | Springer-Verlag holds the copyright of the published paper as it is shown here in "UPSpace". A pre-pubished pre-print or draft-paper does no longer exist (has been lost) since then. | en_US |
| dc.subject | Logic Programming | en_US |
| dc.subject | Abstract Interpretation | en_US |
| dc.subject | Symbolic Interpretation | en_US |
| dc.subject | Abstract Partial Deduction | en_US |
| dc.subject | Regular Unary Logic | en_US |
| dc.title | Abstract Partial Deduction Challenged - (Extended Abstract) | en_US |
| dc.type | Postprint Article | en_US |
