Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "stream:conf/tacs:"
@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 = {Tue, 07 May 2024 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} }
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.