Search dblp for Publications

export results for "toc:db/conf/iota/iota1983.bht:"

 download as .bib file

@inproceedings{DBLP:conf/iota/HaginoHKNSY83,
  author       = {Tatsuya Hagino and
                  Michio Honda and
                  Akihiko Koga and
                  Reiji Nakajima and
                  Etsuya Shibayama and
                  Taiichi Yuasa},
  editor       = {Reiji Nakajima and
                  Taiichi Yuasa},
  title        = {{KWIC} Example},
  booktitle    = {The {IOTA} Programming System, {A} Modular Programming Environment},
  series       = {Lecture Notes in Computer Science},
  volume       = {160},
  pages        = {114--175},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12693-7\_10},
  doi          = {10.1007/3-540-12693-7\_10},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/iota/HaginoHKNSY83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iota/HaginoS83,
  author       = {Tatsuya Hagino and
                  Etsuya Shibayama},
  editor       = {Reiji Nakajima and
                  Taiichi Yuasa},
  title        = {Verification System},
  booktitle    = {The {IOTA} Programming System, {A} Modular Programming Environment},
  series       = {Lecture Notes in Computer Science},
  volume       = {160},
  pages        = {80--98},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12693-7\_7},
  doi          = {10.1007/3-540-12693-7\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iota/HaginoS83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iota/HondaHS83,
  author       = {Michio Honda and
                  Tatsuya Hagino and
                  Etsuya Shibayama},
  editor       = {Reiji Nakajima and
                  Taiichi Yuasa},
  title        = {Proof System},
  booktitle    = {The {IOTA} Programming System, {A} Modular Programming Environment},
  series       = {Lecture Notes in Computer Science},
  volume       = {160},
  pages        = {99--108},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12693-7\_8},
  doi          = {10.1007/3-540-12693-7\_8},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iota/HondaHS83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iota/HondaN83,
  author       = {Michio Honda and
                  Reiji Nakajima},
  editor       = {Reiji Nakajima and
                  Taiichi Yuasa},
  title        = {Strategies and Techniques for Interactive Proof},
  booktitle    = {The {IOTA} Programming System, {A} Modular Programming Environment},
  series       = {Lecture Notes in Computer Science},
  volume       = {160},
  pages        = {48--60},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12693-7\_4},
  doi          = {10.1007/3-540-12693-7\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iota/HondaN83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iota/KogaY83,
  author       = {Akihiko Koga and
                  Taiichi Yuasa},
  editor       = {Reiji Nakajima and
                  Taiichi Yuasa},
  title        = {Supports for Cooperative Modular Programming},
  booktitle    = {The {IOTA} Programming System, {A} Modular Programming Environment},
  series       = {Lecture Notes in Computer Science},
  volume       = {160},
  pages        = {109--113},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12693-7\_9},
  doi          = {10.1007/3-540-12693-7\_9},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iota/KogaY83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iota/Nakajima83,
  author       = {Reiji Nakajima},
  editor       = {Reiji Nakajima and
                  Taiichi Yuasa},
  title        = {Language, Logical Foundation, Verification},
  booktitle    = {The {IOTA} Programming System, {A} Modular Programming Environment},
  series       = {Lecture Notes in Computer Science},
  volume       = {160},
  pages        = {4--29},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12693-7\_2},
  doi          = {10.1007/3-540-12693-7\_2},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iota/Nakajima83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iota/X83,
  editor       = {Reiji Nakajima and
                  Taiichi Yuasa},
  title        = {Language Syntax},
  booktitle    = {The {IOTA} Programming System, {A} Modular Programming Environment},
  series       = {Lecture Notes in Computer Science},
  volume       = {160},
  pages        = {176--184},
  publisher    = {Springer},
  year         = {1983},
  timestamp    = {Mon, 09 Dec 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iota/X83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iota/X83a,
  editor       = {Reiji Nakajima and
                  Taiichi Yuasa},
  title        = {Built-in Modules},
  booktitle    = {The {IOTA} Programming System, {A} Modular Programming Environment},
  series       = {Lecture Notes in Computer Science},
  volume       = {160},
  pages        = {185--190},
  publisher    = {Springer},
  year         = {1983},
  timestamp    = {Mon, 09 Dec 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iota/X83a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iota/X83b,
  editor       = {Reiji Nakajima and
                  Taiichi Yuasa},
  title        = {Formal Rules and Semantics},
  booktitle    = {The {IOTA} Programming System, {A} Modular Programming Environment},
  series       = {Lecture Notes in Computer Science},
  volume       = {160},
  pages        = {191--197},
  publisher    = {Springer},
  year         = {1983},
  timestamp    = {Mon, 09 Dec 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iota/X83b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iota/X83c,
  editor       = {Reiji Nakajima and
                  Taiichi Yuasa},
  title        = {Structured Approach to Pointer Data Types},
  booktitle    = {The {IOTA} Programming System, {A} Modular Programming Environment},
  series       = {Lecture Notes in Computer Science},
  volume       = {160},
  pages        = {198--213},
  publisher    = {Springer},
  year         = {1983},
  timestamp    = {Mon, 09 Dec 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iota/X83c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iota/Yuasa83,
  author       = {Taiichi Yuasa},
  editor       = {Reiji Nakajima and
                  Taiichi Yuasa},
  title        = {Language Processing},
  booktitle    = {The {IOTA} Programming System, {A} Modular Programming Environment},
  series       = {Lecture Notes in Computer Science},
  volume       = {160},
  pages        = {72--79},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12693-7\_6},
  doi          = {10.1007/3-540-12693-7\_6},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iota/Yuasa83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iota/YuasaK83,
  author       = {Taiichi Yuasa and
                  Keiji Kojima},
  editor       = {Reiji Nakajima and
                  Taiichi Yuasa},
  title        = {Supports for Building Modules, Modulebase},
  booktitle    = {The {IOTA} Programming System, {A} Modular Programming Environment},
  series       = {Lecture Notes in Computer Science},
  volume       = {160},
  pages        = {61--71},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12693-7\_5},
  doi          = {10.1007/3-540-12693-7\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iota/YuasaK83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iota/YuasaN83,
  author       = {Taiichi Yuasa and
                  Reiji Nakajima},
  editor       = {Reiji Nakajima and
                  Taiichi Yuasa},
  title        = {System Supports for Modular Programming},
  booktitle    = {The {IOTA} Programming System, {A} Modular Programming Environment},
  series       = {Lecture Notes in Computer Science},
  volume       = {160},
  pages        = {30--47},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12693-7\_3},
  doi          = {10.1007/3-540-12693-7\_3},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iota/YuasaN83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iota/1983,
  editor       = {Reiji Nakajima and
                  Taiichi Yuasa},
  title        = {The {IOTA} Programming System, {A} Modular Programming Environment},
  series       = {Lecture Notes in Computer Science},
  volume       = {160},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12693-7},
  doi          = {10.1007/3-540-12693-7},
  isbn         = {3-540-12693-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iota/1983.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}