Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/tacs:"
download as .bib file
@inproceedings{DBLP:conf/tacs/AbadiJ01,
author = {Mart{\'{\i}}n Abadi and
Jan J{\"{u}}rjens},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Formal Eavesdropping and Its Computational Interpretation},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {82--94},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_4},
doi = {10.1007/3-540-45500-0\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/AbadiJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/BanerjeeHR01,
author = {Anindya Banerjee and
Nevin Heintze and
Jon G. Riecke},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Design and Correctness of Program Transformations Based on Control-Flow
Analysis},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {420--447},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_21},
doi = {10.1007/3-540-45500-0\_21},
timestamp = {Thu, 22 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacs/BanerjeeHR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Beringer01,
author = {Lennart Beringer},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Typing Assembly Programs with Explicit Forwarding},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {514--534},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_26},
doi = {10.1007/3-540-45500-0\_26},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Beringer01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/BonsangueK01,
author = {Marcello M. Bonsangue and
Joost N. Kok},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Infinite Intersection and Union Types for the Lazy Lambda Calculus},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {448--458},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_22},
doi = {10.1007/3-540-45500-0\_22},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/BonsangueK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/BugliesiCC01,
author = {Michele Bugliesi and
Giuseppe Castagna and
Silvia Crafa},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Boxed Ambients},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {38--63},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_2},
doi = {10.1007/3-540-45500-0\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/BugliesiCC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/CairesC01,
author = {Lu{\'{\i}}s Caires and
Luca Cardelli},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {A Spatial Logic for Concurrency},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {1--37},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_1},
doi = {10.1007/3-540-45500-0\_1},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/CairesC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/EsparzaKS01,
author = {Javier Esparza and
Anton{\'{\i}}n Kucera and
Stefan Schwoon},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Model-Checking {LTL} with Regular Valuations for Pushdown Systems},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {316--339},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_16},
doi = {10.1007/3-540-45500-0\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/EsparzaKS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Franzle01,
author = {Martin Fr{\"{a}}nzle},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {What Will Be Eventually True of Polynomial Hybrid Automata?},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {340--359},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_17},
doi = {10.1007/3-540-45500-0\_17},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Franzle01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/GalmicheM01,
author = {Didier Galmiche and
Daniel M{\'{e}}ry},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Proof-Search and Countermodel Generation in Propositional {BI} Logic},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {263--282},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_13},
doi = {10.1007/3-540-45500-0\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/GalmicheM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Hamana01,
author = {Makoto Hamana},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {A Logic Programming Language Based on Binding Algebras},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {243--262},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_12},
doi = {10.1007/3-540-45500-0\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Hamana01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/HoshinaSY01,
author = {Daisuke Hoshina and
Eijiro Sumii and
Akinori Yonezawa},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {A Typed Process Calculus for Fine-Grained Resource Access Control
in Distributed Computation},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {64--81},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_3},
doi = {10.1007/3-540-45500-0\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/HoshinaSY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/JacksonF01,
author = {Daniel Jackson and
Alan D. Fekete},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Lightweight Analysis of Object Interactions},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {492--513},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_25},
doi = {10.1007/3-540-45500-0\_25},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/JacksonF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/KonigM01,
author = {Barbara K{\"{o}}nig and
Ugo Montanari},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Observational Equivalence for Synchronized Graph Rewriting with Mobility},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {145--164},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_7},
doi = {10.1007/3-540-45500-0\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/KonigM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/LanevePV01,
author = {Cosimo Laneve and
Joachim Parrow and
Bj{\"{o}}rn Victor},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Solo Diagrams},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {127--144},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_6},
doi = {10.1007/3-540-45500-0\_6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/LanevePV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Leivant01,
author = {Daniel Leivant},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Termination Proofs and Complexity Certification},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {183--200},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_9},
doi = {10.1007/3-540-45500-0\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Leivant01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Martin01,
author = {Keye Martin},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {A Renee Equation for Algorithmic Complexity},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {201--218},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_10},
doi = {10.1007/3-540-45500-0\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Martin01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Nakano01,
author = {Hiroshi Nakano},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {165--182},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_8},
doi = {10.1007/3-540-45500-0\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Nakano01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/NiehrenP01,
author = {Joachim Niehren and
Tim Priesnitz},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Non-structural Subtype Entailment in Automata Theory},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {360--384},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_18},
doi = {10.1007/3-540-45500-0\_18},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/NiehrenP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Ogawa01,
author = {Mizuhito Ogawa},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Generation of a Linear Time Query Processing Algorithm Based on Well-Quasi-Orders},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {283--297},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_14},
doi = {10.1007/3-540-45500-0\_14},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Ogawa01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Paulin-Mohring01,
author = {Christine Paulin{-}Mohring},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Modelisation of Timed Automata in Coq},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {298--315},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_15},
doi = {10.1007/3-540-45500-0\_15},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Paulin-Mohring01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/PierceV01,
author = {Benjamin C. Pierce and
Jerome Vouillon},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Unison: {A} File Synchronizer and Its Specification},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {560},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_28},
doi = {10.1007/3-540-45500-0\_28},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/PierceV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Pitts01,
author = {Andrew M. Pitts},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Nominal Logic: {A} First Order Theory of Names and Binding},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {219--242},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_11},
doi = {10.1007/3-540-45500-0\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Pitts01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Puhakka01,
author = {Antti Puhakka},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Weakest Congruence Results Concerning "Any-Lock"},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {400--419},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_20},
doi = {10.1007/3-540-45500-0\_20},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Puhakka01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Schnoebelen01,
author = {Philippe Schnoebelen},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Bisimulation and Other Undecidable Equivalences for Lossy Channel
Systems},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {385--399},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_19},
doi = {10.1007/3-540-45500-0\_19},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Schnoebelen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/SerjantovSW01,
author = {Andrei Serjantov and
Peter Sewell and
Keith Wansbrough},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {The {UDP} Calculus: Rigorous Semantics for Real Networking},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {535--559},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_27},
doi = {10.1007/3-540-45500-0\_27},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/SerjantovSW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Ueda01,
author = {Kazunori Ueda},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Resource-Passing Concurrent Programming},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {95--126},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_5},
doi = {10.1007/3-540-45500-0\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Ueda01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Wadler01,
author = {Philip Wadler},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {The Girard-Reynolds Isomorphism},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {468--491},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_24},
doi = {10.1007/3-540-45500-0\_24},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Wadler01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Yamagata01,
author = {Yoriyuki Yamagata},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Strong Normalization of Second Order Symmetric Lambda-mu Calculus},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {459--467},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_23},
doi = {10.1007/3-540-45500-0\_23},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Yamagata01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacs/2001,
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0},
doi = {10.1007/3-540-45500-0},
isbn = {3-540-42736-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Abadi97,
author = {Mart{\'{\i}}n Abadi},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Secrecy by Typing inSecurity Protocols},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {611--638},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014571},
doi = {10.1007/BFB0014571},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Abadi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/AbramskyGN97,
author = {Samson Abramsky and
Simon J. Gay and
Rajagopal Nagarajan},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {295--320},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014557},
doi = {10.1007/BFB0014557},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacs/AbramskyGN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/AikenWP97,
author = {Alexander Aiken and
Edward L. Wimmers and
Jens Palsberg},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Optimal Representations of Polymorphic Types with Subtyping (Extended
Abstract)},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {47--76},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014547},
doi = {10.1007/BFB0014547},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/AikenWP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/AriolaB97,
author = {Zena M. Ariola and
Stefan Blom},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Cyclic Lambda Calculi},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {77--106},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014548},
doi = {10.1007/BFB0014548},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/AriolaB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/BarbaneraBS97,
author = {Franco Barbanera and
Stefano Berardi and
Massimo Schivalocchi},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {"Classical" Programming-with-Proofs in lambda\({}_{\mbox{PA}}\)\({}^{\mbox{Sym}}\):
An Analysis of Non-confluence},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {365--390},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014559},
doi = {10.1007/BFB0014559},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/BarbaneraBS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/BirkedalH97,
author = {Lars Birkedal and
Robert Harper},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Relational Interpretations of Recursive Types in an operational Setting
(Summary)},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {458--490},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014563},
doi = {10.1007/BFB0014563},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/BirkedalH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/BonsangueK97,
author = {Marcello M. Bonsangue and
Joost N. Kok},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Infinitary Domain Logic for Finitary Transition Systems},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {213--232},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014553},
doi = {10.1007/BFB0014553},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/BonsangueK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Boutin97,
author = {Samuel Boutin},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Using Reflection to Build Efficient and Certified Decision Procedures},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {515--529},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014565},
doi = {10.1007/BFB0014565},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Boutin97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/BruceCP97,
author = {Kim B. Bruce and
Luca Cardelli and
Benjamin C. Pierce},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Comparing Object Encodings},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {415--438},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014561},
doi = {10.1007/BFB0014561},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacs/BruceCP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/CoppoDG97,
author = {Mario Coppo and
Ferruccio Damiani and
Paola Giannini},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {On Strictness and Totality},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {138--164},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014550},
doi = {10.1007/BFB0014550},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacs/CoppoDG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/GardnerH97,
author = {Philippa Gardner and
Masahito Hasegawa},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Types and Models for Higher-Order Action Calculi},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {583--603},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014569},
doi = {10.1007/BFB0014569},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/GardnerH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/GarrigueR97,
author = {Jacques Garrigue and
Didier R{\'{e}}my},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Extending {ML} with Semi-Explicit Higher-Order Polymorphism},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {20--46},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014546},
doi = {10.1007/BFB0014546},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/GarrigueR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/HuetL97,
author = {G{\'{e}}rard P. Huet and
Henri Laulh{\`{e}}re},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Finite-State Transducers as Regular B{\"{o}}hm Trees},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {604--610},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014570},
doi = {10.1007/BFB0014570},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/HuetL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/KinoshitaOPTT97,
author = {Yoshiki Kinoshita and
Peter W. O'Hearn and
John Power and
Makoto Takeyama and
Robert D. Tennent},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {An Axiomatic Approach to Binary Logical Relations with Applications
to Data Refinement},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {191--212},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014552},
doi = {10.1007/BFB0014552},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/KinoshitaOPTT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/LawallT97,
author = {Julia L. Lawall and
Peter Thiemann},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Sound Specialization in the Presence of Computational Effects},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {165--190},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014551},
doi = {10.1007/BFB0014551},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacs/LawallT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Levy97,
author = {Jean{-}Jacques L{\'{e}}vy},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Some Results in the Joint-Calculus},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {233--249},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014554},
doi = {10.1007/BFB0014554},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Levy97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Matthews97,
author = {Se{\'{a}}n Matthews},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Extending a Logical Framework with a Modal Connective for Validity},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {491--514},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014564},
doi = {10.1007/BFB0014564},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Matthews97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Mayr97,
author = {Richard Mayr},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Combining Petri Nets and PA-Processes},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {547--561},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014567},
doi = {10.1007/BFB0014567},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Mayr97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Milner97,
author = {Robin Milner},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Strong Normalisation in Higher-Order Action Calculi},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {1--19},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014545},
doi = {10.1007/BFB0014545},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Milner97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Ohori97,
author = {Atsushi Ohori},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Type System for Specializing Polymorphism},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {107--137},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014549},
doi = {10.1007/BFB0014549},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Ohori97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Poll97,
author = {Erik Poll},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {System {F} with Width-Subtyping and Record Updating},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {439--457},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014562},
doi = {10.1007/BFB0014562},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Poll97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/PowerT97,
author = {John Power and
Hayo Thielecke},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Environments, Continuation Semantics and Indexed Categories},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {391--414},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014560},
doi = {10.1007/BFB0014560},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/PowerT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/RathkeH97,
author = {Julian Rathke and
Matthew Hennessy},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Local Model Checking for Value-Passing Processes (Extended Abstract)},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {250--266},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014555},
doi = {10.1007/BFB0014555},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/RathkeH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/SereW97,
author = {Kaisa Sere and
Marina Wald{\'{e}}n},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Data Refinement and Remote Procedures},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {267--294},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014556},
doi = {10.1007/BFB0014556},
timestamp = {Tue, 15 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacs/SereW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Talcott97,
author = {Carolyn L. Talcott},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Composable Semantic Models for Actor Theories},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {321--364},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014558},
doi = {10.1007/BFB0014558},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Talcott97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Werner97,
author = {Benjamin Werner},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Sets in Types, Types in Sets},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {530--346},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014566},
doi = {10.1007/BFB0014566},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Werner97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/YamaneN97,
author = {Satoshi Yamane and
Kazuhiro Nakamura},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Symbolic Model-Checking Method Based on Approximations and Binary
Decision Diagrams for Real-Time Systems},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {562--582},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014568},
doi = {10.1007/BFB0014568},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/YamaneN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacs/1997,
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014544},
doi = {10.1007/BFB0014544},
isbn = {3-540-63388-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/AbadiC94,
author = {Mart{\'{\i}}n Abadi and
Luca Cardelli},
editor = {Masami Hagiya and
John C. Mitchell},
title = {A Theory of Primitive Objects - Untyped and First-Order Systems},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {296--320},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_101},
doi = {10.1007/3-540-57887-0\_101},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/AbadiC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/AbramskyMJ94,
author = {Samson Abramsky and
Pasquale Malacaria and
Radha Jagadeesan},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Full Abstraction for {PCF}},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {1--15},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_87},
doi = {10.1007/3-540-57887-0\_87},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacs/AbramskyMJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/AriolaKKSV94,
author = {Zena M. Ariola and
Richard Kennaway and
Jan Willem Klop and
M. Ronan Sleep and
Fer{-}Jan de Vries},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Syntactic Definitions of Undefined: On Defining the Undefined},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {543--554},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_114},
doi = {10.1007/3-540-57887-0\_114},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/AriolaKKSV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/AspertiL94,
author = {Andrea Asperti and
Cosimo Laneve},
editor = {Masami Hagiya and
John C. Mitchell},
title = {The Family Relation in Interaction Systems},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {366--384},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_105},
doi = {10.1007/3-540-57887-0\_105},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/AspertiL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/BarbaneraB94,
author = {Franco Barbanera and
Stefano Berardi},
editor = {Masami Hagiya and
John C. Mitchell},
title = {A Symmetric Lambda Calculus for "Classical" Program Extraction},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {495--515},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_112},
doi = {10.1007/3-540-57887-0\_112},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/BarbaneraB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/BertotKT94,
author = {Yves Bertot and
Gilles Kahn and
Laurent Th{\'{e}}ry},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Proof by Pointing},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {141--160},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_94},
doi = {10.1007/3-540-57887-0\_94},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/BertotKT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/BolignanoD94,
author = {Dominique Bolignano and
Mourad Debbabi},
editor = {Masami Hagiya and
John C. Mitchell},
title = {A Semantic Theory for Concurrent {ML}},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {766--785},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_124},
doi = {10.1007/3-540-57887-0\_124},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/BolignanoD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/BonsangueK94,
author = {Marcello M. Bonsangue and
Joost N. Kok},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Relating Multifunctions and Predicate Transformers through Closure
Operators},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {822--843},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_127},
doi = {10.1007/3-540-57887-0\_127},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/BonsangueK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Bosscher94,
author = {D. J. B. Bosscher},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Term Rewriting Properties of {SOS} Axiomatisations},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {425--439},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_108},
doi = {10.1007/3-540-57887-0\_108},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Bosscher94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/CartwrightF94,
author = {Robert Cartwright and
Matthias Felleisen},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Extensible Denotational Language Specifications},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {244--272},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_99},
doi = {10.1007/3-540-57887-0\_99},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/CartwrightF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/ChenO94,
author = {Kung Chen and
Martin Odersky},
editor = {Masami Hagiya and
John C. Mitchell},
title = {A Type System for a Lambda Calculus with Assignments},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {347--364},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_103},
doi = {10.1007/3-540-57887-0\_103},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/ChenO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/DamianiG94,
author = {Ferruccio Damiani and
Paola Giannini},
editor = {Masami Hagiya and
John C. Mitchell},
title = {A Decidable Intersection Type System based on Relevance},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {707--725},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_122},
doi = {10.1007/3-540-57887-0\_122},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacs/DamianiG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Damm94,
author = {Flemming M. Damm},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Subtyping with Union Types, Intersection Types and Recursive Types},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {687--706},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_121},
doi = {10.1007/3-540-57887-0\_121},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Damm94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Dezani-CiancaglinidP94,
author = {Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro and
Adolfo Piperno},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Fully Abstract Semantics for Concurrent Lambda-calculus},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {16--35},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_88},
doi = {10.1007/3-540-57887-0\_88},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Dezani-CiancaglinidP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/FisherM94,
author = {Kathleen Fisher and
John C. Mitchell},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Notes on Typed Object-Oriented Programming},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {844--885},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_128},
doi = {10.1007/3-540-57887-0\_128},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/FisherM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Fokkink94,
author = {Wan J. Fokkink},
editor = {Masami Hagiya and
John C. Mitchell},
title = {The Tyft/Tyxt Format Reduces to Tree Rules},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {440--453},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_109},
doi = {10.1007/3-540-57887-0\_109},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Fokkink94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Gardner94,
author = {Philippa Gardner},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Discovering Needed Reductions Using Type Theory},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {555--574},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_115},
doi = {10.1007/3-540-57887-0\_115},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Gardner94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/GoltzGR94,
author = {Ursula Goltz and
Roberto Gorrieri and
Arend Rensink},
editor = {Masami Hagiya and
John C. Mitchell},
title = {On Syntactic and Semantic Action Refinement},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {385--404},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_106},
doi = {10.1007/3-540-57887-0\_106},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/GoltzGR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Hoa94,
author = {Alain Hui{-}Bon{-}Hoa},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Intuitionistic Resolution for a Logic Programming Language with Scoping
Constructs},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {121--140},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_93},
doi = {10.1007/3-540-57887-0\_93},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Hoa94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/HondaY94,
author = {Kohei Honda and
Nobuko Yoshida},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Replication in Concurrent Combinators},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {786--805},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_125},
doi = {10.1007/3-540-57887-0\_125},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacs/HondaY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/HoweS94,
author = {Douglas J. Howe and
Scott D. Stoller},
editor = {Masami Hagiya and
John C. Mitchell},
title = {An Operational Approach to Combining Classical Set Theory and Functional
Programming Languages},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {36--55},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_89},
doi = {10.1007/3-540-57887-0\_89},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/HoweS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Huttel94,
author = {Hans H{\"{u}}ttel},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Undecidable Equivalences for Basic Parallel Processes},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {454--464},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_110},
doi = {10.1007/3-540-57887-0\_110},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacs/Huttel94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/IslamP94,
author = {Amitavo Islam and
Wesley Phoa},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Categorical Models of Relational Databases {I:} Fibrational Formulation,
Schema Integration},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {618--641},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_118},
doi = {10.1007/3-540-57887-0\_118},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/IslamP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Jones94,
author = {Mark P. Jones},
editor = {Masami Hagiya and
John C. Mitchell},
title = {{ML} Typing, Explicit Polymorphism and Qualified Types},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {56--75},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_90},
doi = {10.1007/3-540-57887-0\_90},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Jones94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/KanellakisG94,
author = {Paris C. Kanellakis and
Dina Q. Goldin},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Constraint Programming and Database Query Languages},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {96--120},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_92},
doi = {10.1007/3-540-57887-0\_92},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/KanellakisG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Kanovich94,
author = {Max I. Kanovich},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Petri Nets, Horn Programs, Linear Logic, and Vector Games},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {642--666},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_119},
doi = {10.1007/3-540-57887-0\_119},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Kanovich94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/KorverS94,
author = {Henri Korver and
Jan Springintveld},
editor = {Masami Hagiya and
John C. Mitchell},
title = {A Computer-Checked Verification of Milner's Scheduler},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {161--178},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_95},
doi = {10.1007/3-540-57887-0\_95},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/KorverS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/MannaP94,
author = {Zohar Manna and
Amir Pnueli},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Temporal Verification Diagrams},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {726--765},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_123},
doi = {10.1007/3-540-57887-0\_123},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/MannaP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Meyer94,
author = {Albert R. Meyer},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Observing Truly Concurrent Processes},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {886},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_129},
doi = {10.1007/3-540-57887-0\_129},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Meyer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/PeronM94,
author = {Adriano Peron and
Andrea Maggiolo{-}Schettini},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Transitions as Interrupts: {A} New Semantics for Timed Statecharts},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {806--821},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_126},
doi = {10.1007/3-540-57887-0\_126},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/PeronM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Rao94,
author = {M. R. K. Krishna Rao},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Simple Termination of Hierarchical Combinations of Term Rewriting
Systems},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {203--223},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_97},
doi = {10.1007/3-540-57887-0\_97},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Rao94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/RehofS94,
author = {Jakob Rehof and
Morten Heine S{\o}rensen},
editor = {Masami Hagiya and
John C. Mitchell},
title = {The Lambda\({}_{\mbox{Delta}}\)-calculus},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {516--542},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_113},
doi = {10.1007/3-540-57887-0\_113},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/RehofS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Remy94,
author = {Didier R{\'{e}}my},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Programming Objects with ML-ART, an Extension to {ML} with Abstract
and Record Types},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {321--346},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_102},
doi = {10.1007/3-540-57887-0\_102},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Remy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/RieckeS94,
author = {Jon G. Riecke and
Ramesh Subrahmanyam},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Extensions to Type Systems Can Preserve Operational Equivalences},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {76--95},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_91},
doi = {10.1007/3-540-57887-0\_91},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/RieckeS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Sangiorgi94,
author = {Davide Sangiorgi},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Locality and True-concurrency in Calculi for Mobile Processes},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {405--424},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_107},
doi = {10.1007/3-540-57887-0\_107},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Sangiorgi94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Sato94,
author = {Masahiko Sato},
editor = {Masami Hagiya and
John C. Mitchell},
title = {A Purely Functional Language with Encapsulated Assignment},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {179--202},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_96},
doi = {10.1007/3-540-57887-0\_96},
timestamp = {Sat, 28 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Sato94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/SekiguchiY94,
author = {Tatsurou Sekiguchi and
Akinori Yonezawa},
editor = {Masami Hagiya and
John C. Mitchell},
title = {A Complete Type Inference System for Subtyped Recursive Types},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {667--686},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_120},
doi = {10.1007/3-540-57887-0\_120},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/SekiguchiY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/TakahashiAH94,
author = {Masako Takahashi and
Yohji Akama and
Sachio Hirokawa},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Normal Proofs and Their Grammar},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {465--493},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_111},
doi = {10.1007/3-540-57887-0\_111},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/TakahashiAH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/TangJ94,
author = {Yan Mei Tang and
Pierre Jouvelot},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Separate Abstract Interpretation for Control-Flow Analysis},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {224--243},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_98},
doi = {10.1007/3-540-57887-0\_98},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/TangJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Tsuiki94,
author = {Hideki Tsuiki},
editor = {Masami Hagiya and
John C. Mitchell},
title = {A Normalizing Calculus with Overloading and Subtyping},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {273--295},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_100},
doi = {10.1007/3-540-57887-0\_100},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Tsuiki94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Vardi94,
author = {Moshe Y. Vardi},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Nontraditional Applications of Automata Theory},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {575--597},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_116},
doi = {10.1007/3-540-57887-0\_116},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Vardi94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Wagner94,
author = {Kim Ritter Wagner},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Abstract Pre-Orders},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {598--617},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_117},
doi = {10.1007/3-540-57887-0\_117},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Wagner94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Yonezawa94,
author = {Akinori Yonezawa},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Theory and Practice of Concurrent Object-Oriented Computing},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {365},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_104},
doi = {10.1007/3-540-57887-0\_104},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Yonezawa94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacs/1994,
editor = {Masami Hagiya and
John C. Mitchell},
title = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0},
doi = {10.1007/3-540-57887-0},
isbn = {3-540-57887-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/AbadiBKL91,
author = {Mart{\'{\i}}n Abadi and
Michael Burrows and
C. Kaufman and
Butler W. Lampson},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Authentication and Delegation with Smart-cards},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {326--345},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_53},
doi = {10.1007/3-540-54415-1\_53},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/AbadiBKL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/AptP91,
author = {Krzysztof R. Apt and
Dino Pedreschi},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Proving Termination of General Prolog Programs},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {265--289},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_50},
doi = {10.1007/3-540-54415-1\_50},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacs/AptP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Armbruster91,
author = {Dieter Armbruster},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Polynomial Recursion Analysis in Pascal Like Programs},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {447--458},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_58},
doi = {10.1007/3-540-54415-1\_58},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Armbruster91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Arun-KumarH91,
author = {S. Arun{-}Kumar and
Matthew Hennessy},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {An Efficiency Preorder for Processes},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {152--175},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_45},
doi = {10.1007/3-540-54415-1\_45},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Arun-KumarH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/BarbaneraD91,
author = {Franco Barbanera and
Mariangiola Dezani{-}Ciancaglini},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Intersection and Union Types},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {651--674},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_69},
doi = {10.1007/3-540-54415-1\_69},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/BarbaneraD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/BasinH91,
author = {David A. Basin and
Douglas J. Howe},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Some Normalization Properties of Martin-L{\"{o}}f's Type Theory,
and Applications},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {475--494},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_60},
doi = {10.1007/3-540-54415-1\_60},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/BasinH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/CardelliMMS91,
author = {Luca Cardelli and
Simone Martini and
John C. Mitchell and
Andre Scedrov},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {An Extension of System {F} with Subtyping},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {750--770},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_73},
doi = {10.1007/3-540-54415-1\_73},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacs/CardelliMMS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Constable91,
author = {Robert L. Constable},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Type Theory as a Foundation for Computer Science},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {226--243},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_48},
doi = {10.1007/3-540-54415-1\_48},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Constable91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/CurienG91,
author = {Pierre{-}Louis Curien and
Giorgio Ghelli},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Subtyping + Extensionality: Confluence of beta-eta-top reduction in
F\({}_{\mbox{{\textless}=}}\)},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {731--749},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_72},
doi = {10.1007/3-540-54415-1\_72},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/CurienG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/FuchiF91,
author = {Kazuhiro Fuchi and
Koichi Furukawa},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Role of Logic Programming in the {FGCS} Project},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {311--325},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_52},
doi = {10.1007/3-540-54415-1\_52},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/FuchiF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/GianniniR91,
author = {Paola Giannini and
Simona Ronchi Della Rocca},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Type Inference in Polymorphic Type Discipline},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {18--37},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_39},
doi = {10.1007/3-540-54415-1\_39},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacs/GianniniR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/GunterGM91,
author = {Carl A. Gunter and
Elsa L. Gunter and
David B. MacQueen},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {An Abstract Interpretation for {ML} Equality Kinds},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {112--130},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_43},
doi = {10.1007/3-540-54415-1\_43},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/GunterGM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Hagiya91,
author = {Masami Hagiya},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {From Programming-by-Example to Proving-by-Example},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {387--419},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_56},
doi = {10.1007/3-540-54415-1\_56},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Hagiya91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Hasegawa91,
author = {Ryu Hasegawa},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Parametricity of Extensionally Collapsed Term Models of Polymorphism
and Their Categorical Properties},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {495--512},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_61},
doi = {10.1007/3-540-54415-1\_61},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Hasegawa91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Hayashi91,
author = {Susumu Hayashi},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Singleton, Union and Intersection Types for Program Extraction},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {701--730},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_71},
doi = {10.1007/3-540-54415-1\_71},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Hayashi91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Hense91,
author = {Andreas V. Hense},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Wrapper Semantics of an Object-Oriented Programming Language with
State},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {548--568},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_64},
doi = {10.1007/3-540-54415-1\_64},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Hense91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Hirokawa91,
author = {Sachio Hirokawa},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Principal Type-Schemes of BCI-Lambda-Terms},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {633--650},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_68},
doi = {10.1007/3-540-54415-1\_68},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacs/Hirokawa91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Hungar91,
author = {Hardi Hungar},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Complexity of Proving Program Correctness},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {459--474},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_59},
doi = {10.1007/3-540-54415-1\_59},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Hungar91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/JimM91,
author = {Trevor Jim and
Albert R. Meyer},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Full Abstraction and the Context Lemma},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {131--151},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_44},
doi = {10.1007/3-540-54415-1\_44},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/JimM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/JonssonK91,
author = {Bengt Jonsson and
Joost N. Kok},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Towards a Complete Hierarchy of Compositional Dataflow Models},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {204--225},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_47},
doi = {10.1007/3-540-54415-1\_47},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/JonssonK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Kanovich91,
author = {Max I. Kanovich},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Efficient Program Synthesis: Semantics, Logic, Complexity},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {615--632},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_67},
doi = {10.1007/3-540-54415-1\_67},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Kanovich91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Lassez91,
author = {Jean{-}Louis Lassez},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {From {LP} to {LP:} Programming with Constraints},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {420--446},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_57},
doi = {10.1007/3-540-54415-1\_57},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Lassez91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Mitchell91,
author = {John C. Mitchell},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {On Abstraction and the Expressive Power of Programming Languages},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {290--310},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_51},
doi = {10.1007/3-540-54415-1\_51},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Mitchell91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Nishizaki91,
author = {Shin{-}ya Nishizaki},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Programs with Continuations and Linear Logic},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {513--531},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_62},
doi = {10.1007/3-540-54415-1\_62},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Nishizaki91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/PfeifferS91,
author = {Phil Pfeiffer and
Rebecca Parsons Selke},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {On the Adequacy of Dependence-Based Representations for Programs with
Heaps},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {365--386},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_55},
doi = {10.1007/3-540-54415-1\_55},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/PfeifferS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Phoa91,
author = {Wesley Phoa},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {From Term Models to Domains},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {88--111},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_42},
doi = {10.1007/3-540-54415-1\_42},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Phoa91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Plotkin91,
author = {Gordon D. Plotkin},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {A Semantics for Type Checking},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {1--17},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_38},
doi = {10.1007/3-540-54415-1\_38},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Plotkin91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/PnueliS91,
author = {Amir Pnueli and
M. Shalev},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {What is in a Step: On the Semantics of Statecharts},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {244--264},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_49},
doi = {10.1007/3-540-54415-1\_49},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/PnueliS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/RabinovichT91,
author = {Alexander Moshe Rabinovich and
Boris A. Trakhtenbrot},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {On Nets, Algebras and Modularity},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {176--203},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_46},
doi = {10.1007/3-540-54415-1\_46},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacs/RabinovichT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Reynolds91,
author = {John C. Reynolds},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {The Coherence of Languages with Intersection Types},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {675--700},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_70},
doi = {10.1007/3-540-54415-1\_70},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Reynolds91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/RyanFM91,
author = {Mark Ryan and
Jos{\'{e}} Luiz Fiadeiro and
T. S. E. Maibaum},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Sharing Actions and Attributes in Modal Action Logic},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {569--593},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_65},
doi = {10.1007/3-540-54415-1\_65},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacs/RyanFM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Sato91,
author = {Masahiko Sato},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Adding Proof Objects and Inductive Definition Mechanisms to Frege
Structures},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {53--87},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_41},
doi = {10.1007/3-540-54415-1\_41},
timestamp = {Sat, 28 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Sato91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Scott91,
author = {Dana S. Scott},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Will Logicians be Replaced by Machines?},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {771},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_74},
doi = {10.1007/3-540-54415-1\_74},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Scott91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Steffen91,
author = {Bernhard Steffen},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Data Flow Analysis as Model Checking},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {346--365},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_54},
doi = {10.1007/3-540-54415-1\_54},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Steffen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Tatsuta91,
author = {Makoto Tatsuta},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Monotone Recursive Definition of Predicates and Its Realizability
Interpretation},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {38--52},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_40},
doi = {10.1007/3-540-54415-1\_40},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Tatsuta91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Treinen91,
author = {Ralf Treinen},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {First Order Data Types and First Order Logic},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {594--614},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_66},
doi = {10.1007/3-540-54415-1\_66},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Treinen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Walker91,
author = {David Walker},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Pi-Calculus Semantics of Object-Oriented Programming Languages},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {532--547},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_63},
doi = {10.1007/3-540-54415-1\_63},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Walker91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacs/1991,
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1},
doi = {10.1007/3-540-54415-1},
isbn = {3-540-54415-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/1991.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-05-07 14:10 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:
