Systems built around the use of such contracts, i.e. contract systems, are available as part of a number of programming languages, such as Eiffel [25], D [3], ...
確定! 回上一頁