wish# 1012 Extended Static Checking

Submitter: javier
Category: IDE
Date: 2015/08/20
Number: 1012
Status: Open
Synopsis: Extended Static Checking
Description

Extended static checking integrated into the IDE. For example, we could statically detect contract violations before even running the program.

See, for example, ESC/Java2 and the associated Eclipse plugin, or Spec# integration into VisualStudio [2]. Eiffel has most of the necessary language constructs already and doesn't require annotations. See also ES-Verify

Go to wish list

Interactions