Skip to main content
Home
Highlights
Events
Hosted Events
Job & Study Opportunities
Press
Contacts
Research
Publications
Projects
People
Resources
Dataset
Software
Blog
Search form
Search
Publications
You are here
Home
»
Research
Export 5 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Author
Title
Type
[
Year
]
1995
D. Aquilino
,
Asirelli, P.
,
Renso, C.
, and
Turini, F.
,
“
An Operator for Composing Deductive Databases with Theories of Constraints
”
, in
LPNMR
, 1995, pp. 57-70.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1994
F. Fiore
and
Giannotti, F.
,
“
An abstract interpreter for the specification language LOTOS
”
, in
FORTE
, 1994, pp. 309-323.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Renso, C.
, and
Turini, F.
,
“
Amalgamating Language and Meta-language for Composing Logic Programs
”
, in
GULP-PRODE (2)
, 1994, pp. 408-422.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
G. Amato
,
Giannotti, F.
, and
Mainetto, G.
,
“
Conservative Multigranularity Locking for an Obiect-Oriented Persistent Language via Abstract Interpretation
”
, in
SEBD
, 1994, pp. 329-349.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
L. Corciulo
,
Giannotti, F.
,
Pedreschi, D.
, and
Zaniolo, C.
,
“
Expressive Power of Non-Deterministic Operators for Logic-based Languages
”
, in
Workshop on Deductive Databases and Logic Programming
, 1994, pp. 27-40.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Giannotti
and
Latella, D.
,
“
Gate Splitting in LOTOS Specifications Using Abstract Interpretation
”
,
Sci. Comput. Program.
, vol. 23, pp. 127-149, 1994.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Chiarelli, A.
,
Mancarella, P.
,
Mazzotta, V.
,
Pedreschi, D.
,
Renso, C.
, and
Turini, F.
,
“
Implementations of Program Composition Operations
”
, pp. 292–307, 1994.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Chiarelli, A.
,
Mancarella, P.
,
Mazzotta, V.
,
Pedreschi, D.
,
Renso, C.
, and
Turini, F.
,
“
Implementations of Program Composition Operations
”
, in
PLILP
, 1994, pp. 292-307.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Chiarelli, A.
,
Mancarella, P.
,
Mazzotta, V.
,
Pedreschi, D.
,
Renso, C.
, and
Turini, F.
,
“
Implementations of Program Composition Operations
”
, in
PLILP
, 1994, pp. 292-307.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Mancarella, P.
,
Pedreschi, D.
, and
Turini, F.
,
“
Modular Logic Programming
”
,
ACM Trans. Program. Lang. Syst.
, vol. 16, pp. 1361-1398, 1994.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
,
“
A Proof Method for Runtime Properties of Prolog Programs
”
, in
ICLP
, 1994, pp. 584-598.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
P. Mascellani
and
Pedreschi, D.
,
“
Proving termination of Prolog programs
”
, in
GULP-PRODE (1)
, 1994, pp. 46-61.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1993
G. Amato
,
Giannotti, F.
, and
Mainetto, G.
,
“
Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation
”
, in
VLDB
, 1993, pp. 405-415.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
L. Corciulo
,
Giannotti, F.
, and
Pedreschi, D.
,
“
Datalog with Non-Deterministic Choice Computes NDB-PTIME
”
, in
DOOD
, 1993, pp. 49-66.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Giannotti
and
Latella, D.
,
“
Gate Splitting in LOTOS Specifications Using Abstract Interpretation
”
, in
TAPSOFT
, 1993, pp. 437-452.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
K. R. Apt
and
Pedreschi, D.
,
“
Reasoning about Termination of Pure Prolog Programs
”
,
Inf. Comput.
, vol. 106, pp. 109-157, 1993.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
G. Amato
,
Giannotti, F.
, and
Mainetto, G.
,
“
Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage
”
, in
FMLDO
, 1993, pp. 19-29.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Chiarelli
,
Mazzotta, V.
, and
Renso, C.
,
“
A WAM Estesa per la Composizione di Programi Logici
”
, in
GULP
, 1993, pp. 189-202.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1992
G. Amato
,
Giannotti, F.
, and
Mainetto, G.
,
“
Analysis of Concurrent Transactions in a Functional Database Programming Language
”
, in
WSA
, 1992, pp. 174-184.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Mancarella, P.
,
Pedreschi, D.
, and
Turini, F.
,
“
Meta for Modularising Logic Programming
”
, in
META
, 1992, pp. 105-119.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
B. Bertolino
,
Meo, L.
,
Pedreschi, D.
, and
Turini, F.
,
The Type System of LML
. 1992, pp. 313-332.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Giannotti
and
Latella, D.
,
“
Using Abstract Interpretation for Gate splitting in LOTOS Specifications
”
, in
WSA
, 1992, pp. 194-204.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1991
F. Giannotti
,
Pedreschi, D.
,
Saccà, D.
, and
Zaniolo, C.
,
“
Non-Determinism in Deductive Databases
”
, in
DOOD
, 1991, pp. 129-146.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
K. R. Apt
and
Pedreschi, D.
,
“
Proving Termination of General Prolog Programs
”
, in
TACS
, 1991, pp. 265-289.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Giannotti
and
Hermenegildo, M. V.
,
“
A Technique for Recursive Invariance Detection and Selective Program Specification
”
, in
PLILP
, 1991, pp. 323-334.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Pages
« first
‹ previous
…
17
18
19
20
21
22
23
24
25
next ›
last »
Copyright © 2014 - KDD Lab