المؤلفون: Shivers, Olin, Slepak, Justin, Manolios, Panagiotis

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, D.3

URL الوصول: http://arxiv.org/abs/1912.13451

المؤلفون: Slepak, Justin, Shivers, Olin, Manolios, Panagiotis

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/1907.00509

المؤلفون: Vardoulakis, Dimitrios, Shivers, Olin

المصدر: Logical Methods in Computer Science, Volume 7, Issue 2 (May 1, 2011) lmcs:684

مصطلحات موضوعية: Computer Science - Programming Languages, F.3.2, D.3.4

URL الوصول: http://arxiv.org/abs/1102.3676

المؤلفون: Slepak, Justin^Aff17, Shivers, Olin^Aff17, Manolios, Panagiotis^Aff17

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Shao, Zhong, editor^Aff16

المصدر: Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. 8410:27-46

المؤلفون: Vardoulakis, Dimitrios^Aff17, Shivers, Olin^Aff17

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Gordon, Andrew D., editor^Aff16

المصدر: Programming Languages and Systems : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. 6012:570-589

المؤلفون: Arkoudas, Konstantine^Aff3, Shivers, Olin^Aff3

المساهمون: Margaria, Tiziana, editor^Aff1, Steffen, Bernhard, editor^Aff2

المصدر: Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. 17:782-796

المؤلفون: Might, Matthew, Chambers, Benjamin, Shivers, Olin

المساهمون: Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Cook, Byron, editor, Podelski, Andreas, editor

المصدر: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings. 4349:59-73

المؤلفون: Shivers, Olin^Aff17, Wand, Mitchell^Aff18

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Dough, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Sagiv, Mooly, editor^Aff16

المصدر: Programming Languages and Systems : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. 3444:217-232

المؤلفون: Spoon, S. Alexander^Aff16, Shivers, Olin^Aff16

المساهمون: Kanade, Takeo, editor^Aff1, Kittler, Josef, editor^Aff2, Kleinberg, Jon M., editor^Aff3, Mattern, Friedemann, editor^Aff4, Mitchell, John C., editor^Aff5, Naor, Moni, editor^Aff6, Nierstrasz, Oscar, editor^Aff7, Pandu Rangan, C., editor^Aff8, Steffen, Bernhard, editor^Aff9, Sudan, Madhu, editor^Aff10, Terzopoulos, Demetri, editor^Aff11, Tygar, Dough, editor^Aff12, Vardi, Moshe Y., editor^Aff13, Weikum, Gerhard, editor^Aff14, Odersky, Martin, editor^Aff15

المصدر: ECOOP 2004 – Object-Oriented Programming : 18th European Conference, Oslo, Norway, June 14-18, 2004. Proceedings. 3086:51-74

المؤلفون: Shivers, Olin^Aff1

المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Jaffar, Joxan, editor, Yap, Roland H. C., editor

المصدر: Concurrency and Parallelism, Programming, Networking, and Security : Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings. 1179:254-265