The proceedings contain 8 papers. The topics discussed include: a coinductive monad for prop-bounded recursion;jessie: an intermediate language for Java and C verification;refined typechecking with stardust;the Swiss ...
详细信息
ISBN:
(纸本)9781595936776
The proceedings contain 8 papers. The topics discussed include: a coinductive monad for prop-bounded recursion;jessie: an intermediate language for Java and C verification;refined typechecking with stardust;the Swiss coercion;compound monads in specification languages;implementing reliable Linux device drivers in ATS;and pattern matching coverage checking with dependent types using set approximations.
The proceedings contain 39 papers. The topics discussed include: operational semantics for multi-language programs;a typed intermediate language for compiling multiple inheritance;dynamic heap type inference for progr...
详细信息
ISBN:
(纸本)1595935754
The proceedings contain 39 papers. The topics discussed include: operational semantics for multi-language programs;a typed intermediate language for compiling multiple inheritance;dynamic heap type inference for program understanding and debugging;compositional dynamic test generation;locality approximation using time;modular type classes;first-class nonstandard interpretations by opening closures;generative unbinding of names;types, bytes, and separation logic;a very modal model of a modern, major, general type system;from implementation to theory in product synthesis;lightweight fusion by fixed point promotion;lazy multivariate higher-order forward-mode AD;towards a mechanized metatheory of standard ML;logic-flow analysis of higher-order programs;and extracting queries by static analysis of transparent persistence.
The proceedings contain 24 papers. The topics discussed include: separating concerns with domain specific languages;event-based programming without inversion of control;programming language concepts for multimedia app...
详细信息
ISBN:
(纸本)3540409270
The proceedings contain 24 papers. The topics discussed include: separating concerns with domain specific languages;event-based programming without inversion of control;programming language concepts for multimedia application development;reconciling virtual classes with genericity;efficient layer activation for switching context-dependent behavior;object-oriented language processing;a framework for modular linking in OO languages;flexible type-safe linking of components for Java-like languages;symbolic analysis of imperative programminglanguages;array-structured object types for mathematical programming;a component language for structured parallel programming;internal and external token-based synchronization in object-oriented languages;a new component-oriented programming language with the first-class connector;improve component-based programs with connectors;nearly optimal register allocation with PBQP;and the dining philosophers problem revisited.
The proceedings contain 12 papers. The topics discussed include: AppleScript;the evolution of Lua;modula-2 and Oberon;evolving a language in and for the real world: C++ 1991-2006;statecharts in the making: a personal ...
详细信息
The proceedings contain 12 papers. The topics discussed include: AppleScript;the evolution of Lua;modula-2 and Oberon;evolving a language in and for the real world: C++ 1991-2006;statecharts in the making: a personal account;a history of Erlang;the rise and fall of high performance fortran: an historical object lesson;the design and development of ZPL;self;the when, why and why not of the BETA programming language;the development of the Emerald programming language;and a history of Haskell: being lazy with class.
This proceedings contains 37 papers. Topics discussed include fast and accurate flow-insensitive points to analysis, partitioning dataflow analyses, search and imperative programming, unified computation model for fun...
详细信息
This proceedings contains 37 papers. Topics discussed include fast and accurate flow-insensitive points to analysis, partitioning dataflow analyses, search and imperative programming, unified computation model for functional and logic programming, model checking for programminglanguages using VeriSoft, synchronization transformations, polymorphic Pi-calculus, denotational semantics, operational metatheory for functional languages, relational parametricity and units of measure, high level reading and data structure compilation and a polytypic programming language extension.
The proceedings contain 28 papers. The topics discussed include: local reasoning for storable locks and threads;monadic, prompt lazy assertions in haskell;translation correctness for first-order object-oriented patter...
详细信息
ISBN:
(纸本)9783540766360
The proceedings contain 28 papers. The topics discussed include: local reasoning for storable locks and threads;monadic, prompt lazy assertions in haskell;translation correctness for first-order object-oriented pattern matching;more typed assembly languages for confidentiality;a novel test case generation method for prolog programs based on call patterns semantics;on a tighter integration of functional and logic programming;scalable simulation of cellular signaling networks;timed, distributed probabilistic, typed processes;typed-based verification of correspondence assertions for communication protocols;deriving compilers and virtual machines for a multi-level language;polymorphic delimited continuations;adjunct elimination in context logic for trees;positive arithmetic without exchange is a subclassical logic;an efficient SSA-based algorithm for complete global value numbering;and a systematic approach to probabilistic pointer analysis.
The proceedings contain 32 papers. The topics discussed include: toward molecular programming with DNA;overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems;accelerating...
详细信息
ISBN:
(纸本)9781595939586
The proceedings contain 32 papers. The topics discussed include: toward molecular programming with DNA;overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems;accelerating two-dimensional page walks for virtualized systems;efficiency trends and limits from comprehensive microarchitectural adaptivity;exploiting access semantics and program behavior to reduce snoop power in chip multiprocessors;PICSEL: measuring user-perceived performance to control dynamic frequency scaling;improving the performance of object-oriented languages with dynamic predication of indirect jumps;the mapping collector: virtual memory support for generational, parallel, and concurrent compaction;HardBound: architectural support for spatial safety of the C programming language;Archipelago: trading address space for reliability and security;and accurate branch prediction for short threads.
This paper surveys concurrency issues of programminglanguages. The evolution of these issues is analyzed in the context of the evolution of other language concepts, such as data and control abstraction. Specific conc...
详细信息
This paper surveys concurrency issues of programminglanguages. The evolution of these issues is analyzed in the context of the evolution of other language concepts, such as data and control abstraction. Specific concurrency concepts discussed in the paper include: granularity of parallelism, degree of parallelism, synchronization and communication, and physical distribution. The review of the problems of synchronization and communication includes semaphores, messages and mailboxes, and monitors. Concurrency aspects of ADA are also presented as a case study of a state-of-the-art programming language.
The proceedings contain 40 papers. The topics discussed include: an evenhanded certified Email system for contract signing;cryptanalysis of a forward secure blind signature scheme with provable security;on delegatabil...
详细信息
ISBN:
(纸本)3540309349
The proceedings contain 40 papers. The topics discussed include: an evenhanded certified Email system for contract signing;cryptanalysis of a forward secure blind signature scheme with provable security;on delegatability of four designated verifier signatures;private itemset support counting;visual cryptographic protocols using the trusted initializer;cryptanalysis of PASS II and MiniPass;asymmetric concurrent signatures;session table architecture for defending SYN flood attack;port scan behavior diagnosis by clustering;secure multicast using proxy encryption;security properties of two authenticated conference key agreement protocols;enforce mandatory access control policy on XML documents;network access control for mobile ad-hoc networks;authenticating query results in data publishing;and batching SSL/TLS handshake improved.
暂无评论