Static analysis proceedings of the ... held on the 16-18 July 2001

Static analysis proceedings of the ... held on the 16-18 July 2001

Saved in:

Bibliographic Details
Corporate Author:	International Symposium
Other Authors:	Cousot, Patrick
Format:	Unknown
Published:	Berlin Springer 2001
Series:	Lecture notes in computer science v. 2126
Subjects:	Programming languages (Electronic computers) > Congresses Computer programming > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Foundations of software technology and theoretical computer science proceedings of the ... held December 18-20, 1992
Published: (1984)

Language design and programming methodology proceedings of a symposium held at Sydney, Australia, 10-11 September 1979
Published: (1980)

Modular programming languages proceedings of the...held September 6 - 8, 2000
Published: (2000)

Command languages proceedings of the IFIP Working Conference on Command Languages
Published: (1975)

1988 International Conference on Computer Languages proceedings, October 9-13, 1988, Castle Hotel and Resort, Miami Beach, Florida
Published: (1988)

Proceedings
Published: (1986)

Reliable software technologies-Ada Europe proceedings of the ...held May 14 - 18, 2001
Published: (2001)

Language hierarchies and interfaces international summer school
Published: (1976)

Programming language implementation and logic programming 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings
Published: (1992)

Symbol manipulation languages and techniques. Proceedings of the IFIP Working Conference on Symbol Manipulation Languages.
Published: (1971)

Design and implementation of programming languages proceedings of a Do Sponsored Workshop, October, 1976, Ithaca
Published: (1977)

Data base description proceedings of the IFIP TC-2 Special Working Conference on Data Base Description

Semantics, applications, and implementation of program generation proceedings of the...held September 6, 2001
Published: (2001)

Natural language understanding and logic programming proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984
Published: (1985)

Metalevel architectures and separation of crosscutting concerns proceedings of the ...held September 25 - 28, 2001
Published: (2001)

Operating systems proceedings of an international symposium held at Rocquencourt, April 23-25, 1974.
Published: (1974)

Machines, languages, and complexity
Published: (1989)

Research issues in structured and semistructured database programming proceedings of ... 1-3 September 1999
Published: (2000)

International Computing Symposium proceedings of the..., Antibes, France, 2-4 June, 1975
Published: (1975)

Programming concepts, methods and calculi proceedings of the ... held on 6-10 June, 1994
Published: (1994)

Proceedings COMPSAC ... the IEEE Computer Society's ... International Computer Software & Applications Conference
Published: (1977)

Functional and logic planning proceedings of the ... held March 7-9, 2001
Published: (2001)

Mathematics of program construction proceedings of the ...held July 3 - 5, 2000
Published: (2000)

Practical aspects of declarative languages 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings
Published: (2002)

Formal description techniques, IV proceedings of the ... FORTE '91, Sydney, Australia, 19-22 November 1991
Published: (1992)

Formal description techniques, II proceedings of the ... FORTE '89, Vancouver, Canada, 5-8 December 1989
Published: (1990)

Semantics, applications, and implementation of program generation proceedings of the ...held September 20, 2000
Published: (2000)

Formal description of programming concepts proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977
Published: (1986)

Programming of future generation computers proceedings of the First Franco-Japanese Symposium on Programming of Future Generation Computers, Tokyo, Japan, 6-8 October 1986
Published: (1988)

Practical aspects of declarative language
Published: (2001)

3rd Refinement Workshop proceedings of the ... 9-11 January 1990, Hursley Park
Published: (1991)

History of programming languages
Published: (1981)

Formal semantics of Programming languages.
Published: (1972)

Z User Meeting proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990, Oxford
Published: (1991)

Database applications semantics proceedings of the ... held May 30 - June 2, 1995
Published: (1997)

Programming concepts and methods proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990
Published: (1990)

Automata, languages, and programming 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings
Published: (1989)

Job control languages past, present and future
Published: (1974)

Formal models in programming
Published: (1985)

Artificial intelligence, expert systems, and languages in modelling and simulation proceedings of...
Published: (1988)