Wed 28 Oct 2015 18:00 - 21:00 at Admiral and Reflections - Poster Session Chair(s): Nick Sumner, Jeff Huang
A type system is a set of type rules and with respect to these type rules a type checker has an important role to ensure that programs exhibit a desired behavior. We consider Java type rules and extend the co-contextual formulation of type rules introduced in [1] to enable it for Java. Regarding the extension type rules result is a type, a set of context requirements and a set of class requirements. Since context and class requirements are propagated bottom-up and while traversing the syntax tree bottom-up and are merged from independent subexpression, this enables the type system to be incremental therefore the performance is increased.
Wed 28 Oct Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change
Wed 28 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change
18:00 - 21:00: Posters - Poster Session at Admiral and Reflections Chair(s): Nick SumnerSimon Fraser University, Jeff HuangTexas A&M University | ||||||||||||||||||||||||||||||||||||||||||
| 18:00 - 21:00 Talk | Tomoki ImaiTokyo Institute of Technology, Japan, Hidehiko MasuharaTokyo Institute of Technology, Japan, Tomoyuki AotaniTokyo Institute of Technology, Japan DOI | |||||||||||||||||||||||||||||||||||||||||
| 18:00 - 21:00 Talk | Arghya ChatterjeeRice University, USA, Timothy NewtonRice University, USA, Tom RoushRice University, USA, Hunter TidwellRice University, USA, Vivek SarkarRice University DOI | |||||||||||||||||||||||||||||||||||||||||
| 18:00 - 21:00 Talk | Ahmed Abdel MoamenUniversity of Saskatchewan, Canada, Nadeem JamaliUniversity of Saskatchewan, Canada DOI | |||||||||||||||||||||||||||||||||||||||||
| 18:00 - 21:00 Talk | Sebastian FleissnerAustralian National University, Australia DOI | |||||||||||||||||||||||||||||||||||||||||
| 18:00 - 21:00 Talk | Michael BiggsBroadway Technology, USA DOI | |||||||||||||||||||||||||||||||||||||||||
| 18:00 - 21:00 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 18:00 - 21:00 Talk | Ruochen HuangTokyo Institute of Technology, Japan, Hidehiko MasuharaTokyo Institute of Technology, Japan, Tomoyuki AotaniTokyo Institute of Technology, Japan DOI | |||||||||||||||||||||||||||||||||||||||||
| 18:00 - 21:00 Talk | Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology, Craig AnslowMiddlesex University, London DOI | |||||||||||||||||||||||||||||||||||||||||
| 18:00 - 21:00 Talk | Ben McCamishOregon State University, USA, Xinghui ZhaoWashington State University, David ChiuUniversity of Puget Sound, USA, Jason SawinUniversity of St. Thomas, USA, Guadalupe CanahuateUniversity of Iowa, USA DOI | |||||||||||||||||||||||||||||||||||||||||
| 18:00 - 21:00 Talk | Aliaksei SyrelUniversity of Bern, Switzerland, Andrei ChişUniversity of Bern, Switzerland, Tudor Gîrbatudorgirba.com, Switzerland, Juraj KubelkaUniversity of Chile, Chile, Oscar NierstraszUniversity of Bern, Switzerland, Stefan Reichhartn.n., Switzerland DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 18:00 - 21:00 Talk | Yu David LiuState University of New York (SUNY) Binghamton, Lukasz ZiarekState University of New York (SUNY) Buffalo DOI | |||||||||||||||||||||||||||||||||||||||||
| 18:00 - 21:00 Talk | Md. ArefinNew York City College of Technology, City University of New York, Raffi KhatchadourianHunter College, City University of New York DOI Pre-print File Attached | |||||||||||||||||||||||||||||||||||||||||