Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Static analysis")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 1969

  • Page / 79
Export

Selection :

  • and

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

  • Page / 79