We develop a theory for the correctness of asynchronous parallel programs. A program is considered correct if its behavior is in some sense similar to that of an abstract version of the program. We discuss various cri...
详细信息
This paper presents a semantic model for parallel systems with a scheduling mechanism that is useful for expressing and proving a wider range of properties than semantic models that do not consider scheduling. We form...
详细信息
The proceedings contain 22 papers. The topics discussed include: application of lattice algebra to loop optimization;fast and usually linear algorithm for global flow analysis;some optimization techniques for an exten...
The proceedings contain 22 papers. The topics discussed include: application of lattice algebra to loop optimization;fast and usually linear algorithm for global flow analysis;some optimization techniques for an extensible language;automatic data structure choice in a language of very high level;correctness-preserving program transformations;reduction: a new method of proving properties of systems of processes;semantic model for parallel systems with scheduling;a description of path expressions by Petri nets;and even simple programs are hard to analyze.
Design of programs to run on computer s with vector processing capability requires redevelopment of many long-established programming techniques. These vector oriented solutions are not limited to those few computers ...
详细信息
The proceedings contain 22 papers. The topics discussed include: deterministic parsing of ambiguous grammars;on the decision problems of program schemas with commutative and invertible functions;strict deterministic v...
The proceedings contain 22 papers. The topics discussed include: deterministic parsing of ambiguous grammars;on the decision problems of program schemas with commutative and invertible functions;strict deterministic versus LR(0) parsing;top down operator precedence;practical syntactic error recovery in compilers;parallel approach to compilation;on the definitional method of standard PL/I;mathematical semantics of symbol;and mode modules as representations of - preliminary report.
This book constitutes the refereed proceedings of the 15th International symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International symposium on Logic...
详细信息
ISBN:
(数字)9783540691662
ISBN:
(纸本)9783540691631
This book constitutes the refereed proceedings of the 15th International symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International acmsigplansymposium on principles and practice of Declarative programming, and PLID 2008, the International Workshop on programming Language Interference and Dependence. The 22 revised full papers presented together with two invited lectures were carefully reviewed and selected from 63 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.
This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development....
详细信息
ISBN:
(数字)9783540259381
ISBN:
(纸本)9783540221746
This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software architectures, design patterns and frameworks, program re?nement and logics for re?nement, proofs as programs, and applications and tools. LOPSTR 2003 took place at the University of Uppsala from August 25 to August 27 as part of PLI 2003 (principles, Logics, and Implementations of High- Level programming Languages). PLI was an acm-organized confederation of conferences and workshops with ICFP 2003 (acm-sigplan International C- ference on Functional programming) and PPDP 2003 (acm-sigplan Inter- tional Conference on principles and practice of Declarative programming) as the main events. The LOPSTR community pro?ted from the shared lectures of the invited speakers, and the active scienti?c discussions enabled by the co-location. LOPSTR 2003 was the thirteenth in a series of events. Past events were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), L- ven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), and Madrid, Spain (2002).
暂无评论