Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings /

Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings /

"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. D...

Full description

Bibliographic Details
Corporate Authors: International Static Analysis Symposium Namur, Belgium, SpringerLink (Online service)
Other Authors: Le Charlier, Baudouin, 1950-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, [1994]
Series:Lecture notes in computer science ; 864.
Subjects:
Computer programming > Congresses.
Programming languages (Electronic computers) > Congresses.
optimisation.
langage fonctionnel.
langage concurrent.
programmation fonctionnelle.
point fixe.
ordonnancement.
programmation en logique.
analyse statique.
Langages de programmation > Congrès.
Programmation (Informatique) > Congrès.
Computer programming.
Programming languages (Electronic computers)
Programmatuurtechniek.
Programacao De Computadores.
Ordinateurs > Programmation > Congrès.
Kongre€.
Statische Analyse.
Electronic books.
Kongress > Namur > 1994.
Conference proceedings.
Namur (1994)
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.6 .S2656 1994
 
Call Number Status Get It
QA76.6 .S2656 1994 Available