Choose an application

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

Programming languages (Electronic computers) --- Congresses --- Command languages (Computer science) --- Congresses. --- Command languages (Computer science). --- Programming languages (Electronic computers) - Congresses

Choose an application

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

Programming --- Programming languages (Electronic computers) --- Congresses --- -681.3*A0 --- 681.3*D30 --- General --- Computerwetenschap--?*D30 --- Festschrift - Libri Amicorum --- 681.3*A0 General --- 681.3*A0 --- Programming languages (Electronic computers) - Congresses

Choose an application

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

Numerical analysis --- Computer science --- Computer architecture. Operating systems --- Computer architecture --- Parallel processing (Electronic computers) --- Computer algorithms --- Congresses --- -Computer architecture --- -Parallel processing (Electronic computers) --- -519.6 --- 681.3 *G10 --- 681.3*G13 --- Architecture, Computer --- Algorithms --- Computational mathematics. Numerical analysis. Computer programming --- Computerwetenschap--?*G10 --- Numerical linear algebra: conditioning; determinants; Eigenvalues; error analysis; linear systems; matrix inversion; pseudoinverses; sparse and very largesystems --- 681.3*G13 Numerical linear algebra: conditioning; determinants; Eigenvalues; error analysis; linear systems; matrix inversion; pseudoinverses; sparse and very largesystems --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- 519.6 --- Computer architecture - Congresses --- Parallel processing (Electronic computers) - Congresses --- Computer algorithms - Congresses

Choose an application

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

Electronic digital computers --- Computer algorithms --- Ordinateurs --- Algorithmes --- Congresses --- Congrès --- -Electronic digital computers --- -#TCPW P4.0 --- #TCPW P4.6 --- #TCPW P8.0 --- 681.3*C0 --- 681.3*F2 --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- Algorithms --- Computerwetenschap--?*C0 --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- #TCPW P4.0 --- Computer algorithms - Congresses --- Electronic digital computers - Congresses --- Computer Algorithm

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.