Search dblp for Publications

export results for "stream:streams/conf/iota:"

 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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.