Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 73

Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 80
CiE 2006 - Regular Talk: - On generalising predicate abstraction
Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

Regular Talk:
On generalising predicate abstraction


Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249
Speaker: Birgit Elbl
Presentation: CiE06-Elbl.pdf
Slot: Sat, 17:00-17:20, Faraday C (col. 2)

Abstract

Starting from a simple term system, in which pure Prolog can be naturally embedded, the mechanism for building predicate terms is generalised. The resulting system has two forms of predicate abstraction which differ in semantics and are different from functional abstraction. It is more expressive than the original system, hence more expressive than pure Prolog. This is exemplified by defining some meta-logical predicates.


websites: Arnold Beckmann
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /srv/www/htdocs-cs/cie06/conf-code.php on line 135
2006-06-29 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by www.free-counters.net