the proceedings contain 20 papers. the topics discussed include: prospects for computer formalization of infinite-dimensional category theory;CRIS: the power of imagination in specification and verification;leakage-fr...
ISBN:
(纸本)9798400713477
the proceedings contain 20 papers. the topics discussed include: prospects for computer formalization of infinite-dimensional category theory;CRIS: the power of imagination in specification and verification;leakage-free probabilistic Jasmin programs;nominal matching logic with fixpoints;intrinsically correct sorting in cubical Agda;certifying rings of integers in number fields;the NextGen modality: a modality for non-frame-preserving updates in separation logic;tactic script optimization for Aesop;formally verified hardening of C programs against hardware fault injection;formalizing simultaneous critical pairs for confluence of left-linear rewrite systems;and verified and efficient matching of regular expressions with lookaround.
the proceedings contain 22 papers. the topics discussed include: the next-generation in-stadium experience;almost first-class language embedding: taming staged embedded DSLs;generating safe boundary APIs between typed...
ISBN:
(纸本)9781450336871
the proceedings contain 22 papers. the topics discussed include: the next-generation in-stadium experience;almost first-class language embedding: taming staged embedded DSLs;generating safe boundary APIs between typed EDSLs and their environments;an empirical study on configuration-related issues: investigating undeclared and unused identifiers;analyzing the Kconfig semantics and its analysis tools;migrating large object-oriented applications into component-based ones: instantiation and inheritance transformation;towards tool support for spreadsheet-based domain-specific languages;native-2-native: automated cross-platform code synthesis from web-based programming resources;CLOP: a multi-stage compiler to seamlessly embed heterogeneous code;and composing code generators for CC ADLs with application-specific behavior languages.
the proceedings contain 26 papers. the topics discussed include: Acute: high-level programming language design for distributed computation;an expressive language of signatures;dynamic optimization for functional react...
ISBN:
(纸本)1595930647
the proceedings contain 26 papers. the topics discussed include: Acute: high-level programming language design for distributed computation;an expressive language of signatures;dynamic optimization for functional reactive programming using generalized algebraic data types;combining programming withtheorem proving;AtomCaml: first-class atomicity via rollback;a principled approach to operating system construction in Haskell;simple, partial type-inference for system F based on type-containment;type inference, principal typings, and let-polymorphism for first-class mixin modules;backtracking, interleaving, and terminating monad transformers (functional Pearl);scrap your boilerplate with class: extensible generic functions;continuations from generalized stack inspection;fast narrowing-driven partial evaluation for inductively sequential programs;mechanizaing the meta-theory of programming languages;and modular verification of concurrent assembly code with dynamic thread creation and termination.
the proceedings contain 35 papers. the topics discussed include: functional pearl: a SQL to C compiler in 500 lines of code;an optimizing compiler for a purely functional web-application language;bounded refinement ty...
ISBN:
(纸本)9781450336697
the proceedings contain 35 papers. the topics discussed include: functional pearl: a SQL to C compiler in 500 lines of code;an optimizing compiler for a purely functional web-application language;bounded refinement types;applicative bidirectional programming with lenses;hygienic resugaring of compositional desugaring;XQuery and static typing: tackling the problem of backward axes;noninterference for free;algebras and coalgebras in the light affine lambda calculus;structures for structural recursion;denotational cost semantics for functional languages with inductive types;analyzing the complexity of functional programs: higher-order meets first-order;functionalprogramming and hardware design: still interesting after all these years;and pilsner: a compositionally verified compiler for a higher-order imperative language.
the proceedings contain 41 papers. the topics discussed include: C-SHORe: a collapsible approach to higher-order verification;exploiting vector instructions with generalized stream fusion;type-theory in color;Mtac: a ...
ISBN:
(纸本)9781450323260
the proceedings contain 41 papers. the topics discussed include: C-SHORe: a collapsible approach to higher-order verification;exploiting vector instructions with generalized stream fusion;type-theory in color;Mtac: a monad for typed tactic programming in Coq;fun with semirings: a functional pearl on the abuse of linear algebra;programming and reasoning with algebraic effects and dependent types;well-founded recursion with copatterns: a unified approach to termination and productivity;productive coprogramming with guarded recursion;higher-order functional reactive programming without spacetime leaks;simple and compositional reification of monadic embedded languages;structural recursion for querying ordered graphs;a nanopass framework for commercial compiler development;the bedrock structured programming system: combining generative metaprogramming and Hoare logic in an extensible program verifier;and a practical theory of language-integrated query.
Global income and social inequality remain pressing issues, intensified by traditional financial systems with centralized control and exclusionary practices. this study conducted a quantitative investigation into how ...
详细信息
the proceedings contain 17 papers. the topics discussed include: emerging challenges for large scale systems integration;code generation to support static and dynamic composition of software product lines;efficient co...
ISBN:
(纸本)9781605582672
the proceedings contain 17 papers. the topics discussed include: emerging challenges for large scale systems integration;code generation to support static and dynamic composition of software product lines;efficient compilation techniques for large scale feature models;on the modularity of feature interactions;using modern mathematics as an FOSD modeling language;generating incremental implementations of object-set queries;integrating semantics and compilation;generating customized verifiers for automatically generated code;property models: from incidental algorithms to reusable components;fundamentalist functionalprogramming;feature featherweight Java: a calculus for feature-oriented programming and stepwise refinement;typing communicating component assemblages;and program refactoring using functional aspects.
the proceedings contain 34 papers. the topics discussed include: ReCaml: execution state as the cornerstone of reconfigurations;polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect op...
ISBN:
(纸本)9781605587943
the proceedings contain 34 papers. the topics discussed include: ReCaml: execution state as the cornerstone of reconfigurations;polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators;using functionalprogramming within an industrial product group: perspectives and perceptions;lazy tree splitting;semantic subtyping with an SMT solver;logical types for untyped languages;higher-order representation of substructural logics;the impact of higher-order state and control effects on local relational reasoning;distance makes the types grow stronger: a calculus for differential privacy;security-typed programming within dependently typed programming;combining syntactic and semantic bidirectionalization;matching lenses: alignment and view update;bidirectionalizing graph transformations;a fresh look at programming with names and binders;experience report: growing programming languages for beginning students;and fortifying macros.
the proceedings contain 12 papers. the topics discussed include: using many-core coprocessor to boost up Erlang VM;on the scalability of the Erlang term storage;Riak PG: distributed process groups on dynamo-style dist...
ISBN:
(纸本)9781450323857
the proceedings contain 12 papers. the topics discussed include: using many-core coprocessor to boost up Erlang VM;on the scalability of the Erlang term storage;Riak PG: distributed process groups on dynamo-style distributed storage;multicore profiling for Erlang programs using Percept2;software agents mobility using process migration mechanism in distributed Erlang;actor scheduling for multicore hierarchical memory platforms;extending Erlang by utilising RefactorErl;scalable persistent storage for Erlang: theory and practice;towards an abstraction for remote evaluation in Erlang;towards property-based testing of RESTful web services;turning web services descriptions into QuickCheck models for automatic testing;and testing blocking operations with QuickCheck's component library.
暂无评论