Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Abstract interpretation")

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

Results 1 to 25 of 790

  • Page / 32
Export

Selection :

  • and

Collecting potential optimisationsMAZUR, Nancy; JANSSENS, Gerda; VANHOOF, Wim et al.Lecture notes in computer science. 2003, pp 109-110, issn 0302-9743, isbn 3-540-40438-4, 2 p.Conference Paper

Abstract interpretation for improving WAM codeBALDAN, D; FILE, G.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63468-1, p. 364Conference Paper

Widening operators for powerset domains : Recent advances in hardware verificationBAGNARA, Roberto; HILL, Patricia M; ZAFFANELLA, Enea et al.International journal on software tools for technology transfer (Print). 2006, Vol 8, Num 4-5, pp 449-466, issn 1433-2779, 18 p.Conference Paper

Symbolic implementation of the best transformerREPS, Thomas; SAGIV, Mooly; YORSH, Greta et al.Lecture notes in computer science. 2004, pp 252-266, issn 0302-9743, isbn 3-540-20803-8, 15 p.Conference Paper

Pattern-based abstraction for verifying secrecy in protocolsBOZGA, L; LAKHNECH, Y; PERIN, M et al.International journal on software tools for technology transfer (Print). 2006, Vol 8, Num 1, pp 57-76, issn 1433-2779, 20 p.Conference Paper

Properties of a type abstract interpreterGORI, Roberta; LEVI, Giorgio.Lecture notes in computer science. 2003, pp 132-145, issn 0302-9743, isbn 3-540-00348-7, 14 p.Conference Paper

Abstract interpretation : A theory of approximate computationMARRIOTT, K.Lecture notes in computer science. 1997, pp 367-378, issn 0302-9743, isbn 3-540-63468-1Conference Paper

VMCAI 2004 : verification, model checking, and abstract interpretation (Venice, 11-13 January 2004)Steffen, Bernhard; Levi, Giorgio.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-20803-8, XI, 324 p, isbn 3-540-20803-8Conference Proceedings

Combining norms to prove terminationGENAIM, Samir; CODISH, Michael; GALLAGHER, John et al.Lecture notes in computer science. 2002, pp 126-138, issn 0302-9743, isbn 3-540-43631-6Conference Paper

Intelligent tutors for all : The constraint-based approach : Intelligent educational systemsMITROVIC, Antonija; MARTIN, Brent; SURAWEERA, Pramuditha et al.IEEE intelligent systems. 2007, Vol 22, Num 4, pp 38-45, issn 1541-1672, 8 p.Article

Membrane computing : Power, efficiency, applicationsPAUN, Gheorghe.Lecture notes in computer science. 2005, pp 396-407, issn 0302-9743, isbn 3-540-26179-6, 12 p.Conference Paper

Automatic verification by abstract interpretationCOUSOT, Patrick.Lecture notes in computer science. 2003, pp 20-24, issn 0302-9743, isbn 3-540-00348-7, 5 p.Conference Paper

Model composition for scheduling analysis in platform designRICHTER, Kai; ZIEGENBEIN, Dirk; JERSAK, Marek et al.Design automation conference. 2002, pp 287-292, isbn 1-58113-461-4, 6 p.Conference Paper

Can abstract interpretation become a mainstream compiler technology?HARRISON, L.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63468-1, p. 395Conference Paper

Software model checking with abstraction refinementPODELSKI, Andreas.Lecture notes in computer science. 2003, pp 1-3, issn 0302-9743, isbn 3-540-00348-7, 3 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

Symbolic Execution for Software Testing: Three Decades LaterCADAR, Cristian; SEN, Koushik.Communications of the ACM. 2013, Vol 56, Num 2, pp 82-90, issn 0001-0782, 9 p.Article

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

VMCAI 2005 : verification, model checking, and abstract interpretation (Paris, 17-19 January 2005)Cousot, Radhia.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-24297-X, XI, 481 p, isbn 3-540-24297-XConference Proceedings

Membrane systems : A quick introductionPAUN, Gheorghe.Lecture notes in computer science. 2005, pp 188-195, issn 0302-9743, isbn 3-540-27884-2, 8 p.Conference Paper

Lifting temporal proofs through abstractionsNAMJOSHI, Kedar S.Lecture notes in computer science. 2003, pp 174-188, issn 0302-9743, isbn 3-540-00348-7, 15 p.Conference Paper

Behavior-based model constructionSTEFFEN, Bernhard; HUNGAR, Hardi.Lecture notes in computer science. 2003, pp 5-19, issn 0302-9743, isbn 3-540-00348-7, 15 p.Conference Paper

Optimising active database rules by partial evaluation and abstract interpretationBAILEY, James; POULOVASSILIS, Alexandra; COURTENAGE, Simon et al.Lecture notes in computer science. 2002, pp 300-317, issn 0302-9743, isbn 3-540-44080-1, 18 p.Conference Paper

Transformation based communication and clock domain refinement for system designSANDER, Ingo; JANTSCH, Axel.Design automation conference. 2002, pp 281-286, isbn 1-58113-461-4, 6 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

  • Page / 32