Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Charatonik, Witold

dblp



Editor(s):

Smolka, Gert

dblp



BibTeX cite key*:

Charatonik-ESOP00

Title, Booktitle

Title*:

Directional Type Checking for Logic Programs: Beyond Discriminative Types

Booktitle*:

Proceedings of the 8th European Symposium on Programming (ESOP-00)

Event, URLs

URL of the conference:

http://www.ps.uni-sb.de/~esop2000/

URL for downloading the paper:


Event Address*:

Berlin, Germany

Language:

English

Event Date*
(no longer used):

March, 27 - March, 31

Organization:


Event Start Date:

21 September 2019

Event End Date:

21 September 2019

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

1782

Number:


Month:

March

Pages:

72-87

Year*:

2000

VG Wort Pages:

16

ISBN/ISSN:

3-540-67262-1

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

Directional types form a type system for logic programs which is
based on the view of a predicate as a {\em directional procedure\/}
which, when applied to a tuple of input terms, generates a tuple of
output terms. It is known that directional-type checking wrt.\
arbitrary types is undecidable; several authors proved decidability
of the problem wrt.\ discriminative regular types. In this paper,
using techniques based on tree automata, we show that
directional-type checking for logic programs wrt.\ general regular
types is \dexptime-complete and fixed-parameter linear. The letter
result shows that despite the exponential lower bound, the type
system might be usable in practice.

Keywords:

Logic Programming, Types, Tree Automata



Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography



BibTeX Entry:

@INPROCEEDINGS{Charatonik-ESOP00,
AUTHOR = {Charatonik, Witold},
EDITOR = {Smolka, Gert},
TITLE = {Directional Type Checking for Logic Programs: {Beyond} Discriminative Types},
BOOKTITLE = {Proceedings of the 8th European Symposium on Programming (ESOP-00)},
PUBLISHER = {Springer},
YEAR = {2000},
VOLUME = {1782},
PAGES = {72--87},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Berlin, Germany},
MONTH = {March},
ISBN = {3-540-67262-1},
}


Entry last modified by Anja Becker, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Witold Charatonik
Created
01/04/2000 03:46:22 PM
Revisions
6.
5.
4.
3.
2.
Editor(s)
Anja Becker
Uwe Brahm
Christine Kiesel
Witold Charatonik
Witold Charatonik
Edit Dates
20.08.2001 16:28:37
04/04/2001 04:18:12 PM
13.03.2001 13:21:23
26/01/2001 15:44:23
16/01/2001 11:10:06