Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Interprétation abstraite")

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 768

  • Page / 31
Export

Selection :

  • and

Interprétation abstraite appliquée à la Compilation et la Parallélisation en Programmation Logique = Optimizing Compilation and Parallel Scheduling of Logic Programs with Abstract InterpretationMallet, Olivier; Cousot, Patrick.1992, 234 p.Thesis

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

Détermination statique des types pour le langage Set1 = Static type determination for the Set1 languageDubois Bocquet, Catherine; Donzeau-Gouge, Véronique.1989, 126 p.Thesis

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

Machines à environnement pour la réduction symbolique et l'évaluation partielle = Environment machines for symbolic reduction and partial evaluationCregut, Pierre; Cousineau, Guy.1991, 168 p.Thesis

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

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

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

Sémantiques des langages impératifs d'ordre supérieur et interprétation abstraite = Abstract intepretation of higher-order imperative languagesBourdoncle, François; Cousot, Patrick.1992, 258 p.Thesis

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

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

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

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

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

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

Towards a semantics-based information theoryBAUMANN, P.Formal aspects of computing. 1991, Vol 3, Num 4, pp 315-325, issn 0934-5043Article

Verification, model checking, and abstract interpretation (7th international conference, VMCAI 2006, Charleston SC, USA, January 8-10, 2006)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-31139-4, 1Vol, XI-442 p, isbn 3-540-31139-4Conference Proceedings

Data dependences as abstract interpretationsTZOLOVSKI, S.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63468-1, p. 366Conference 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

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

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

  • Page / 31