TY - BOOK ID - 5340764 TI - Static Analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings AU - Hermenegildo, Manuel. AU - Puebla, German. AU - International Static Analysis Symposium PY - 2002 VL - 2477 SN - 03029743 SN - 3540442359 9783540442356 3540457895 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Computer programming KW - Programming languages (Electronic computers) KW - Computer Science KW - Engineering & Applied Sciences KW - 681.3*D1 KW - 681.3*D28 KW - 681.3*D32 KW - 681.3*F31 KW - 681.3*F42 KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory 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 - Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} KW - Grammars and other rewriting systems: decision problems; grammar types; parallel rewriting systems; parsing; thue systems (Mathematical logic and formal languages)--See also {681.3*D31} KW - Programming KW - 681.3*F42 Grammars and other rewriting systems: decision problems; grammar types; parallel rewriting systems; parsing; thue systems (Mathematical logic and formal languages)--See also {681.3*D31} KW - 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} 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 - Computer science. KW - Computer programming. KW - Software engineering. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Mathematical logic. KW - Database management. KW - Computer Science. KW - Database Management. KW - Programming Languages, Compilers, Interpreters. KW - Logics and Meanings of Programs. KW - Software Engineering. KW - Mathematical Logic and Formal Languages. KW - Programming Techniques. KW - Data base management KW - Data services (Database management) KW - Database management services KW - DBMS (Computer science) KW - Generalized data management systems KW - Services, Database management KW - Systems, Database management KW - Systems, Generalized database management KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer software engineering KW - Engineering KW - Informatics KW - Science KW - Logic design. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Computer programming - Congresses KW - Programming languages (Electronic computers) - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:5340764 AB - ER -