| 000 -LEADER |
|---|
| fixed length control field |
04459nam a22005535i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| ISBN |
9783540480273 |
| -- |
978-3-540-48027-3 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.11 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Static Analysis |
| Sub Title |
Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings / |
| Statement of responsibility, etc |
edited by Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication |
Berlin, Heidelberg : |
| Name of publisher |
Springer Berlin Heidelberg, |
| Year of publication |
1993. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Number of Pages |
X, 290 p. |
| Other physical details |
online resource. |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
The impact of granularity in abstract interpretation of Prolog -- Optimization techniques for general purpose fixpoint algorithms practical efficiency for the abstract interpretation of Prolog -- Chaotic fixpoint iteration guided by dynamic dependency -- Fast abstract interpretation using sequential algorithms -- Abstract interpretation and verification of reactive systems -- Semantics and analysis of linda-based languages -- Compiling FX on the CM-2 -- Combining dependability with architectural adaptability by means of the signal language -- Challenges in developing useful and practical static analysis for logic programs -- Occam's razor in metacomputation: the notion of a perfect process tree -- Tupling functions with multiple recursion parameters -- Avoiding repeated tests in pattern matching -- Freeness, sharing, linearity and correctness — All at once -- Synthesis of directionality information for functional logic programs -- Abstract rewriting -- Reflections on program optimization -- Finiteness conditions for strictness analysis -- Strictness properties of lazy algebraic datatypes -- Minimal thunkification -- An efficient abductive reasoning system based on program analysis -- A congruence for gamma programs -- Usage analysis with natural reduction types -- Polymorphic types and widening operators -- Demonstration: static analysis of AKL. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
This volume constitutes the proceedings of the third International Workshop on Static Analysis (WSA`93), held in Padova, Italy, in September 1993. The objective of the international workshop series WSA is to serve as a forum for the discussion of the various aspects of static analysis in different programming paradigms. The clearly increasing mumbers of submitted papers and workshop participants point out the growing importance of static analysis techniques for logical, functional, concurrent and parallel languages as well as for parallel term rewriting systems. This proceedings contains, besides the abstracts or full papers of the invited talks given by Pascal Van Hentenryck, Peter van Roy, and Paul Hudak, full versions of the 20 contributed papers selected from a total of 68 submissions by an international program committee consisting of many renown researchers in the field. The volume is organized in sections on fixpoint computation, concurrency, parallelism, transformation, logic programs, term rewriting systems, strictness, reasoning about programs, and types. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Logic design. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Programming Techniques. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Logics and Meanings of Programs. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Mathematical Logic and Formal Languages. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Programming Languages, Compilers, Interpreters. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Cousot, Patrick. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Falaschi, Moreno. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Filé, Gilberto. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Rauzy, Antoine. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/3-540-57264-3 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
E-BOOKS |
| 264 #1 - |
|---|
| -- |
Berlin, Heidelberg : |
| -- |
Springer Berlin Heidelberg, |
| -- |
1993. |
| 336 ## - |
|---|
| -- |
text |
| -- |
txt |
| -- |
rdacontent |
| 337 ## - |
|---|
| -- |
computer |
| -- |
c |
| -- |
rdamedia |
| 338 ## - |
|---|
| -- |
online resource |
| -- |
cr |
| -- |
rdacarrier |
| 347 ## - |
|---|
| -- |
text file |
| -- |
PDF |
| -- |
rda |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| -- |
0302-9743 ; |
