These are the proceedings of the Workshop COS13. The first workshop on "Control Operators and their Semantics" was held in Eindhoven on the 24th and 25th of June 2013, affiliated with the seventh International Conference on Rewriting, Deduction, and Programming (RDP 2013). The aim of the workshop was to address the issue of control in programming both from a logical and programming languages perspective. Modern programming languages provide sophisticated control mechanisms, commonly referred to as control operators which are widely used to realize a variety of applications. Since we cannot escape control features, it becomes a challenge to provide them with sound reasoning principles. There is a very active research on understanding, manipulating, representing, and reasoning about elaborated non-local control structures, in particular in declarative programming languages such as functional and logic languages. Ideas and results originating from this research area impact many other areas of computer science, like distributed and concurrent systems, proof theory, proof mining, web programming and linguistics. For instance, the study of the logical foundations of control operators renewed the study of the connections between proofs and programs via the so-called Curry-Howard correspondence, providing new methods to extract the computational content of classical proofs.
Control Operators and their Semantics
DE' LIGUORO, Ugo;
2013-01-01
Abstract
These are the proceedings of the Workshop COS13. The first workshop on "Control Operators and their Semantics" was held in Eindhoven on the 24th and 25th of June 2013, affiliated with the seventh International Conference on Rewriting, Deduction, and Programming (RDP 2013). The aim of the workshop was to address the issue of control in programming both from a logical and programming languages perspective. Modern programming languages provide sophisticated control mechanisms, commonly referred to as control operators which are widely used to realize a variety of applications. Since we cannot escape control features, it becomes a challenge to provide them with sound reasoning principles. There is a very active research on understanding, manipulating, representing, and reasoning about elaborated non-local control structures, in particular in declarative programming languages such as functional and logic languages. Ideas and results originating from this research area impact many other areas of computer science, like distributed and concurrent systems, proof theory, proof mining, web programming and linguistics. For instance, the study of the logical foundations of control operators renewed the study of the connections between proofs and programs via the so-called Curry-Howard correspondence, providing new methods to extract the computational content of classical proofs.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
