Abstract Partial Deduction Challenged - (Extended Abstract)

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	PDF	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

Files

Now showing 1 - 1 of 1

Name:: LNCS2664.pdf
Size:: 102.72 KB
Format:: Adobe Portable Document Format
Description:: Photo-digital copy (scan) taken from a printed sample of Lecture Notes in Computer Science (LNCS) 2664.

Now showing 1 - 1 of 1