252 papers · page 12 of 13
Software is rapidly moving from the desktop to the Web. The Web provides a generic user interface that allows ubiquitous access, instant collaboration, integration with other online services, and avoids installation and configuration on desktop computers. For software development…
Managed Data is a two-level approach to data abstraction in which programmers first define data description and manipulation mechanisms, and then use these mechanisms to define specific kinds of data. Managed Data allows programmers to take control of many important aspects of da…
Programmers demand more extensive class libraries so they can reuse more code and write less of their own. However, these libraries are often so large that programmers get lost in deep hierarchies of classes and their members that are very broad in number. Yet language designers …
Why do some programming languages fail and others succeed? What does the answer tell us about programming language design, implementation, and principles? To help answer these and other questions, we argue for examining the sociological groundings of programming language theory: …
As modern type systems grow ever-richer, it can become increasingly onerous for programmers to satisfy them. However, some programs may not require the full power of the type system, while others may wish to obtain these rich guarantees incrementally. In particular, programmers m…
This paper seeks to broaden the view of what programming is, who programs, and how programming fits in to larger systems. With growing frequency, people are approaching programming from unlikely backgrounds such as the arts. Often these new programmers bring with them ways of wor…
Programmers benefit from concrete program run-time information during code-centric comprehension activities. Unfortunately, state-of-the-art programming environments distract programmers from their task-oriented thinking by forcing them to cope with (1) tool-driven run-time infor…
There are many more similarities than distinctions between natural languages and the languages used in computer science. The term "language" has been used liberally as a metaphor in the discipline in terms of language creation, evolution and concept of elegance. Examples are pres…
We propose the creation of a repository of inclusive mobile application design tools and techniques. The repository will be based on existing and future research in the realm of accessibility and initially only available to academic researchers developing user studies. These deve…
Programming languages exist to enable programmers to develop software effectively. But how efficiently programmers can write software depends on the usability of the languages and tools that they develop with. The aim of this workshop is to discuss methods, metrics and techniques…
Using code examples in professional software development is like teenage sex. Those who say they do it all the time are probably lying. Although it is natural, those who do it feel guilty. Finally, once they start doing it, they are often not too concerned with safety, they disco…
Research in automated program verification against specifications written in first-order logic has come a long way. Ever-faster Satisfiability Modulo Theories (SMT) solvers [Barrett et al. 2010] promise to verify program instructions quickly against specifications. Unfortunately,…
This is a brief film describing the functionality and the inner behaviour of a system called Contexta-Care, a monitoring facility for independent-living elders. The first challenge for such a film is to give in a few minutes a fair idea of what the system can do in a real case. T…
No abstract available.
In today's global economy, innovation through technology is a key driver for a sustainable economic growth and competitiveness. Siemens as a global player possesses a tremendous portfolio of innovative technologies. In an effort to highlight some of these technologies, Siemens ha…
Art and Science are usually seen as quite distinct tasks and not supportive of each other or similar at all. Isn't art all about creativity and abstract beauty, while computer sci-ence is about logic, truths and problem solving? Can these two practices really be related in any wa…
We suggest digital serious games as a means to create individualized learning environments that train social skills in parallel to the content. In cooperation with a child psychology practice we developed the collaborative and adaptive serious game weMakeWords as a prove of conce…
Among the thousands of programming languages available, some languages become extremely popular, while others, thought to be superior in many ways, languish. This essay explores this situation from a historical perspective.
The typical properties of natural language - redundancy avoidance, locality, and immediacy - support high semantic density and improve readability, and therefore, are also interesting for the design of programming languages. To achieve these properties, natural language heavily r…