TY - BOOK ID - 2536702 TI - Static analysis. First international static analysis symposium, SAS'94, Namur, Belgium, September 1994. Proceedings PY - 1994 VL - 864 SN - 3540584854 3540490051 9783540584858 PB - Berlin : Springer-Verlag, DB - UniCat KW - Computer programming KW - Programming languages (Electronic computers) KW - Programmation (Informatique) KW - Langages de programmation KW - Congresses. KW - Congrès KW - -Computer programming KW - -681.3*D1 KW - 681.3*D28 KW - 681.3*D32 KW - 681.3*F3 KW - 681.3*F4 KW - Computers KW - Electronic computer programming KW - Electronic data processing KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Congresses KW - Programming techniques--See also {681.3*E} KW - Metrics: complexity measures; performance measures; software science (Software engineering)--See also {681.3*D48} KW - language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) KW - Logics and meanings of programs (Theory of computation) KW - Mathematical logic and formal languages (Theory of computation) KW - Programming KW - 681.3*F4 Mathematical logic and formal languages (Theory of computation) KW - 681.3*F3 Logics and meanings of programs (Theory of computation) KW - 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) KW - 681.3*D28 Metrics: complexity measures; performance measures; software science (Software engineering)--See also {681.3*D48} KW - 681.3*D1 Programming techniques--See also {681.3*E} KW - Congrè€s KW - 681.3*D1 KW - Software engineering. KW - Information theory. KW - Computer science. KW - Software Engineering/Programming and Operating Systems. KW - Theory of Computation. KW - Programming Techniques. KW - Software Engineering. KW - Programming Languages, Compilers, Interpreters. KW - Mathematical Logic and Formal Languages. KW - Communication theory KW - Communication KW - Cybernetics KW - Informatics KW - Science KW - Computer software engineering KW - Engineering KW - Computer programming - Congresses KW - Programming languages (Electronic computers) - Congresses. UR - https://www.unicat.be/uniCat?func=search&query=sysid:2536702 AB - This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994. The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address static analysis aspects for various programming paradigms and cover the following topics: generic algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction. ER -