نتائج البحث

Verification of mutable data structures in Dafny: methodological aspects

• Authors : Blázquez, Jorge; Montenegro Montes, Manuel; Segura Díaz, Clara María

Subjects: Lenguajes de programación; 1203.23 Lenguajes de Programación

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

Semantic annotation of mutable data.

• Authors : Robert A Morris; Lei Dou; James Hanken

Subjects: Medicine; Science

• Source: PLoS ONE, Vol 8, Iss 11, p e76093 (2013)

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

Property Types for Mutable Data Structures in Java

• Authors : Bachmeier, Joshua; Beckert, Bernhard

Subjects: ddc:004; DATA processing & computer science; info:eu-repo/classification/ddc/004

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

Concurrency Control and Consistency Over Erasure Coded Data

• Authors : Anwitaman Datta; Frederique Oggier

Subjects: Concurrency; consistency; distributed storage

• Source: IEEE Access, Vol 10, Pp 118617-118638 (2022)

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

Separation logic: A logic for shared mutable data structures

• Authors : John C. Reynolds; The Pennsylvania State University CiteSeerX Archives

• Source: http://www.comp.nus.edu.sg/~cs6202/slides/reynolds02separation.pdf.

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

Separation Logic: A Logic for Shared Mutable Data Structures

• Authors : John Reynolds; The Pennsylvania State University CiteSeerX Archives

• Source: ftp://ftp.cs.cmu.edu/user/jcr/seplogic.ps.gz

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

An inference-rule-based decision procedure for verification of heap-manipulating programs with mutable data and cyclic data structures

• Authors : Zvonimir Rakamarić; Jesse Bingham; Alan J. Hu ...

• Source: http://www.cs.ubc.ca/~zrakamar/publications/vmcai2007-rbh.pdf.

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

BI as an Assertion Language for Mutable Data Structures

• Authors : Samin Ishtiaq; Peter W. O'Hearn; The Pennsylvania State University CiteSeerX Archives

• Source: http://www.dcs.qmul.ac.uk/~ohearn/papers/bi-assertion-lan.ps.

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

BI as an Assertion Language for Mutable Data Structures

• Authors : Samin Ishtiaq; Peter W. O'Hearn; The Pennsylvania State University CiteSeerX Archives

• Source: ftp://ftp.dcs.qmw.ac.uk/lfp/ohearn/bi-assertion-lan.ps

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

as an assertion language for mutable data structures

• Authors : Samin Ishtiaq; Peter W. O'hearn; Queen Mary ...

• Source: http://www.dcs.qmw.ac.uk/~ohearn/papers/bi-assertion-lan.ps.

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