Find link

language:

Find link is a tool written by Edward Betts.

searching for Separation logic 5 found (28 total)

Advanced Programming Specialist Group (302 words) [view diff] case mismatch in snippet view article find links to article

Hursley software November 2005, with Formal Aspects SG (BCS-FACS), Separation Logic "Our Heritage". Advanced Programming Specialist Group. British Computer

Discrete mathematics (2,768 words) [view diff] exact match in snippet view article find links to article

Calcagno, C. (January 2008). "Cyclic proofs of program termination in separation logic". ACM SIGPLAN Notices. 43 (1): 101–112. doi:10.1145/1328897.1328453

Behavioral subtyping (1,381 words) [view diff] exact match in snippet view article find links to article

2021-12-21. Parkinson, Matthew J.; Bierman, Gavin M. (January 2008). "Separation logic, abstraction and inheritance". ACM SIGPLAN Notices. 43 (1): 75–86.

Read-copy-update (5,065 words) [view diff] exact match in snippet view article find links to article

user-space RCU. A. Gotsman et al. derived formal semantics for RCU based on separation logic. Ilan Frenkel, Roman Geller, Yoram Ramberg, and Yoram Snir were granted

Floppy-disk controller (3,368 words) [view diff] exact match in snippet view article find links to article

interrupt and DMA signals in the floppy disk controller (FDC) Data separation logic Write pre-compensation logic Line drivers for signals to the controller