-
1تقرير
-
2تقرير
المؤلفون: Slepak, Justin, Shivers, Olin, Manolios, Panagiotis
مصطلحات موضوعية: Computer Science - Programming Languages
URL الوصول: http://arxiv.org/abs/1907.00509
-
3تقرير
المؤلفون: 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
-
4كتاب إلكتروني
المؤلفون: Slepak, JustinAff17, Shivers, OlinAff17, Manolios, PanagiotisAff17
المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Shao, Zhong, editorAff16
المصدر: 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
-
5كتاب إلكتروني
المؤلفون: Vardoulakis, DimitriosAff17, Shivers, OlinAff17
المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Gordon, Andrew D., editorAff16
المصدر: 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
-
6كتاب إلكتروني
المؤلفون: Arkoudas, KonstantineAff3, Shivers, OlinAff3
المساهمون: Margaria, Tiziana, editorAff1, Steffen, Bernhard, editorAff2
المصدر: Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. 17:782-796
-
7كتاب إلكتروني
المؤلفون: 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
-
8كتاب إلكتروني
المؤلفون: Shivers, OlinAff17, Wand, MitchellAff18
المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Dough, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Sagiv, Mooly, editorAff16
المصدر: 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
-
9كتاب إلكتروني
المؤلفون: Spoon, S. AlexanderAff16, Shivers, OlinAff16
المساهمون: Kanade, Takeo, editorAff1, Kittler, Josef, editorAff2, Kleinberg, Jon M., editorAff3, Mattern, Friedemann, editorAff4, Mitchell, John C., editorAff5, Naor, Moni, editorAff6, Nierstrasz, Oscar, editorAff7, Pandu Rangan, C., editorAff8, Steffen, Bernhard, editorAff9, Sudan, Madhu, editorAff10, Terzopoulos, Demetri, editorAff11, Tygar, Dough, editorAff12, Vardi, Moshe Y., editorAff13, Weikum, Gerhard, editorAff14, Odersky, Martin, editorAff15
المصدر: ECOOP 2004 – Object-Oriented Programming : 18th European Conference, Oslo, Norway, June 14-18, 2004. Proceedings. 3086:51-74
-
10كتاب إلكتروني
المؤلفون: Shivers, OlinAff1
المساهمون: 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