Search dblp for Publications

export results for "toc:db/conf/iclp/iclp94-w2.bht:"

 download as .bib file

@inproceedings{DBLP:conf/iclp/Bagnara94,
  author       = {Roberto Bagnara},
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {On the Detection of Implicit and Redundant Numeric Constraints in
                  {CLP} Programs},
  booktitle    = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
                  Logic Languages, Santa Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Bagnara94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BergereFR94,
  author       = {Michel Berg{\`{e}}re and
                  G{\'{e}}rard Ferrand and
                  Jean{-}Hugues R{\'{e}}ty},
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {Indipendence of the Computation Rule for SLD-derivation with delay},
  booktitle    = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
                  Logic Languages, Santa Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/BergereFR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BoerGMP94,
  author       = {Frank S. de Boer and
                  Maurizio Gabbrielli and
                  Elena Marchiori and
                  Catuscia Palamidessi},
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {Proving correctness of Concurrent Constraint Programs},
  booktitle    = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
                  Logic Languages, Santa Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/BoerGMP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BoulangerB94,
  author       = {Dmitri Boulanger and
                  Maurice Bruynooghe},
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {Abstract Domains: a Model-Theoretic approach},
  booktitle    = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
                  Logic Languages, Santa Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/BoulangerB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BruynoogheCM94,
  author       = {Maurice Bruynooghe and
                  Michael Codish and
                  Anne Mulkers},
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {Abstract Unification for a Composite Domain Deriving Sharing and Freeness
                  Properties of Program Variables},
  booktitle    = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
                  Logic Languages, Santa Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/BruynoogheCM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/ChambreD94,
  author       = {Pascal Chambre and
                  Pierre Deransart},
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {Towards a Proof method of Non-Suspension of Concurrent Constraint
                  Logic Programs},
  booktitle    = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
                  Logic Languages, Santa Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/ChambreD94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/CodishD94,
  author       = {Michael Codish and
                  Bart Demoen},
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple
                  Incarnations of Prop},
  booktitle    = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
                  Logic Languages, Santa Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/CodishD94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/ColussiMM94,
  author       = {Livio Colussi and
                  Elena Marchiori and
                  Massimo Marchiori},
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {Combining Logic and Control to Characterize Global Invariants of Prolog
                  Programs},
  booktitle    = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
                  Logic Languages, Santa Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/ColussiMM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/FalaschiGMP94,
  author       = {Moreno Falaschi and
                  Maurizio Gabbrielli and
                  Kim Marriott and
                  Catuscia Palamidessi},
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {Denotational semantics for Concurrent Constraint Programs analyses},
  booktitle    = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
                  Logic Languages, Santa Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/FalaschiGMP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Giacobazzi94,
  author       = {Roberto Giacobazzi},
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {On the Collecting Semantics for Logic Programs},
  booktitle    = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
                  Logic Languages, Santa Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Giacobazzi94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Jacquet94,
  author       = {Jean{-}Marie Jacquet},
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {Verifying Logic Programs from Metric Semantics},
  booktitle    = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
                  Logic Languages, Santa Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Jacquet94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/MascellaniP94,
  author       = {Paolo Mascellani and
                  Dino Pedreschi},
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {Total correctness of logic and pure Prolog programs},
  booktitle    = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
                  Logic Languages, Santa Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/MascellaniP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Ruggieri94,
  author       = {Salvatore Ruggieri},
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {Proving (total) correctness of Prolog programs},
  booktitle    = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
                  Logic Languages, Santa Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Ruggieri94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Vetillard94,
  author       = {Eric V{\'{e}}tillard},
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {Constraint Logic Programs with Declarations: Theory and Implementation},
  booktitle    = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
                  Logic Languages, Santa Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Vetillard94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Wurtz94,
  author       = {J{\"{o}}rg W{\"{u}}rtz},
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {Towards the Verification of Concurrent Constaint Programs in the Field
                  of Finite Domain Reasoning},
  booktitle    = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
                  Logic Languages, Santa Margherita Ligure, Italy, June 1994},
  pages        = {87--107},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Wurtz94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/ZaffanellaLG94,
  author       = {Enea Zaffanella and
                  Giorgio Levi and
                  Roberto Giacobazzi},
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {Abstracting Synchronization in Concurrent Constraint Programming},
  booktitle    = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
                  Logic Languages, Santa Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/ZaffanellaLG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/iclp/1994w2,
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
                  Logic Languages, Santa Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/1994w2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.