The proceedings contain 27 papers. The topics discussed include: state-sensitive points-to analysis for the dynamic behavior of JavaScript objects;self-inferencing reflection resolution for java;constructing call grap...
ISBN:
(纸本)9783662442012
The proceedings contain 27 papers. The topics discussed include: state-sensitive points-to analysis for the dynamic behavior of JavaScript objects;self-inferencing reflection resolution for java;constructing call graphs of scala programs;finding reference-counting errors in python/C programs with affine analysis;safely composable type-specific languages;graceful dialects;structuring documentation to support state search: a laboratory experiment about protocol programming;reusable concurrent data types;infrastructure-free logging and replay of concurrent execution on multiple cores;sound and complete subtyping between co-inductive types for object-oriented languages;spores: a type-based foundation for closures in the age of concurrency and distribution;rely-guarantee protocols;and stream processing with a spreadsheet.
The proceedings contain 47 papers. The topics discussed include: a sound type system for secure currency flow;runtime instrumentation for reactive components;a dynamic logic for symbolic execution for the smart contra...
ISBN:
(纸本)9783959773416
The proceedings contain 47 papers. The topics discussed include: a sound type system for secure currency flow;runtime instrumentation for reactive components;a dynamic logic for symbolic execution for the smart contract programming language Michelson;dynamically generating callback summaries for enhancing static analysis;behavioral up/down casting for statically typed languages;understanding concurrency bugs in real-world programs with Kotlin coroutines;indirection-bounded call graph analysis;regrading policies for flexible information flow control in session-typed concurrency;mutation-based lifted repair of software product lines;the performance effects of virtual-machine instruction pointer updates;and mover logic: a concurrent program logic for reduction and rely-guarantee reasoning.
The proceedings contain 26 papers. The special focus in this conference is on Aspect oriented Software Development, Java Virtual Machines, Miscellaneous and Distributed Systems. The topics include: Semantic models for...
ISBN:
(纸本)3540437592
The proceedings contain 26 papers. The special focus in this conference is on Aspect oriented Software Development, Java Virtual Machines, Miscellaneous and Distributed Systems. The topics include: Semantic models for distributed object reflection;dynamically composable collaborations with delegation layers;space- and time-efficient implementation of the java object model;automatic java application partitioning;supporting unanticipated dynamic adaptation of application behaviour;a simple and practical approach to unit testing;modular internet programming with cells;an approach to programming autonomous systems;engineering event-based systems with scopes;pattern-based design and implementation of an xml and RDF parser and interpreter;on variance-based subtyping for parametric types;type-safe prototype-based component evolution;a simple and effective technique for reducing the penalty of dynamic class loading;a better quasi-optimal bit-vector encoding of tree hierarchies;semantics-based composition of class hierarchies;behavioral compatibility of self-typed theories and a formal framework for java separate compilation.
The proceedings contain 26 papers. The topics discussed include: coinductive type systems for object-oriented languages;checking framework interactions with relationships;COPE - automating coupled evolution of metamod...
ISBN:
(纸本)3642030122
The proceedings contain 26 papers. The topics discussed include: coinductive type systems for object-oriented languages;checking framework interactions with relationships;COPE - automating coupled evolution of metamodels and models;scaling CFL-reachability-based points-to analysis using context-sensitive must-not-alias analysis;NePaLTM: design and implementation of nested parallelism for transactional memory systems;implicit dynamic frames: combining dynamic frames and separation logic;fine-grained access control with object-sensitive roles;practical API protocol checking with access permissions;adding state and visibility control to traits using lexical nesting;featherweight jigsaw: a minimal core calculus for modular composition of classes;and modular visitor components: a practical solution to the expression families problem.
The proceedings contain 30 papers. The topics discussed include: is it dangerous to use version control histories to study source code evolution?;evaluating the design of the r language: objects and functions for data...
ISBN:
(纸本)9783642310560
The proceedings contain 30 papers. The topics discussed include: is it dangerous to use version control histories to study source code evolution?;evaluating the design of the r language: objects and functions for data analysis;McSAF: a static analysis framework for MATLAB;multiple aggregate entry points for ownership types;inference and checking of object ownership;object initialization in X10;lock inference in the presence of large libraries;an analysis of the Mozilla jetpack extension framework;smaller footprint for java collections;enhancing JavaScript with transactions;JavaScript as an embedded DSL;correlation tracking for points-to analysis of JavaScript;constraint-based refactoring with foresight;magda: a new language for modularity;and Marco: safe, expressive macros for any language.
The proceedings contain 30 papers. The topics discussed include: perfect is the enemy of good: best-effort program synthesis;blame for null;static race detection and mutex safety and liveness for go programs;reconcili...
ISBN:
(纸本)9783959771542
The proceedings contain 30 papers. The topics discussed include: perfect is the enemy of good: best-effort program synthesis;blame for null;static race detection and mutex safety and liveness for go programs;reconciling event structures with modern multiprocessors;don’t panic! better, fewer, syntax errors for lr parsers;space-efficient gradual typing in coercion-passing style;multiparty session programming with global protocol combinators;designing with static capabilities and effects: use, mention, and invariants (pearl);a semantics for the essence of react;test-case reduction via test-case generation: insights from the hypothesis reducer;model-view-update-communicate: session types meet the elm architecture;and value partitioning: a lightweight approach to relational static analysis for JavaScript.
The proceedings contain 277 papers. The topics discussed include: adaptive search for multi-class targets with heterogeneous importance;boosting crowdsourcing with expert labels: local vs. global effects;OptFuse: low-...
ISBN:
(纸本)9781450336543
The proceedings contain 277 papers. The topics discussed include: adaptive search for multi-class targets with heterogeneous importance;boosting crowdsourcing with expert labels: local vs. global effects;OptFuse: low-rank factor estimation by optimal data-driven linear fusion of multiple signal-plus-noise matrices;dissecting uncertainty-based fusion techniques for maritime anomaly detection;distributed sensing for quickest change detection of point radiation sources;a critical assessment of two methods for heterogeneous information fusion;efficient information planning in Gaussian MRFs;Langevin Monte Carlo filtering for target tracking;gradual vs. binary conflicts in Bayesian networks applied to sensor failure detection;improvements in the implementation of log-homotopy based particle flow filters;a new nonlinear state estimator using the fusion of multiple extended Kalman filters;and URREF for veracity assessment in query-based information fusion systems.
The proceedings contain 27 papers. The special focus in this conference is on Encapsulation, Program Analysis, Software Engineering, Aspects and Middleware. The topics include: Separating aliasing policy from mechanis...
ISBN:
(纸本)354022159X
The proceedings contain 27 papers. The special focus in this conference is on Encapsulation, Program Analysis, Software Engineering, Aspects and Middleware. The topics include: Separating aliasing policy from mechanism;demand-driven type inference with subgoal pruning;pointer analysis in the presence of dynamic class loading;rewritable reference attributed grammars;finding and removing performance bottlenecks in large systems;programming with crosscutting effective views;inheritance-inspired interface versioning for CORBA;a middleware framework for the persistence and querying of java objects;increasing concurrency in databases using program analysis;contracts and structural subtyping in a nominal world;modules with interfaces for dynamic linking and communication;early identification of incompatibilities in multi-component upgrades;rich interfaces for software modules;transactional monitors for concurrent objects;adaptive tuning of reserved space in an appel collector and customization of java library classes using type constraints and profile information.
The proceedings contain 23 papers. The special focus in this conference is on Trees in Algebra and programming. The topics include: Semantics of interaction (invited talk);the kronecker product and local computations ...
ISBN:
(纸本)3540630899
The proceedings contain 23 papers. The special focus in this conference is on Trees in Algebra and programming. The topics include: Semantics of interaction (invited talk);the kronecker product and local computations in graphs;iterative pairs and multitape automata;diophantine equations, presburger arithmetic and finite automata;a pumping lemma for output languages of macro tree transducers;the area determined by underdiagonal lattice paths;extraction of concurrent processes from higher dimensional automata;axiomatising extended computation tree logic;final semantics for a higher order concurrent language;the practice of logical framework (invited talk);subsumption algorithms based on search trees;interaction nets and term rewriting systems (extended abstract);computing in unpredictable environments: semantics, reduction strategies, and program transformations;relative normalization in deterministic residual structures;termination by absence of infinite chains of dependency pairs;confluence without termination via parallel critical pairs;an ordinal calculus for proving termination in term rewriting;behavioural satisfaction and equivalence in concrete model categories;open maps, behavioural equivalences, and congruences;denotational, causal, and operational determinism in event structures;effective longest and infinite reduction paths in untyped λ-calculi;full abstraction for lambda calculus with resources and convergence testing and untyped lambda-calculus with input-output.
暂无评论