default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-12-08 07:28 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
