Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tapsoft/tapsoft97.bht:"
download as .bib file
@inproceedings{DBLP:conf/tapsoft/AbadiL97,
author = {Mart{\'{\i}}n Abadi and
K. Rustan M. Leino},
editor = {Michel Bidoit and
Max Dauchet},
title = {A Logic of Object-Oriented Programs},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {682--696},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030634},
doi = {10.1007/BFB0030634},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/AbadiL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/AlessiBH97,
author = {Fabio Alessi and
Paolo Baldan and
Furio Honsell},
editor = {Michel Bidoit and
Max Dauchet},
title = {Partializing Stone Spaces using {SFP} Domains (Extended Abstract)},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {478--489},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030620},
doi = {10.1007/BFB0030620},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/AlessiBH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/AmanissHL97,
author = {Ali Amaniss and
Miki Hermann and
Denis Lugiez},
editor = {Michel Bidoit and
Max Dauchet},
title = {Set Operations for Recurrent Term Schematizations},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {333--344},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030608},
doi = {10.1007/BFB0030608},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/AmanissHL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/AndersenSM97,
author = {Henrik Reif Andersen and
J{\o}rgen Staunstrup and
Niels Maretti},
editor = {Michel Bidoit and
Max Dauchet},
title = {A Comparison of Modular Verification Techniques},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {550--564},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030625},
doi = {10.1007/BFB0030625},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/AndersenSM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/AndreB97,
author = {Yves Andre and
Francis Bossut},
editor = {Michel Bidoit and
Max Dauchet},
title = {Word-into-Tree Transducers with Bounded Difference},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {177--188},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030595},
doi = {10.1007/BFB0030595},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/AndreB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Arenas-SanchezR97,
author = {Puri Arenas{-}S{\'{a}}nchez and
Mario Rodr{\'{\i}}guez{-}Artalejo},
editor = {Michel Bidoit and
Max Dauchet},
title = {A Semantic Framework for Functional Logic Programming with Algebraic
Polymorphic Types},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {453--464},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030618},
doi = {10.1007/BFB0030618},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Arenas-SanchezR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/ArtsG97,
author = {Thomas Arts and
J{\"{u}}rgen Giesl},
editor = {Michel Bidoit and
Max Dauchet},
title = {Automatically Proving Termination Where Simplification Orderings Fail},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {261--272},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030602},
doi = {10.1007/BFB0030602},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/ArtsG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/AstesianoR97,
author = {Egidio Astesiano and
Gianna Reggio},
editor = {Michel Bidoit and
Max Dauchet},
title = {Formalism and Method},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {93--114},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030590},
doi = {10.1007/BFB0030590},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/AstesianoR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BaldamusD97,
author = {Michael Baldamus and
J{\"{u}}rgen Dingel},
editor = {Michel Bidoit and
Max Dauchet},
title = {Modal Characterization of Weak Bisimulation for Higher-order Processes
(Extended Abstract)},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {285--296},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030604},
doi = {10.1007/BFB0030604},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BaldamusD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BeauquierS97,
author = {Dani{\`{e}}le Beauquier and
Anatol Slissenko},
editor = {Michel Bidoit and
Max Dauchet},
title = {The Railroad Crossing Problem: Towards Semantics of Timed Algorithms
and Their Model Checking in High Level Languages},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {201--212},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030597},
doi = {10.1007/BFB0030597},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BeauquierS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BiermannR97,
author = {Iabelle Biermann and
Brigitte Rozoy},
editor = {Michel Bidoit and
Max Dauchet},
title = {Reliable Generalized and Context Dependent Commutation Relations},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {165--176},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030594},
doi = {10.1007/BFB0030594},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BiermannR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Bohm97,
author = {Corrado B{\"{o}}hm},
editor = {Michel Bidoit and
Max Dauchet},
title = {Theoretical Computer Science and Software Science: The Past, the Present
and the Future (Position Paper)},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {3--5},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030582},
doi = {10.1007/BFB0030582},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Bohm97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BonnierH97,
author = {Staffan Bonnier and
Tim Heyer},
editor = {Michel Bidoit and
Max Dauchet},
title = {{COMPASS:} {A} Comprehensible Assertion Method},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {803--817},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030642},
doi = {10.1007/BFB0030642},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BonnierH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BonoBDL97,
author = {Viviana Bono and
Michele Bugliesi and
Mariangiola Dezani{-}Ciancaglini and
Luigi Liquori},
editor = {Michel Bidoit and
Max Dauchet},
title = {Subtyping Constraints for Incomplete Objects (Extended Abstract)},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {465--477},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030619},
doi = {10.1007/BFB0030619},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BonoBDL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BouhoulaJM97,
author = {Adel Bouhoula and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
editor = {Michel Bidoit and
Max Dauchet},
title = {Specification and Proof in Membership Equational Logic},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {67--92},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030589},
doi = {10.1007/BFB0030589},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BouhoulaJM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Breugel97,
author = {Franck van Breugel},
editor = {Michel Bidoit and
Max Dauchet},
title = {A Labelled Transition Systems for pi-epsilon-Calculus},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {321--332},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030607},
doi = {10.1007/BFB0030607},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Breugel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Caron97,
author = {Pascal Caron},
editor = {Michel Bidoit and
Max Dauchet},
title = {{AG:} {A} Set of Maple Packages for Symbolic Computing of Automata
and Semigroups},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {879--882},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030652},
doi = {10.1007/BFB0030652},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Caron97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Courant97,
author = {Judica{\"{e}}l Courant},
editor = {Michel Bidoit and
Max Dauchet},
title = {An Applicative Module Calculus},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {622--636},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030630},
doi = {10.1007/BFB0030630},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Courant97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/DidrichK97,
author = {Klaus Didrich and
Torsten Klein},
editor = {Michel Bidoit and
Max Dauchet},
title = {{DOSFOP} - {A} Documentation Tool for the Algebraic Programming Language
{OPAL}},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {875--878},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030651},
doi = {10.1007/BFB0030651},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/DidrichK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Donat97,
author = {Michael R. Donat},
editor = {Michel Bidoit and
Max Dauchet},
title = {Automating Formal Specification-Based Testing},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {833--847},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030644},
doi = {10.1007/BFB0030644},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Donat97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/EhrigM97,
author = {Hartmut Ehrig and
Bernd Mahr},
editor = {Michel Bidoit and
Max Dauchet},
title = {Future Trends of {TAPSOFT}},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {6--10},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030583},
doi = {10.1007/BFB0030583},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/EhrigM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/EmersonT97,
author = {E. Allen Emerson and
Richard J. Trefler},
editor = {Michel Bidoit and
Max Dauchet},
title = {Generalized Quantitative Temporal Reasoning: An Automata Theoretic
Approach},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {189--200},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030596},
doi = {10.1007/BFB0030596},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/EmersonT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/FiadeiroL97,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
editor = {Michel Bidoit and
Max Dauchet},
title = {Semantics of Architectural Connectors},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {505--519},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030622},
doi = {10.1007/BFB0030622},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/FiadeiroL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/GenetG97,
author = {Thomas Genet and
Isabelle Gnaedig},
editor = {Michel Bidoit and
Max Dauchet},
title = {Termination Proofs Using gpo Ordering Constraints},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {249--260},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030601},
doi = {10.1007/BFB0030601},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/GenetG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/GeserMOZ97,
author = {Alfons Geser and
Aart Middeldorp and
Enno Ohlebusch and
Hans Zantema},
editor = {Michel Bidoit and
Max Dauchet},
title = {Relative Undecidability in the Termination Hierarchy of Single Rewrite
Rules},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {237--248},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030600},
doi = {10.1007/BFB0030600},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/GeserMOZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Goubault97,
author = {Eric Goubault},
editor = {Michel Bidoit and
Max Dauchet},
title = {Optimal Implementation of Wait-Free Binary Relations},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {225--236},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030599},
doi = {10.1007/BFB0030599},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Goubault97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/HeiselL97,
author = {Maritta Heisel and
Nicole L{\'{e}}vy},
editor = {Michel Bidoit and
Max Dauchet},
title = {Using {LOTOS} Patterns to Characterize Architectural Styles},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {818--832},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030643},
doi = {10.1007/BFB0030643},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/HeiselL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/HenkeLS97,
author = {Friedrich W. von Henke and
Marko Luther and
Martin Strecker},
editor = {Michel Bidoit and
Max Dauchet},
title = {Typelab: An Environment for Modular Program Development},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {851--854},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030645},
doi = {10.1007/BFB0030645},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/HenkeLS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/IlieA97,
author = {Jean{-}Michel Ili{\'{e}} and
Khalil Ajami},
editor = {Michel Bidoit and
Max Dauchet},
title = {Model Checking Through Symbolic Reachability Graph},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {213--224},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030598},
doi = {10.1007/BFB0030598},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/IlieA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/IyerN97,
author = {S. Purushothaman Iyer and
Murali Narasimha},
editor = {Michel Bidoit and
Max Dauchet},
title = {Probabilistic Lossy Channel Systems},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {667--681},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030633},
doi = {10.1007/BFB0030633},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/IyerN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Jacobs97,
author = {Bart Jacobs},
editor = {Michel Bidoit and
Max Dauchet},
title = {Behaviour-Refinement of Coalgebraic Specifications with Coinductive
Correctness Proofs},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {787--802},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030641},
doi = {10.1007/BFB0030641},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Jacobs97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/KolyangLMW97,
author = {Kolyang and
Christoph L{\"{u}}th and
Thomas Meyer and
Burkhart Wolff},
editor = {Michel Bidoit and
Max Dauchet},
title = {{TAS} and IsaWin: Generic Interfaces for Transformational Program
Development and Theorem Proving},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {855--858},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030646},
doi = {10.1007/BFB0030646},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tapsoft/KolyangLMW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/KovacL97,
author = {Tomas Kovacs and
Andrzej Lingas},
editor = {Michel Bidoit and
Max Dauchet},
title = {Maximum Packing for Biconnected Outerplanar Graphs},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {393--404},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030613},
doi = {10.1007/BFB0030613},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/KovacL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/KristoffersenLLPY97,
author = {K{\aa}re J. Kristoffersen and
Fran{\c{c}}ois Laroussinie and
Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
editor = {Michel Bidoit and
Max Dauchet},
title = {A Compositional Proof of a Real-Time Mutual Exclusion Protocol},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {565--579},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030626},
doi = {10.1007/BFB0030626},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/KristoffersenLLPY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/LeavensW97,
author = {Gary T. Leavens and
Jeannette M. Wing},
editor = {Michel Bidoit and
Max Dauchet},
title = {Protective Interface Specifications},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {520--534},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030623},
doi = {10.1007/BFB0030623},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/LeavensW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/LeivantM97,
author = {Daniel Leivant and
Jean{-}Yves Marion},
editor = {Michel Bidoit and
Max Dauchet},
title = {Predicative Functional Recurrence and Poly-space},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {369--380},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030611},
doi = {10.1007/BFB0030611},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/LeivantM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Lenisa97,
author = {Marina Lenisa},
editor = {Michel Bidoit and
Max Dauchet},
title = {A Uniform Syntactical Method for Proving Coinduction Principles in
Lambda-Calculi},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {309--320},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030606},
doi = {10.1007/BFB0030606},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Lenisa97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/LevinP97,
author = {Vladimir Levin and
Doron A. Peled},
editor = {Michel Bidoit and
Max Dauchet},
title = {Verification of Message Sequence Charts via Template Matching},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {652--666},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030632},
doi = {10.1007/BFB0030632},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/LevinP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Liang97,
author = {Chuck C. Liang},
editor = {Michel Bidoit and
Max Dauchet},
title = {Let-Polymorphism and Eager Type Schemes},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {490--501},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030621},
doi = {10.1007/BFB0030621},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tapsoft/Liang97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/LimetR97,
author = {S{\'{e}}bastien Limet and
Pierre R{\'{e}}ty},
editor = {Michel Bidoit and
Max Dauchet},
title = {E-Unification by Means of Tree Tuple Synchronized Grammars},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {429--440},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030616},
doi = {10.1007/BFB0030616},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/LimetR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Maibaum97,
author = {T. S. E. Maibaum},
editor = {Michel Bidoit and
Max Dauchet},
title = {Conservative Extensions, Interpretations Between Theories and All
That!},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {40--66},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030588},
doi = {10.1007/BFB0030588},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Maibaum97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/MantaciM97,
author = {Sabrina Mantaci and
Daniele Micciancio},
editor = {Michel Bidoit and
Max Dauchet},
title = {An Algorithm for the Solution of Tree Equations},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {417--428},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030615},
doi = {10.1007/BFB0030615},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tapsoft/MantaciM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/MartinK97,
author = {Jonathan C. Martin and
Andy King},
editor = {Michel Bidoit and
Max Dauchet},
title = {Generating Efficient, Terminating Logic Programs},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {273--284},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030603},
doi = {10.1007/BFB0030603},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/MartinK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/May97,
author = {Wolfgang May},
editor = {Michel Bidoit and
Max Dauchet},
title = {Specifying Complex and Structured Systems with Evolving Algebras},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {535--549},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030624},
doi = {10.1007/BFB0030624},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/May97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/MikusiakAS97,
author = {Lubos Mikusiak and
Miroslav Ad{\'{a}}my and
Thomas Seidmann},
editor = {Michel Bidoit and
Max Dauchet},
title = {Publishing Formal Specifications in {Z} Notation on World Wide Web},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {871--874},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030650},
doi = {10.1007/BFB0030650},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/MikusiakAS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Moreau97,
author = {Luc Moreau},
editor = {Michel Bidoit and
Max Dauchet},
title = {A Syntactic Theory of Dynamic Binding},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {727--741},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030637},
doi = {10.1007/BFB0030637},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tapsoft/Moreau97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Mosses97,
author = {Peter D. Mosses},
editor = {Michel Bidoit and
Max Dauchet},
title = {CoFI: The Common Framework Initiative for Algebraic Specification
and Development},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {115--137},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030591},
doi = {10.1007/BFB0030591},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tapsoft/Mosses97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/MullerN97,
author = {Olaf M{\"{u}}ller and
Tobias Nipkow},
editor = {Michel Bidoit and
Max Dauchet},
title = {Traces of I/O-Automata in Isabelle/HOLCF},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {580--594},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030627},
doi = {10.1007/BFB0030627},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/MullerN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/MullerNP97,
author = {Martin M{\"{u}}ller and
Joachim Niehren and
Andreas Podelski},
editor = {Michel Bidoit and
Max Dauchet},
title = {Inclusion Constraints over Non-empty Sets of Trees},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {345--356},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030609},
doi = {10.1007/BFB0030609},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/MullerNP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/MuthD97,
author = {Robert Muth and
Saumya K. Debray},
editor = {Michel Bidoit and
Max Dauchet},
title = {On the Complexity of Function Pointer May-Alias Analysis},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {381--392},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030612},
doi = {10.1007/BFB0030612},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/MuthD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/NicolaFP97,
author = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Rosario Pugliese},
editor = {Michel Bidoit and
Max Dauchet},
title = {Locality Based Linda: Programming with Explicit Localities},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {712--726},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030636},
doi = {10.1007/BFB0030636},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/NicolaFP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Nivat97,
author = {Maurice Nivat},
editor = {Michel Bidoit and
Max Dauchet},
title = {New Challenges for Theoretical Computer Science},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {11--14},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030584},
doi = {10.1007/BFB0030584},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Nivat97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/PhillipsS97,
author = {Jan Phillips and
Peter Scholz},
editor = {Michel Bidoit and
Max Dauchet},
title = {Compositional Specification of Embedded Systems with Statecharts},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {637--651},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030631},
doi = {10.1007/BFB0030631},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/PhillipsS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/ReifSS97,
author = {Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
editor = {Michel Bidoit and
Max Dauchet},
title = {Proving System Correctness with {KIV}},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {859--862},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030647},
doi = {10.1007/BFB0030647},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/ReifSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/RensinkG97,
author = {Arend Rensink and
Roberto Gorrieri},
editor = {Michel Bidoit and
Max Dauchet},
title = {Action Refinement as an Implementation Relations},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {772--786},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030640},
doi = {10.1007/BFB0030640},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/RensinkG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/RichtersG97,
author = {Mark Richters and
Martin Gogolla},
editor = {Michel Bidoit and
Max Dauchet},
title = {A Web-based Animator for Object Specifications in a Persistent Environment},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {867--870},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030649},
doi = {10.1007/BFB0030649},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/RichtersG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/SalinierS97,
author = {Bruno Salinier and
Robert Strandh},
editor = {Michel Bidoit and
Max Dauchet},
title = {Simulating Forward-Branching Systems with Constructor Systems},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {153--164},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030593},
doi = {10.1007/BFB0030593},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/SalinierS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Sanella97,
author = {Donald Sannella},
editor = {Michel Bidoit and
Max Dauchet},
title = {What Does the Future Hold for Theoretical Computer Science?},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {15--19},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030585},
doi = {10.1007/BFB0030585},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Sanella97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Schreiber97,
author = {Thomas Schreiber},
editor = {Michel Bidoit and
Max Dauchet},
title = {Auxiliary Variables and Recursive Procedures},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {697--711},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030635},
doi = {10.1007/BFB0030635},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Schreiber97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Schubert97,
author = {Aleksy Schubert},
editor = {Michel Bidoit and
Max Dauchet},
title = {Linear Interpolation for the Higher-Order Matching Problem},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {441--452},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030617},
doi = {10.1007/BFB0030617},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Schubert97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/SeynhaeveTT97,
author = {Franck Seynhaeve and
Marc Tommasi and
Ralf Treinen},
editor = {Michel Bidoit and
Max Dauchet},
title = {Grid Structure and Undecidable Constraint Theories},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {357--368},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030610},
doi = {10.1007/BFB0030610},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/SeynhaeveTT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Talpin97,
author = {Jean{-}Pierre Talpin},
editor = {Michel Bidoit and
Max Dauchet},
title = {Reactive Types},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {595--606},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030628},
doi = {10.1007/BFB0030628},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Talpin97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Thiemann97,
author = {Peter Thiemann},
editor = {Michel Bidoit and
Max Dauchet},
title = {A Unified Framework for Binding-Time Analysis},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {742--756},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030638},
doi = {10.1007/BFB0030638},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tapsoft/Thiemann97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Thomas97,
author = {Wolfgang Thomas},
editor = {Michel Bidoit and
Max Dauchet},
title = {Automata Theory on Trees and Partial Orders},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {20--38},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030586},
doi = {10.1007/BFB0030586},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Thomas97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/TorreNP97,
author = {Salvatore La Torre and
Margherita Napoli and
Mimmo Parente},
editor = {Michel Bidoit and
Max Dauchet},
title = {Synchronization of a Line of Identical Processors at a Given Time},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {405--416},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030614},
doi = {10.1007/BFB0030614},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/TorreNP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/UlidowskiP97,
author = {Irek Ulidowski and
Iain C. C. Phillips},
editor = {Michel Bidoit and
Max Dauchet},
title = {Formats of Ordered {SOS} Rules with Silent Actions},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {297--308},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030605},
doi = {10.1007/BFB0030605},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tapsoft/UlidowskiP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Vaandrager97,
author = {Frits W. Vaandrager},
editor = {Michel Bidoit and
Max Dauchet},
title = {A Theory of Testing for Timed Automata (Abstract)},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {39},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030587},
doi = {10.1007/BFB0030587},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Vaandrager97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Voisin97,
author = {Fr{\'{e}}d{\'{e}}ric Voisin},
editor = {Michel Bidoit and
Max Dauchet},
title = {A new Proof-Manager and Graphic Interface for the Larch Prover},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {863--866},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030648},
doi = {10.1007/BFB0030648},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Voisin97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/VolpanoS97,
author = {Dennis M. Volpano and
Geoffrey Smith},
editor = {Michel Bidoit and
Max Dauchet},
title = {A Type-Based Approach to Program Security},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {607--621},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030629},
doi = {10.1007/BFB0030629},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/VolpanoS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/WellsDMT97,
author = {J. B. Wells and
Allyn Dimock and
Robert Muller and
Franklyn A. Turbak},
editor = {Michel Bidoit and
Max Dauchet},
title = {A Typed Intermediate Language for Flow-Directed Compilation},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {757--771},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030639},
doi = {10.1007/BFB0030639},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/WellsDMT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/YamadaALM97,
author = {Toshiyuki Yamada and
J{\"{u}}rgen Avenhaus and
Carlos Lor{\'{\i}}a{-}S{\'{a}}enz and
Aart Middeldorp},
editor = {Michel Bidoit and
Max Dauchet},
title = {Logicality of Conditional Rewrite Systems},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {141--152},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030592},
doi = {10.1007/BFB0030592},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/YamadaALM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapsoft/1997,
editor = {Michel Bidoit and
Max Dauchet},
title = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030581},
doi = {10.1007/BFB0030581},
isbn = {3-540-62781-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-24 20:29 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
