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

نتائج البحث

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

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

Collection : Citeseerx فلترة بواسطة : موضوع
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

A certifying frontend for (sub)polyhedral abstract domains

Subjects: abstract interpretation; abstract domain of polyhedra; program verification in Coq

  • Source: http://hal.univ-grenoble-alpes.fr/docs/01/00/95/73/PDF/main.pdf.

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

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

Verification of Programs Manipulating Complex Dynamic Data Structures

  • Authors : Jiri Simacek; The Pennsylvania State University CiteSeerX Archives

Subjects: Categories and Subject Descriptors D.2.4 [Software Engineering; Software/Program Verification—Model Checking; F.1.1 [Computation by Abstract Devices

  • Source: http://acmbulletin.fiit.stuba.sk/vol5num1/simacek.pdf.

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

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

Certified Abstract Interpretation with Pretty-Big-Step Semantics

Subjects: Categories and Subject Descriptors F.3.1 [Specifying and Veri- fying and Reasoning about Programs; Mechanical verification Keywords Abstract Interpretation; Big-step semantics

  • Source: https://hal.inria.fr/hal-01111588/document/.

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

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

hydropyrimidines: A Review of their Chemotherapeutic Activities

Subjects: Readers”) may comment by clicking on ABSTRACT on the issue’s contents page

  • Source: https://ejournals.library.ualberta.ca/index.php/JPPS/article/viewFile/23836/17863/.

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

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

ANALYSIS AND VISUALIZATION OF FLOW FIELDS USING INFORMATION-THEORETIC TECHNIQUES AND GRAPH-BASED REPRESENTATIONS By

  • Authors : Jun Ma; The Pennsylvania State University CiteSeerX Archives

Subjects: Abstract. xxv

  • Source: http://digitalcommons.mtu.edu/cgi/viewcontent.cgi?article%3D1888%26context%3Detds.

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

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

Introspective pushdown analysis of higher-order programs

Subjects: Categories and Subject Descriptors D.3.4 [Programming lan- guages; Processors—Optimization; F.3.2 [Logics and Meanings of Programs

  • Source: http://matt.might.net/papers/earl2012ipdcfa.pdf.

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

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

Introspective pushdown analysis of higher-order programs

Subjects: General Terms Languages; Theory Keywords CFA2; pushdown systems

  • Source: http://ilyasergey.net/papers/introspective-icfp12.pdf.

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

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

Verification of Programs Manipulating Complex Dynamic Data Structures

  • Authors : Jiri Simacek; The Pennsylvania State University CiteSeerX Archives

Subjects: Categories and Subject Descriptors D.2.4 [Software Engineering; Software/Program Verification—Model Checking; F.1.1 [Computation by Abstract Devices

  • Source: http://acmbulletin.fiit.stuba.sk/abstracts/simacek.pdf.

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

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

Widening and narrowing operators for abstract interpretation

Subjects: Static Analysis; Abstract Interpretation; Abstract Domains

  • Source: http://www.dsi.unive.it/~cortesi/paperi/compLang_2011.pdf.

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

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

B.: Logico-numerical abstract acceleration and application to the verification of data-flow programs

  • Authors : Peter Schrammel; The Pennsylvania State University CiteSeerX Archives

Subjects: Key-words; Verification; Static Analysis

  • Source: http://hal.inria.fr/docs/00/75/34/91/PDF/report.pdf.

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

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 of  10,829 نتائج ل ""abstract""