kw.\*:("Static analysis")
Results 1 to 25 of 1969
Selection :
Flow logic: A multi-paradigmatic approach to static analysisNIELSON, Hanne Riis; NIELSON, Flemming.The essence of computation (complexity, analysis, transformation). Lecture notes in computer science. 2002, pp 223-244, issn 0302-9743, isbn 3-540-00326-6, 22 p.Book Chapter
A symbolic approach to Bernstein expansion for program analysis and optimizationCLAUSS, Philippe; TCHOUPAEVA, Irina.Lecture notes in computer science. 2004, pp 120-133, issn 0302-9743, isbn 3-540-21297-3, 14 p.Conference Paper
Analyse statique de la terminaison des règles actives basée sur la notion de chemin maximal = Static analysis of termination of active rules based on the notion of maximal pathCouchot, Alain; Slissenko, Anatol.2001, 177 p.Thesis
Static analysis (13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006)Yi, Kwangkeun.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-37756-5, 1Vol, XIII-442 p, isbn 3-540-37756-5Conference Proceedings
SAS 2004 : static analysis (Verona, 26-28 August 2004)Giacobazzi, Roberto.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22791-1, XI, 392 p, isbn 3-540-22791-1Conference Proceedings
Automated Code Review Tools for SecurityMCGRAW, Gary.Computer (Long Beach, CA). 2008, Vol 41, Num 12, pp 108-111, issn 0018-9162, 4 p.Article
Lookahead wideningGOPAN, Denis; REPS, Thomas.Lecture notes in computer science. 2006, pp 452-466, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 15 p.Conference Paper
False timing path identification using ATPG techniques and delay-based informationJING ZENG; ABADIR, Magdy; ABRAHAM, Jacob et al.Design automation conference. 2002, pp 556-561, isbn 1-58113-461-4, 6 p.Conference Paper
A Few Billion Lines of Code Later Using Static Analysis to Find Bugs in the Real WorldBESSEY, A. L; BLOCK, Ken; CHELF, Ben et al.Communications of the ACM. 2010, Vol 53, Num 2, pp 66-75, issn 0001-0782, 10 p.Article
SAS 2005 : static analysis (London, 7-9 September 2005)Hankin, Chris; Siveroni, Igor.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28584-9, X, 367 p, isbn 3-540-28584-9Conference Proceedings
Pruning interference and ready dependence for slicing concurrent Java programsVENKATESH PRASAD RANGANATH; HATCLIFF, John.Lecture notes in computer science. 2004, pp 39-56, issn 0302-9743, isbn 3-540-21297-3, 18 p.Conference Paper
Parameterizing a groundness analysis of logic programsLUNJIN LU.Lecture notes in computer science. 2001, pp 146-164, issn 0302-9743, isbn 3-540-42314-1Conference Paper
Efficient computation of parameterized pointer information for interprocedural analysesDONGLIN LIANG; HARROLD, Mary Jean.Lecture notes in computer science. 2001, pp 279-298, issn 0302-9743, isbn 3-540-42314-1Conference Paper
Unleashing the power of static analysisDAS, Manuvir.Lecture notes in computer science. 2006, pp 1-2, issn 0302-9743, isbn 3-540-37756-5, 1Vol, 2 p.Conference Paper
Osculating thevenin model for predicting delay and slew of capacitively characterized cellsSHEEHAN, Bernard N.Design automation conference. 2002, pp 866-869, isbn 1-58113-461-4, 4 p.Conference Paper
Higher-precision groundness analysisCODISH, Michael; GENAIM, Samir; SØNDERGAARD, Harald et al.Lecture notes in computer science. 2001, pp 135-149, issn 0302-9743, isbn 3-540-42935-2Conference Paper
Static analysis of exception handling in AdaSCHAEFER, C. F; BUNDY, G. N.Software, practice & experience. 1993, Vol 23, Num 10, pp 1157-1174, issn 0038-0644Article
Software That Checks Software: The Impact of PC-lintGIMPEL, James.IEEE software. 2014, Vol 31, Num 1, pp 15-19, issn 0740-7459, 5 p.Article
An abstract interpretation framework for analysing mobile ambientsLEVI, Francesca; MAFFEIS, Sergio.Lecture notes in computer science. 2001, pp 395-411, issn 0302-9743, isbn 3-540-42314-1Conference Paper
Static design of cable mooring arrays for offshore guyed towers = Calcul statique d'un réseau de câbles d'amarrage pour des tours haubannées en merORGILL, G; WILSON, J. F; SCHERTMANN, G. R et al.Applied ocean research. 1985, Vol 7, Num 3, pp 166-174, issn 0141-1187Article
Lösung von baustatischen Problemen mit Mikrocomputern: Einsatzgebiete und Grenzen = Résolution de problèmes de statique des constructions avec des micro-ordinateurs: domaine d'application et limites = Solving problems in structural engineering with microcomputers: applications and limitationsSCHWEITZERHOF, K; WEIMAR, K.Bauingenieur. 1985, Vol 60, Num 10, pp 387-392, issn 0005-6650Article
Statik der Tunnel im Lockergestein-Vergleich der Berechnungsmodelle = Statique du tunnel dans un sol meuble. Comparaison des modèles de calculERDMANN, J; DUDDECK, H.Bauingenieur. 1983, Vol 58, Num 11, pp 407-414, issn 0005-6650Article
Statik ― eine freie oder eine unfreie Kunst? = L'analyse des structures ― Art libre ou non? = Structural analysis is it a liberal art or not?MEYER, K.Bautechnik (Berlin, 1984). 1986, Vol 63, Num 1, pp 1-4, issn 0932-8351Article
Die statische Berechnung der beliebig geformten Bogenlamelle im Talsperrenbau = Calcul statique d'une membrane cintrée de forme quelconque pour la construction des barragesGLATZL, J.ÖIAZ. 1985, Vol 130, Num 4, pp 121-131, issn 0721-9415Article
Abstract specialization and its applicationsPUEBLA, German; HERMENEGILDO, Manuel.ACM SIGPLAN notices. 2003, Vol 38, Num 10, pp 269-283, issn 1523-2867, 15 p.Conference Paper