The proceedings contains 32 papers from the 25th acm SIGPLAN-sigactsymposium on principles of programminglanguages. Topics discussed include: executable code alias analysis;data flow analysis;intermediate language;m...
详细信息
The proceedings contains 32 papers from the 25th acm SIGPLAN-sigactsymposium on principles of programminglanguages. Topics discussed include: executable code alias analysis;data flow analysis;intermediate language;monadic states;data structures;assembly language;path profiling;JAVA programing languages;interprocedural class analysis;value flow analysis;local and staged type inferences;mobile codes;parallel beta reduction;and multi-threaded imperative languages.
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 contains 27 papers. Topics discussed include principle in programminglanguages, computer programminglanguages, program analysis, computer security, semantics, automata, compiler techniques and networ...
详细信息
The proceedings contains 27 papers. Topics discussed include principle in programminglanguages, computer programminglanguages, program analysis, computer security, semantics, automata, compiler techniques and network monitoring.
The proceedings contains 34 papers. Topics discussed include shape analysis problems in languages, software specifications, C programminglanguages, computational complexity, flow analysis for high order languages, re...
详细信息
The proceedings contains 34 papers. Topics discussed include shape analysis problems in languages, software specifications, C programminglanguages, computational complexity, flow analysis for high order languages, register allocation, program compilers, data parallel programs, concurrent computation, calculus, and object interpretation.
This Volume 39 of the conference proceedings contains 29 papers. Topics discussed include program transformations, semantics, parsing expression grammars, generics, programminglanguages, higher order mobile processes...
详细信息
This Volume 39 of the conference proceedings contains 29 papers. Topics discussed include program transformations, semantics, parsing expression grammars, generics, programminglanguages, higher order mobile processes, abstract interpretation, concurrent programs, multithreaded programs, tridirectional typechecking, precise interprocedural analysis and global value numbering.
The proceedings contains 30 papers. Topics discussed include system debugging, data mining, security protocols, bisimulation congruences, cache conscious data placement, staged compilers, legacy code, probability dist...
详细信息
The proceedings contains 30 papers. Topics discussed include system debugging, data mining, security protocols, bisimulation congruences, cache conscious data placement, staged compilers, legacy code, probability distributions, software verification, formal design methods, dataflow analyses and transformations, temporal logic and resource usage analysis.
The proceedings contains 35 papers. Topics discussed include artificial intelligence, legal aspects, knowledge based systems, genetic algorithms, rule based reasoning, decision theory, and legal reasoning.
The proceedings contains 35 papers. Topics discussed include artificial intelligence, legal aspects, knowledge based systems, genetic algorithms, rule based reasoning, decision theory, and legal reasoning.
The symposium materials contain 31 papers. The topics covered include functional programming;geometry of optimal Lambda reduction;garbage collection;optimally profiling and tracing programs;bounded fixed-point iterati...
详细信息
ISBN:
(纸本)0897914538
The symposium materials contain 31 papers. The topics covered include functional programming;geometry of optimal Lambda reduction;garbage collection;optimally profiling and tracing programs;bounded fixed-point iteration;modeling Prolog control;semantic foundations of Jade;object-oriented programming;compilation method for ML-style polymorphic record calculi;unboxed objects and polymorfic typing;principal signatures for higher-order program modules;pattern-based tree attribution;composable attribute grammars;generating a compiler for a lazy language by partial evaluation;parametricity as subtyping;algorithmic aspects of type inference with subtypes;and abstract semantics for a higher-order functional language with logic variables.
The proceedings contain 31 papers. The topics discussed include: associated types with class;a simple typed intermediate language for object-oriented languages;a bisimulation for type abstraction and recursion;synthes...
详细信息
The proceedings contain 31 papers. The topics discussed include: associated types with class;a simple typed intermediate language for object-oriented languages;a bisimulation for type abstraction and recursion;synthesis of interface specifications for Java classes;proof-guided underapproximation-widening for multi-process systems;communicating quantum processes;downgrading policies and relaxed noninterference;theoretical foundations for compensations in flow composition languages;separation logic and abstraction;context logic and tree update;a semantics for procedure local heaps and its abstractions;precise interprocedural analysis using random interpretation;and scalable error detection using Boolean satisfiability.
暂无评论