H ? « ‹ ← → › »

Language peer sets for SLIC:
United States↑
United States/2002↑
Designed 2002 ↑
2000s languages ↑
Internet↑
New internationlism↑

SLIC(ID:3734/sli002)

alternate simple view
Country: United States
Designed 2002

for a Specification Language for Interface Checking

Ball and Rajamani MIcrosoft Research 2002

A specification language to facilitate interface in C
Related languages
C → SLIC   Augmentation of
References:
  • Thomas Ball; Sriram K. Rajamani (2002) Thomas Ball; Sriram K. Rajamani "SLIC: A Specification Language for Interface Checking (of C)" MSR-TR-2001-21 Microsoft January 2002 pdf
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder