The proceedings contain 18 papers. The topics discussed include: corrective hints for type incorrect generic java programs;mnemonics: type-safe bytecode generation at run time;PET: a partialevaluation-based test case...
ISBN:
(纸本)9781605587271
The proceedings contain 18 papers. The topics discussed include: corrective hints for type incorrect generic java programs;mnemonics: type-safe bytecode generation at run time;PET: a partialevaluation-based test case generation tool for java bytecode;a fold/unfold transformation framework for rewrite theories extended to CCT;regular approximation and bounded domains for size-change termination;A3PAT, an approach for certified automated termination proofs;optimizing relational algebra operations using generic equivalence discriminators and lazy products;programming with singular and plural non-deterministic functions;I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP;bridging the gap between symbolic and efficient AES implementations;clone detection and elimination for Haskell;context-sensitive analysis of obfuscated x86 executables;conditional weighted pushdown systems and applications;and from higher-order logic to Haskell: there and back again.
The proceedings contain 6 papers. The topics discussed include: the ethical compiler: addressing the is-ought gap in compilation;a type-theoretic framework for certified meta-programming;algebraic stepper for simple m...
ISBN:
(纸本)9798400713507
The proceedings contain 6 papers. The topics discussed include: the ethical compiler: addressing the is-ought gap in compilation;a type-theoretic framework for certified meta-programming;algebraic stepper for simple modules;a type safe calculus for generating syntax-directed editors;characterizations of partial well-behaved lenses;and typed program analysis without encodings.
The proceedings contains nine papers from the proceedings of the 2003 acmsigplanworkshop on partialevaluation and Semantics-Based programmanipulation (PEPM'03). Topics discussed include: fast partial evaluatio...
详细信息
The proceedings contains nine papers from the proceedings of the 2003 acmsigplanworkshop on partialevaluation and Semantics-Based programmanipulation (PEPM'03). Topics discussed include: fast partialevaluation of pattern matching in strings;transforming interpreters into inverse interpreters by partialevaluation;implementing typeful programs transformations;abstract specialization and its applications;slicing Java programs that throw and catch exceptions;storeless semantics and alias logic;and extending sized type with collection analysis.
The proceedings contain 7 papers. The topics discussed include: developments in property-based testing;selective CPS transformation for shift and reset;gradually typed symbolic expressions;checking cryptographic API u...
ISBN:
(纸本)9781450355872
The proceedings contain 7 papers. The topics discussed include: developments in property-based testing;selective CPS transformation for shift and reset;gradually typed symbolic expressions;checking cryptographic API usage with composable annotations;program generation for ML modules;on the cost of type-tag soundness;a guess-and-assume approach to loop fusion for program verification;and recursive programs in normal form.
The proceedings contain 6 papers. The topics discussed include: a type-safe structure editor calculus;Coq to C translation with partialevaluation;a text-based syntax completion method using LR parsing;counterexample ...
ISBN:
(纸本)9781450383059
The proceedings contain 6 papers. The topics discussed include: a type-safe structure editor calculus;Coq to C translation with partialevaluation;a text-based syntax completion method using LR parsing;counterexample generation for program verification based on ownership refinement types;efficient fair conjunction for structurally-recursive relations;and strictly capturing non-strict closures.
The proceedings contain 11 papers. The topics discussed include: the genesis of mix: early days of self-applicable partialevaluation;in memoriam Neil Deaton Jones;a historical perspective on program transformation an...
ISBN:
(纸本)9798400704871
The proceedings contain 11 papers. The topics discussed include: the genesis of mix: early days of self-applicable partialevaluation;in memoriam Neil Deaton Jones;a historical perspective on program transformation and recent developments;incremental computation: what is the essence?;complete stream fusion for software-defined radio;productivity verification for functional programs by reduction to termination verification;ownership types for verification of programs with pointer arithmetic;a case study in functional conversion and mode inference in miniKanren;and partialevaluation of reversible flowchart programs.
The proceedings contain 5 papers. The topics discussed include: an approach to generate text-based IDEs for syntax completion based on syntax specification;module generation without regret;symbolic bisimulation for op...
ISBN:
(纸本)9781450370967
The proceedings contain 5 papers. The topics discussed include: an approach to generate text-based IDEs for syntax completion based on syntax specification;module generation without regret;symbolic bisimulation for open and parameterized systems;high-fidelity metaprogramming with separator syntax trees;and GOOL: a generic object-oriented language.
The proceedings contain 5 papers. The topics discussed include: semantic transformation framework for rewriting rules;symbolic execution of Hadamard-Toffoli quantum circuits;generating programs for polynomial multipli...
ISBN:
(纸本)9798400700118
The proceedings contain 5 papers. The topics discussed include: semantic transformation framework for rewriting rules;symbolic execution of Hadamard-Toffoli quantum circuits;generating programs for polynomial multiplication with correctness assurance;efficient embedding of strategic attribute grammars via memoization;and towards a reflection for effect handlers.
暂无评论