Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOnward! 2017: Vancouver, BC, Canada
- Emina Torlak, Tijs van der Storm, Robert Biddle:
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2017, Vancouver, BC, Canada, October 23 - 27, 2017. ACM 2017, ISBN 978-1-4503-5530-8
Language Design
- Preston Tunnell Wilson, Justin Pombrio, Shriram Krishnamurthi
:
Can we crowdsource language design? 1-17 - Roger D. Chamberlain:
Assessing user preferences in programming language design. 18-29 - Friedrich Steimann:
Replacing phrase structure grammar with dependency grammar in the design and implementation of programming languages. 30-43
Program Generation and Synthesis
- Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel:
Generating chat bots from web API specifications. 44-57 - Edmund S. L. Lam, Peilun Zhang, Bor-Yuh Evan Chang:
ChimpCheck: property-based randomized test generation for interactive apps. 58-77 - Abhinav Jangda, Greta Yorsh:
Unbounded superoptimization. 78-88
Programming Models
- Ioana Baldini, Perry Cheng, Stephen J. Fink, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Philippe Suter, Olivier Tardieu:
The serverless trilemma: function composition for serverless computing. 89-103 - Aleksandar Prokopec:
Encoding the building blocks of communication. 104-118 - Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan:
I¿¿¿: a calculus for internet of things automation. 119-133
Usability and Performance
- John Wrenn, Shriram Krishnamurthi:
Error messages are classifiers: a process to design and evaluate error messages. 134-147 - Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach:
You can have it all: abstraction and good cache performance. 148-167 - Raoul L. Veroy, Samuel Z. Guyer:
Garbology: a study of how Java objects die. 168-179
New Languages
- Christopher Hall, Trevor Standley, Tobias Höllerer:
Infra: structure all the way down: structured data as a visual programming language. 180-197 - Christoph M. Kirsch:
Selfie and the basics. 198-213 - Andrew Sorensen, Henry J. Gardner:
Systems level liveness with extempore. 214-228
Essays
- Stephen Kell:
Some were meant for C: the endurance of an unmanageable language. 229-245 - Antti-Juhani Kaijanaho:
Concept analysis in programming language research: done well it is all right. 246-259
Panel
- Robert Biddle:
How can our publication models best serve our research? (panel). 260-261
a service of 
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.
last updated on 2024-06-10 21:33 CEST 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:
