Programming Language Design and Implementation

Results: 124



#Item
1Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: +

Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: +

Add to Reading List

Source URL: www.cs.tufts.edu

Language: English - Date: 2013-11-25 15:39:10
2Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Higher-Level Techniques for Hardware Description and Synthesis Alan Mycroft, Richard Sharp

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Higher-Level Techniques for Hardware Description and Synthesis Alan Mycroft, Richard Sharp

Add to Reading List

Source URL: rich.recoil.org

Language: English - Date: 2006-04-13 14:58:02
3Cindy Rubio González University of California, Davis Department of Computer Science 3039 Kemper Hall, Davis, CAE-mail:

Cindy Rubio González University of California, Davis Department of Computer Science 3039 Kemper Hall, Davis, CAE-mail:

Add to Reading List

Source URL: web.cs.ucdavis.edu

Language: English - Date: 2016-08-03 20:45:50
4Hongjin Liang Address: Suzhou Institute for Advanced Study Univ. of Science and Technology of China

Hongjin Liang Address: Suzhou Institute for Advanced Study Univ. of Science and Technology of China

Add to Reading List

Source URL: staff.ustc.edu.cn

Language: English - Date: 2016-04-27 03:06:22
5PLDI 2016 Conference Schedule Monday 13th June 08:00 08:30 08:45

PLDI 2016 Conference Schedule Monday 13th June 08:00 08:30 08:45

Add to Reading List

Source URL: www.cs.ucsb.edu

Language: English - Date: 2016-06-08 12:24:39
6Reflections on Courses for Software Language Engineering Anya Helene Bagge1 , Ralf Lämmel2 , and Vadim Zaytsev3 Bergen Language Design Laboratory, University of Bergen, Norway Software Languages Team, University of Kobl

Reflections on Courses for Software Language Engineering Anya Helene Bagge1 , Ralf Lämmel2 , and Vadim Zaytsev3 Bergen Language Design Laboratory, University of Bergen, Norway Software Languages Team, University of Kobl

Add to Reading List

Source URL: models2014.webs.upv.es

Language: English - Date: 2014-09-22 10:28:27
7MACHINE-ASSISTED CONCURRENT PROGRAMMING Martin Vechev ETH Zürich (joint work with Eran Yahav, Greta Yorsh, Michael Kuperstein, Nayden Nedev, Nedyalko Prisadnikov, Veselyn Raychev)

MACHINE-ASSISTED CONCURRENT PROGRAMMING Martin Vechev ETH Zürich (joint work with Eran Yahav, Greta Yorsh, Michael Kuperstein, Nayden Nedev, Nedyalko Prisadnikov, Veselyn Raychev)

Add to Reading List

Source URL: www.srl.inf.ethz.ch

Language: English
8Organizers    

Organizers    

Add to Reading List

Source URL: www.eurorvvv.org

Language: English - Date: 2015-11-10 16:28:43
9On Chairing SIGPLAN June 24, 2015 It was an honor to be your chair for the last three years. Programming language research is a fascinating and lively area of intellectual investigation. New applications extend the bound

On Chairing SIGPLAN June 24, 2015 It was an honor to be your chair for the last three years. Programming language research is a fascinating and lively area of intellectual investigation. New applications extend the bound

Add to Reading List

Source URL: janvitek.org

Language: English - Date: 2015-12-20 10:11:42
10The Functioning of ICFP Version 2015  On behalf of the ICFP Steering Committee  Inspired by the Principles of POPL and the Practices of PLDI   

The Functioning of ICFP Version 2015  On behalf of the ICFP Steering Committee  Inspired by the Principles of POPL and the Practices of PLDI   

Add to Reading List

Source URL: www.icfpconference.org

Language: English - Date: 2015-11-28 23:17:14