POPL 2023 Call for papers
Skip Abstract Section AbstractThe papers in this volume were presented at the Second ACM Symposium on Principals of Programming Languages, sponsored jointly by SIGACT and SIGPLAN. These papers were selected from over 100 abstracts submitted in response to the Committee's call for papers. The Committee wishes to thank all those who submitted abstracts for consideration.The papers in these Proceedings have not been formally refereed, and several of the papers represent preliminary reports of ongoing research. It is anticipated that most of these papers will appear in more complete form in scientific journals. Skip Table Of Content Section Node listings applied to data flow analysis
A new approach to global program data flow analysis which constructs a "node listing" for the control flow graph is discussed and a simple algorithm which uses a node listing to determine the live variables in a program is presented. This algorithm ... A mathematical approach to language design
A framework for validating surface properties of programming language constructs, composed of proof rules (akin to those of Hoare) and supporting hypotheses, is constructed using the mathematical semantics of Scott and Strachey. The following approach ... Correctness-preserving program transformations
This paper extends the predicate calculus formalization of the partial correctness properties of programs (Ki, Go) to include the preservation of correctness under program transformations. The general notion of "program transformations which preserve ... Actor semantics of PLANNER-73
Work on PLANNER-73 and actors has led to the development of a basis for semantics of programming languages. Its value in describing programs with side-effects, parallelism, and synchronization is discussed. Formal definitions are written and explained ... New control structures to aid gotolessness
This paper contains a suggestion for a calculus for constructing 'flowchartable' algorithms. The calculus is a generalization of an Algol-like calculus, and hence maintains some discipline over the algorithms constructible with it.The essence of the ... Structured exception handling
In this paper, we define what exception conditions are, discuss the requirements exception handling language features must satisfy, survey and analyze existing approaches to exception handling, and propose some new language features for dealing with ... Computer assisted application definition
This paper describes a system being developed to bridge the gap between an application program and a user inexperienced in the ways of computers. The user explores the characteristics of the available programs by a natural language dialogue with the ... ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2023)information scienceComputer Science and Technologies Conference DateJan 15-21, 2023PlaceBoston, The United StatesSubmission DeadlineJul 07, 2022TelephoneDescriptionPACMPL Issue POPL 2023 seeks contributions on all aspects of programming languages and programming systems, both theoretical and practical. Authors of papers published in PACMPL Issue POPL 2023 will be invited to present their work in the POPL conference in January 2023, which is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG. This call for contributions is subject to change. Scope: Submission
Guidelines: |