default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/msi/msi1978.bht:"
download as .bib file
@proceedings{DBLP:conf/msi/1978,
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09541-1},
doi = {10.1007/3-540-09541-1},
isbn = {3-540-09541-1},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msi/1978.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/AndersonBB78,
author = {E. R. Anderson and
Frank C. Belz and
Edward K. Blum},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {Extending an implementation language to a specification language},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {384--424},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_35},
doi = {10.1007/3-540-09541-1\_35},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/msi/AndersonBB78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Bjorner78,
author = {Dines Bj{\o}rner},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {The Vienna development method {(VDM):} Software specification {\&}
program synthesis},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {326--359},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_33},
doi = {10.1007/3-540-09541-1\_33},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msi/Bjorner78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Blikle78,
author = {Andrzej Blikle},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {Specified programming},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {228--251},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_29},
doi = {10.1007/3-540-09541-1\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msi/Blikle78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/CartwrightM78,
author = {Robert Cartwright and
John McCarthy},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {Recursive programs as functions in a first order theory},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {576--629},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_40},
doi = {10.1007/3-540-09541-1\_40},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msi/CartwrightM78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Culik78,
author = {Karel Cul{\'{\i}}k},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {Synchronized parallel computation and slowdown of translators},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {67--105},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_23},
doi = {10.1007/3-540-09541-1\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msi/Culik78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Elgot78,
author = {Calvin C. Elgot},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {A representative strong equivalence class for accessible flowchart
schemes},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {559--575},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_39},
doi = {10.1007/3-540-09541-1\_39},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msi/Elgot78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Goguen78,
author = {Joseph A. Goguen},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {Some design principles and theory for OBJ-O, a language to express
and execute algebraic specification for programs},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {425--473},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_36},
doi = {10.1007/3-540-09541-1\_36},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msi/Goguen78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Goto78,
author = {Shigeki Goto},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {Program synthesis through G{\"{o}}del's interpretation},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {302--325},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_32},
doi = {10.1007/3-540-09541-1\_32},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msi/Goto78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Kambayashi78,
author = {Yahiko Kambayashi},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {Equivalent key problem of the relational database model},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {165--192},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_27},
doi = {10.1007/3-540-09541-1\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msi/Kambayashi78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Kurki-Suonio78,
author = {Reino Kurki{-}Suonio},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {Nondeterminism, parallelism and intermittent assertions},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {106--126},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_24},
doi = {10.1007/3-540-09541-1\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msi/Kurki-Suonio78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Lamport78,
author = {Leslie Lamport},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {The specification and proof of correctness of interactive programs},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {474--537},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_37},
doi = {10.1007/3-540-09541-1\_37},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msi/Lamport78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Langmaack78,
author = {Hans Langmaack},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {On a theory of decision problems in programming languages},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {538--558},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_38},
doi = {10.1007/3-540-09541-1\_38},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msi/Langmaack78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/LauerS78,
author = {Peter E. Lauer and
M. W. Shields},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {On the abstract specification and formal analysis of synchronization
properties of concurrent systems},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {1--32},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_21},
doi = {10.1007/3-540-09541-1\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msi/LauerS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/LoeckxG78,
author = {Jacques Loeckx and
Ingrid Glasner},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {A calculus for proving properties of while-programs},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {252--281},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_30},
doi = {10.1007/3-540-09541-1\_30},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msi/LoeckxG78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/MillerY78,
author = {Raymond E. Miller and
Chee{-}Keng Yap},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {On the formal specification and analysis for loosely connected processes},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {33--66},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_22},
doi = {10.1007/3-540-09541-1\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msi/MillerY78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Owicki78,
author = {Susan S. Owicki},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {Verifying parallel programs with resource allocation},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {151--164},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_26},
doi = {10.1007/3-540-09541-1\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msi/Owicki78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/PaulG78,
author = {Manfred Paul and
Ulrich G{\"{u}}ntzer},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {On a uniform formal description of data structures},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {360--383},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_34},
doi = {10.1007/3-540-09541-1\_34},
timestamp = {Fri, 09 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/msi/PaulG78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/SugawaraKN78,
author = {Kazuhide Sugawara and
Hiroshi Kawaguchi and
Teruyasu Nishizawa},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {"E-correctness" of a set of "computation processes"},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {282--301},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_31},
doi = {10.1007/3-540-09541-1\_31},
timestamp = {Wed, 13 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/msi/SugawaraKN78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/TanakaVKY78,
author = {Katsumi Tanaka and
Chung Le Viet and
Yahiko Kambayashi and
Shuzo Yajima},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {A file organization suitable for relational database operations},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {193--227},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_28},
doi = {10.1007/3-540-09541-1\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msi/TanakaVKY78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Yonezawa78,
author = {Akinori Yonezawa},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {A formal specification technique for abstract data types with parallelism},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {127--150},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_25},
doi = {10.1007/3-540-09541-1\_25},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msi/Yonezawa78.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 2025-01-19 21:38 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:
