Find link

language:

Find link is a tool written by Edward Betts.

searching for Extended static checking 6 found (15 total)

alternate case: extended static checking

Xmonad (1,909 words) [view diff] exact match in snippet view article find links to article

purely functional data structures, an expressive type system, extended static checking and property-based testing. In addition, we describe the use of

James B. Saxe (240 words) [view diff] exact match in snippet view article find links to article

Mark; Nelson, Greg; Saxe, James B.; Stata, Raymie (May 2002), "Extended static checking for Java", Proceedings of PLDI 2002, SIGPLAN Notices, 37 (5): 234–245

Raymie Stata (991 words) [view diff] exact match in snippet view article find links to article

Flanagan, Cormac; Leino, K. Rustan M.; Lillibridge, Mark (2002). Extended static checking for Java. Vol. 37. pp. 234–245. CiteSeerX 10.1.1.19.162. doi:10

SIGPLAN (2,677 words) [view diff] case mismatch in snippet view article find links to article

Matt Welsh, Eric Brewer, and David E. Culler 2012 (for 2002): Extended Static Checking for Java by Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge

History of programming languages (3,811 words) [view diff] exact match in snippet view article find links to article

adding security and reliability verification to the language: extended static checking, dependent typing, information flow control, static thread safety

Intersection type (2,394 words) [view diff] case mismatch in snippet view article find links to article

2019-08-01. "Whiley: an Open Source Programming Language with Extended Static Checking". Retrieved 2019-08-01. "Whiley language specification" (PDF).