Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Parallel processing (Electronic computers) --- Engineering & Applied Sciences --- Computer Science --- Congresses --- Parallel processing (Electronic computers) - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Information Technology --- Computer Science (Hardware & Networks) --- Programming languages (Electronic computers) --- Langages de programmation --- Programmation (Informatique) --- Congresses --- Congrès --- Congrès --- Programming languages (Electronic computers) - Congresses --- Langages de programmation - Congrès - Congrès --- Programmation (Informatique) - Congrès - Congrès

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Computer programming --- Programming languages (Electronic computers) --- Programmation (Informatique) --- Langages de programmation --- Congresses. --- Congrès --- -Computer programming --- -681.3*D1 --- 681.3*D28 --- 681.3*D32 --- 681.3*F3 --- 681.3*F4 --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Congresses --- Programming techniques--See also {681.3*E} --- Metrics: complexity measures; performance measures; software science (Software engineering)--See also {681.3*D48} --- 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) --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- Programming --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 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) --- 681.3*D28 Metrics: complexity measures; performance measures; software science (Software engineering)--See also {681.3*D48} --- 681.3*D1 Programming techniques--See also {681.3*E} --- Congrès --- 681.3*D1 --- Software engineering. --- Information theory. --- Computer science. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Programming Techniques. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Mathematical Logic and Formal Languages. --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Computer software engineering --- Engineering --- Computer programming - Congresses --- Programming languages (Electronic computers) - Congresses.