Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-9 of  9 نتائج ل ""Cachera, David""

فلترة النتائج

Collection : Ecole Centrale Paris فلترة بواسطة : مؤلف
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

A Certified Denotational Abstract Interpreter

Subjects: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]Edimburgh; United Kingdom

  • Source: International Conference on Interactive Theorem Proving (ITP) ; https://inria.hal.science/inria-00537810 ; International Conference on Interactive Theorem Proving (ITP), 2010, Edimburgh, United

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Certified Static Analysis by Abstract Interpretation

Subjects: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]Bertinoro; Italy

  • Source: Foundations of Security Analysis and Design V (FOSAD) ; https://inria.hal.science/inria-00538753 ; Foundations of Security Analysis and Design V (FOSAD), 2009, Bertinoro, Italy. pp.223-257

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Comparing Techniques for Certified Static Analysis

Subjects: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]Moffett Field; United States

  • Source: The NASA Formal Methods Symposium (NFM) ; https://inria.hal.science/inria-00538772 ; The NASA Formal Methods Symposium (NFM), 2009, Moffett Field, United States. pp.111-115

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Extracting a Data Flow Analyser in Constructive Logic

Subjects: [INFO.INFO-ES]Computer Science [cs]/Embedded SystemsSpainBarcelona, Spain

  • Source: ESOP ; https://inria.hal.science/inria-00564633 ; ESOP, 2004, Barcelona, Spain

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Extracting a data flow analyser in constructive logic

Subjects: Program analysis; Constructive logic; Lattices

  • Source: ISSN: 1879-2294.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

Fast inference of polynomial invariants for imperative programs

Subjects: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

  • Source: https://inria.hal.science/inria-00595783 ; [Research Report] RR-7627, INRIA. 2011, pp.31.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

Long-Run Cost Analysis by Approximation of Linear Operators over Dioids

Subjects: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.5: Program analysis

  • Source: https://inria.hal.science/inria-00182338 ; [Research Report] RR-6338, INRIA. 2007, pp.35.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

Verification of Control Properties in the Polyhedral Model

Subjects: FORMAL VERIFICATION; AUTOMATIC INVARIANT GENERATION; VERIFICATION OF INFINITE SYSTEMS

  • Source: https://inria.hal.science/inria-00071830 ; [Research Report] RR-4756, INRIA. 2003.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

Advances in Bit Width Selection Methodology

Subjects: VLSI; CO-DESIGN; SYSTOLIC ARRAYS

  • Source: https://inria.hal.science/inria-00072136 ; [Research Report] RR-4452, INRIA. 2002.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-9 of  9 نتائج ل ""Cachera, David""