SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software最新文献

Game programming by demonstration 演示式游戏编程

SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software Pub Date : 2013-10-29 DOI: 10.1145/2509578.2509583

M. Mayer, Viktor Kunčak

引用次数: 10

Building connections between theories of computing and physical systems 建立计算理论和物理系统之间的联系

SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software Pub Date : 2013-10-29 DOI: 10.1145/2509578.2509587

Eric L. McCorkle

{"title":"Building connections between theories of computing and physical systems","authors":"Eric L. McCorkle","doi":"10.1145/2509578.2509587","DOIUrl":"https://doi.org/10.1145/2509578.2509587","url":null,"abstract":"The theory and semantics of programming languages are typically formulated using abstract mathematical models that have no obvious connection to any physical theory. While this approach has a number of advantages, it does not generalize to complex nondiscrete systems, and it obscures the underlying mathematical connections between computational and physical theory. Moreover, it can lead to inaccurate models of more complex phenomena such as concurrency. In this paper, we describe the current directions and initial results of our efforts to build connections between programming language theory and semantics and physical theory. The first and most mature of these efforts aims to develop a denotational semantic model that expands upon the mathematical formulation of quantum systems to provide a denotational foundation for concurrent languages. The second effort aims to generalize the notion of type systems to a probability inference system based on Bayesian probability. The third and final effort aims to develop an understanding of the dynamics of concurrent processes, with the goal of reasoning about the real behavior of processes in greater detail. In each of these efforts, we aim to draw connections between computing and other scientific disciplines.","PeriodicalId":168332,"journal":{"name":"SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software","volume":"108 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122524210","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Content over container: object-oriented programming with multiplicities 容器之上的内容:具有多样性的面向对象编程

SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software Pub Date : 2013-10-29 DOI: 10.1145/2509578.2509582

F. Steimann

引用次数: 15

Conversational programming: exploring interactive program analysis 会话编程:探索交互式程序分析

SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software Pub Date : 2013-10-29 DOI: 10.1145/2509578.2509591

A. Repenning

引用次数: 16

Usable live programming 可用的现场编程

SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software Pub Date : 2013-10-29 DOI: 10.1145/2509578.2509585

Sean McDirmid

引用次数: 96

KScript and KSWorld: a time-aware and mostly declarative language and interactive GUI framework KScript和KSWorld:一种具有时间意识且主要是声明性的语言和交互式GUI框架

SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software Pub Date : 2013-10-29 DOI: 10.1145/2509578.2509590

Y. Ohshima, A. Lunzer, B. Freudenberg, T. Kaehler

{"title":"KScript and KSWorld: a time-aware and mostly declarative language and interactive GUI framework","authors":"Y. Ohshima, A. Lunzer, B. Freudenberg, T. Kaehler","doi":"10.1145/2509578.2509590","DOIUrl":"https://doi.org/10.1145/2509578.2509590","url":null,"abstract":"We report on a language called KScript and a GUI framework called KSWorld. The goal of KScript and KSWorld is to try to reduce the accidental complexity in GUI framework code and application building. We aim for an understandable, concise way to specify an application's behavior and appearance, minimizing extra details that arise only because of the medium being used.\u0000 KScript is a dynamic language based on the declarative and time-aware dataflow-style execution model of Functional Reactive Programming (FRP), extended with support for loose coupling among program elements and a high degree of program reconfigurability.\u0000 KSWorld is built using KScript. The fields, or slots, of graphical widgets in KSWorld are reactive variables. Definitions of such variables can be added or modified in a localized manner, allowing on-the-fly customization of the visual and behavioral aspects of widgets and entire applications. Thus the KSWorld environment supports exploratory application building: a user constructs the appearance interactively with direct manipulation, then attaches and refines reactive variable definitions to achieve the desired overall behavior.\u0000 We illustrate our use of KSWorld to build an editor for general graphical documents, including dynamic documents that serve as active essays. The graphical building blocks for documents are the same as those used for building the editor itself, enabling a bootstrapping process in which the earliest working version of the editor can be used to create further components for its own interface.\u0000 As one way of measuring progress on our complexity goal, we provide an overview of the number of lines of code in KSWorld. The total for the KScript compiler, the FRP evaluator, the framework, document model and document editor is currently around 10,000 lines.","PeriodicalId":168332,"journal":{"name":"SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software","volume":"70 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131462414","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 15

The power of interoperability: why objects are inevitable 互操作性的力量:为什么对象是不可避免的

SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software Pub Date : 2013-10-29 DOI: 10.1145/2509578.2514738

Jonathan Aldrich

{"title":"The power of interoperability: why objects are inevitable","authors":"Jonathan Aldrich","doi":"10.1145/2509578.2514738","DOIUrl":"https://doi.org/10.1145/2509578.2514738","url":null,"abstract":"Three years ago in this venue, Cook argued that in their essence, objects are what Reynolds called procedural data structures. His observation raises a natural question: if procedural data structures are the essence of objects, has this contributed to the empirical success of objects, and if so, how?\u0000 This essay attempts to answer that question. After reviewing Cook's definition, I propose the term service abstractions to capture the essential nature of objects. This terminology emphasizes, following Kay, that objects are not primarily about representing and manipulating data, but are more about providing services in support of higher-level goals. Using examples taken from object-oriented frameworks, I illustrate the unique design leverage that service abstractions provide: the ability to define abstractions that can be extended, and whose extensions are interoperable in a first-class way. The essay argues that the form of interoperable extension supported by service abstractions is essential to modern software: many modern frameworks and ecosystems could not have been built without service abstractions. In this sense, the success of objects was not a coincidence: it was an inevitable consequence of their service abstraction nature.","PeriodicalId":168332,"journal":{"name":"SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software","volume":"126 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128198651","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 30

One VM to rule them all 一个VM统治所有VM

SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software Pub Date : 2013-10-29 DOI: 10.1145/2509578.2509581

Thomas Würthinger, Christian Wimmer, Andreas Wöß, Lukas Stadler, Gilles Duboscq, Christian Humer, G. Richards, Doug Simon, M. Wolczko

引用次数: 311

Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems 可用安全性作为一个静态分析问题:社交共享系统中用户权限的建模和推理

SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software Pub Date : 2013-10-29 DOI: 10.1145/2509578.2509589

Hannah Quay-de la Vallee, James M. Walsh, William Zimrin, Kathi Fisler, S. Krishnamurthi

{"title":"Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems","authors":"Hannah Quay-de la Vallee, James M. Walsh, William Zimrin, Kathi Fisler, S. Krishnamurthi","doi":"10.1145/2509578.2509589","DOIUrl":"https://doi.org/10.1145/2509578.2509589","url":null,"abstract":"The privacy policies of many websites, especially those designed for sharing data, are a product of many inputs. They are defined by the program underlying the website, by user configurations (such as privacy settings), and by the interactions that interfaces enable with the site. A website's security thus depends partly on users' ability to effectively use security mechanisms provided through the interface.\u0000 Questions about the effectiveness of an interface are typically left to manual evaluation by user-experience experts. However, interfaces are generated by programs and user input is received and processed by programs. This suggests that aspects of usable security could also be approached as a program-analysis problem.\u0000 This paper establishes a foundation on which to build formal analyses for usable security. We define a formal model for data-sharing websites. We adapt a set of design principles for usable security to modern websites and formalize them with respect to our model. In the formalization, we decompose each principle into two parts: one amenable to formal analysis, and another that requires manual evaluation by a designer. We demonstrate the potential of this approach through a preliminary analysis of models of actual sites.","PeriodicalId":168332,"journal":{"name":"SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software","volume":"4 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124291511","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

Model-based, event-driven programming paradigm for interactive web applications 交互式web应用程序的基于模型、事件驱动的编程范例

SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software Pub Date : 2013-10-29 DOI: 10.1145/2509578.2509588

Aleksandar Milicevic, D. Jackson, Miloš Gligorić, D. Marinov

引用次数: 24