the proceedings contain 10 papers. the special focus in this conference is on programminglanguages and systems. the topics include: Decoupling the Ascending and Descending Phases in Abstract Interpreta...
ISBN:
(纸本)9783031210365
the proceedings contain 10 papers. the special focus in this conference is on programminglanguages and systems. the topics include: Decoupling the Ascending and Descending Phases in Abstract Interpretation;inferring Region Types via an Abstract Notion of Environment Transformation;RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties;automated Temporal Verification for Algebraic Effects;model-Based Fault Classification for Automotive Software;Characterizing Functions Mappable over GADTs;applicative Intersection Types;a Calculus with Recursive Types, Record Concatenation and Subtyping.
Function composition is a very natural operation, but most language paradigms provide poor support for it. Without linguistic support programmers must work around or manually implement what would be simple composition...
详细信息
ISBN:
(纸本)9783030027674;9783030027681
Function composition is a very natural operation, but most language paradigms provide poor support for it. Without linguistic support programmers must work around or manually implement what would be simple compositions. the Kihi language uses only composition, makes all state visible, and reduces to just six core operations. Kihi programs are easily stepped by textual reduction but provide a foundation for compositional design and analysis.
this system description paper introduces the probabilistic programming language Hakaru10, for expressing, and performing inference on (general) graphical models. the language supports discrete and continuous distribut...
详细信息
ISBN:
(纸本)9783319479576;9783319479583
this system description paper introduces the probabilistic programming language Hakaru10, for expressing, and performing inference on (general) graphical models. the language supports discrete and continuous distributions, mixture distributions and conditioning. Hakaru10 is a DSL embedded in Haskell and supports Monte-Carlo Markov Chain (MCMC) inference. Hakaru10 is designed to address two main challenges of probabilistic programming: performance and correctness. It implements the incremental Metropolis-Hastings method, avoiding all redundant computations. In the presence of conditional branches, efficiently maintaining dependencies and correctly computing the acceptance ratio are non-trivial problems, solved in Hakaru10. the implementation is unique in being explicitly designed to satisfy the common equational laws of probabilistic programs. Hakaru10 is typed;specifically, its type system statically prevents meaningless conditioning, enforcing that the values to condition upon must indeed come from outside the model.
the proceedings contain 26 papers. the topics discussed include: planet dynamic or: how I learned to stop worrying and love reflection;ownership types for object synchronization;a functional view of imperative informa...
ISBN:
(纸本)9783642351815
the proceedings contain 26 papers. the topics discussed include: planet dynamic or: how I learned to stop worrying and love reflection;ownership types for object synchronization;a functional view of imperative information flow;end-to-end multilevel hybrid information flow control;succor to the confused deputy: types for capabilities;types and access controls for cross-domain security in flash;linear approximation of continuous systems with trapezoid step functions;signedness-agnostic program analysis: precise integer bounds for low-level code;hierarchical shape abstraction of dynamic structures in static blocks;side-effecting constraint systems: a Swiss army knife for program analysis;inference of necessary field conditions with abstract interpretation;dynamic software update for message passing programs;and concurrent test generation using concolic multi-trace analysis.
Manycore architectures are gaining attention as a means to meet the performance and power demands of high-performance embedded systems. However, their widespread adoption is sometimes constrained by the need for maste...
详细信息
High-level formal programminglanguages require system designers to provide a very precise description of the system during early development phases, which may in some cases lead to arbitrary choices (i.e. the designe...
详细信息
Shared-memory concurrent programming is difficult and error prone because memory accesses by concurrent threads need to be coordinated through synchronisation, which relies on programmer discipline and suffers from a ...
详细信息
Atomicity enforcement in a multi-threaded application can be critical to the application's safety. In this paper, we take the challenge of enforcing atomicity in a multilingual application, which is developed in m...
详细信息
the field of implicit complexity has recently produced several bounded-complexity programminglanguages. this kind of language allows to implement exactly the functions belonging to a certain complexity class. We pres...
详细信息
Many software development tools (e.g., profilers, debuggers, testing tools) and frameworks (e.g., aspect weavers) are based on bytecode instrumentation techniques. While there are many low-level bytecode manipulation ...
详细信息
暂无评论