Search dblp for Publications

export results for "toc:db/conf/procomet/procomet1998.bht:"

 download as .bib file

@inproceedings{DBLP:conf/procomet/BarbaneraDV98,
  author       = {Franco Barbanera and
                  Mariangiola Dezani{-}Ciancaglini and
                  Fer{-}Jan de Vries},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Types for trees},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {11--29},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Wed, 30 Apr 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/procomet/BarbaneraDV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/BastoneroPR98,
  author       = {Olivier Bastonero and
                  Alberto Pravato and
                  Simona Ronchi Della Rocca},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Structures for lazy semantics},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {30--48},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Wed, 20 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/procomet/BastoneroPR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/BoerFHS98,
  author       = {Frank S. de Boer and
                  Nissim Francez and
                  M. van Hulst and
                  Frank A. Stomp},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {A proof theory of asynchronously communicating sequential processes},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {49--67},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Fri, 05 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/BoerFHS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/ClarkeJM98,
  author       = {Edmund M. Clarke and
                  Somesh Jha and
                  Wilfredo R. Marrero},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Using state space exploration and a natural deduction style message
                  derivation engine to verify security protocols},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {87--106},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/ClarkeJM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/Crary98,
  author       = {Karl Crary},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Programming language semantics in foundational type theory},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {107--125},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/Crary98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/DArgenioKB98,
  author       = {Pedro R. D'Argenio and
                  Joost{-}Pieter Katoen and
                  Ed Brinksma},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {An algebraic approach to the specification of stochastic systems},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {126--147},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/DArgenioKB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/Damm98,
  author       = {Werner Damm},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Verifying electronic control unit: today and tomorrow},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {7--8},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/Damm98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/Denney98,
  author       = {Ewen Denney},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Refinement types for specification},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {148--166},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/Denney98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/GasterenB98,
  author       = {A. J. M. van Gasteren and
                  A. Bijlsma},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {An extension of the program derivation format},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {167--185},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 28 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/procomet/GasterenB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/Gries98,
  author       = {David Gries},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Teaching calculational logic},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {9--10},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/Gries98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/HayesU98,
  author       = {Ian J. Hayes and
                  Mark Utting},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Deadlines are termination},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {186--204},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/HayesU98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/Hesselink98,
  author       = {Wim H. Hesselink},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {The design of a linearization of a concurrent data object},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {205--224},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/Hesselink98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/HonsellLMP98,
  author       = {Furio Honsell and
                  Marina Lenisa and
                  Ugo Montanari and
                  Marco Pistore},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Final semantics for the pi-calculus},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {225--243},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/HonsellLMP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/HuthK98,
  author       = {Michael Huth and
                  Marta Z. Kwiatkowska},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Comparing {CTL} and {PCTL} on labeled Markov chains},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {244--262},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/procomet/HuthK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/Kieburtz98,
  author       = {Richard B. Kieburtz},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Reactive functional programming},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {263--284},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/Kieburtz98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/KleistS98,
  author       = {Josva Kleist and
                  Davide Sangiorgi},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Imperative objects and mobile processes},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {285--303},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/KleistS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/KuphermannV98,
  author       = {Orna Kupferman and
                  Moshe Y. Vardi},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Relating linear and branching model checking},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {304--326},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/KuphermannV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/Leino98,
  author       = {K. Rustan M. Leino},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Extended static checking},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {1--2},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/Leino98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/LiuRL98,
  author       = {Zhiming Liu and
                  Anders P. Ravn and
                  Xiaoshan Li},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Verifying duration properties of timed transition systems},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {327--345},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Sat, 03 May 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/procomet/LiuRL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/MorealeFL98,
  author       = {Michele Boreale and
                  C{\'{e}}dric Fournet and
                  Cosimo Laneve},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Bisimulations in the join-calculus},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {68--86},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Wed, 23 Aug 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/procomet/MorealeFL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/Naumann98,
  author       = {David A. Naumann},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Towards squiggly refinement algebra},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {346--365},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/Naumann98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/PandyaWX98,
  author       = {Paritosh K. Pandya and
                  H.{-}P. Wang and
                  Qiwen Xu},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Toward a theory of sequential hybrid programs},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {366--384},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/PandyaWX98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/PeraireBB98,
  author       = {C{\'{e}}cile P{\'{e}}raire and
                  St{\'{e}}phane Barbey and
                  Didier Buchs},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Test selection for object-oriented software based on formal specifications},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {385--403},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/PeraireBB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/Poetzsch-HeffterM98,
  author       = {Arnd Poetzsch{-}Heffter and
                  Peter M{\"{u}}ller},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Logical foundations for typed object-oriented languages},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {404--423},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Wed, 01 Oct 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/procomet/Poetzsch-HeffterM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/QadeerS98,
  author       = {Shaz Qadeer and
                  Natarajan Shankar},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Verifying a self-stabilizing mutual exclusion algorithm},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {424--443},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/QadeerS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/QiuZ98,
  author       = {Z. Qiu and
                  C. Zhou},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {A combination of interval logic and linear temporal logic},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {444--461},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/QiuZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/Seger98,
  author       = {Carl{-}Johan H. Seger},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {From lattices to practical formal hardware verification},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {3--4},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/Seger98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/Wabenhorst98,
  author       = {Axel Wabenhorst},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {A model of real-time distributed systems},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {462--482},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/Wabenhorst98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/procomet/Warren98,
  author       = {David Scott Warren},
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Programming with tabling in {XSB}},
  booktitle    = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  pages        = {5--6},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/Warren98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/procomet/1998,
  editor       = {David Gries and
                  Willem P. de Roever},
  title        = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
                  Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
                  June 1998, Shelter Island, New York, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {125},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  isbn         = {0-412-83760-9},
  timestamp    = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/procomet/1998.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.