A two-level approach to logic plus functional programming integration

M. Bellia; P. G. Bosco; E. Giovannetti; G. Levi; C. Moiso; C. Palamidessi

doi:10.1007/3-540-17943-7_140

A two-level approach to logic plus functional programming integration

M. Bellia
, P. G. Bosco
, E. Giovannetti
, G. Levi
, C. Moiso
, C. Palamidessi

University of Pisa
CSELT S.p.A.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	PARLE Parallel Architectures and Languages Europe -Parallel Architectures, Proceedings
Editors	J.W. de Bakker, A.J. Nijman, P.C. Treleaven
Publisher	Springer Verlag
Pages	374-393
Number of pages	20
ISBN (Print)	9783540179436
DOIs	https://doi.org/10.1007/3-540-17943-7_140
Publication status	Published - 1 Jan 1987
Externally published	Yes
Event	1st International Conference on Parallel Architectures and Languages Europe, PARLE 1987 - Eindhoven, Netherlands Duration: 15 Jun 1987 → 19 Jun 1987

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	258 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	1st International Conference on Parallel Architectures and Languages Europe, PARLE 1987
Country/Territory	Netherlands
City	Eindhoven
Period	15/06/87 → 19/06/87

Access to Document

10.1007/3-540-17943-7_140

Cite this

Bellia, M., Bosco, P. G., Giovannetti, E., Levi, G., Moiso, C., & Palamidessi, C. (1987). A two-level approach to logic plus functional programming integration. In J. W. de Bakker, A. J. Nijman, & P. C. Treleaven (Eds.), PARLE Parallel Architectures and Languages Europe -Parallel Architectures, Proceedings (pp. 374-393). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 258 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-17943-7_140

Bellia, M. ; Bosco, P. G. ; Giovannetti, E. et al. / A two-level approach to logic plus functional programming integration. PARLE Parallel Architectures and Languages Europe -Parallel Architectures, Proceedings. editor / J.W. de Bakker ; A.J. Nijman ; P.C. Treleaven. Springer Verlag, 1987. pp. 374-393 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{18c7a55ee7dd4e82bb60d95d82aa5985,

title = "A two-level approach to logic plus functional programming integration",

author = "M. Bellia and Bosco, \{P. G.\} and E. Giovannetti and G. Levi and C. Moiso and C. Palamidessi",

year = "1987",

month = jan,

day = "1",

doi = "10.1007/3-540-17943-7\_140",

language = "English",

isbn = "9783540179436",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "374--393",

editor = "\{de Bakker\}, J.W. and A.J. Nijman and P.C. Treleaven",

booktitle = "PARLE Parallel Architectures and Languages Europe -Parallel Architectures, Proceedings",

note = "1st International Conference on Parallel Architectures and Languages Europe, PARLE 1987 ; Conference date: 15-06-1987 Through 19-06-1987",

}

Bellia, M, Bosco, PG, Giovannetti, E, Levi, G, Moiso, C & Palamidessi, C 1987, A two-level approach to logic plus functional programming integration. in JW de Bakker, AJ Nijman & PC Treleaven (eds), PARLE Parallel Architectures and Languages Europe -Parallel Architectures, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 258 LNCS, Springer Verlag, pp. 374-393, 1st International Conference on Parallel Architectures and Languages Europe, PARLE 1987, Eindhoven, Netherlands, 15/06/87. https://doi.org/10.1007/3-540-17943-7_140

A two-level approach to logic plus functional programming integration. / Bellia, M.; Bosco, P. G.; Giovannetti, E. et al.
PARLE Parallel Architectures and Languages Europe -Parallel Architectures, Proceedings. ed. / J.W. de Bakker; A.J. Nijman; P.C. Treleaven. Springer Verlag, 1987. p. 374-393 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 258 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A two-level approach to logic plus functional programming integration

AU - Bellia, M.

AU - Bosco, P. G.

AU - Giovannetti, E.

AU - Levi, G.

AU - Moiso, C.

AU - Palamidessi, C.

PY - 1987/1/1

Y1 - 1987/1/1

UR - https://www.scopus.com/pages/publications/84915912932

U2 - 10.1007/3-540-17943-7_140

DO - 10.1007/3-540-17943-7_140

M3 - Conference contribution

AN - SCOPUS:84915912932

SN - 9783540179436

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 374

EP - 393

BT - PARLE Parallel Architectures and Languages Europe -Parallel Architectures, Proceedings

A2 - de Bakker, J.W.

A2 - Nijman, A.J.

A2 - Treleaven, P.C.

PB - Springer Verlag

T2 - 1st International Conference on Parallel Architectures and Languages Europe, PARLE 1987

Y2 - 15 June 1987 through 19 June 1987

ER -

Bellia M, Bosco PG, Giovannetti E, Levi G, Moiso C, Palamidessi C. A two-level approach to logic plus functional programming integration. In de Bakker JW, Nijman AJ, Treleaven PC, editors, PARLE Parallel Architectures and Languages Europe -Parallel Architectures, Proceedings. Springer Verlag. 1987. p. 374-393. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-17943-7_140

A two-level approach to logic plus functional programming integration

Publication series

Conference

Access to Document

Other files and links

Cite this