• Eiffel

  • Referenced in 289 articles [sw03522]
  • programming method. Both are based on a set of principles, including design by contract, command...
  • Ada95

  • Referenced in 293 articles [sw01753]
  • spectrum, and object-oriented high-level computer programming language, extended from Pascal and other languages ... Jean Ichbiah of CII Honeywell Bull under contract to the United States Department of Defense ... supersede the hundreds of programming languages then used by the DoD. Ada was named after...
  • Dlib-ml

  • Referenced in 12 articles [sw14413]
  • entire library has been developed with contract programming, which provides complete and precise documentation...
  • Jass

  • Referenced in 11 articles [sw32265]
  • with assertions. Design by Contract, proposed by Meyer for the programming language Eiffel ... Design by Contract extension for Java allowing to annotate Java programs with specifications ... compiler that translates annotated into pure Java programs in which compliance with the specification ... standard Design by Contract features known from classical program verification (e.g. pre- and postconditions, invariants...
  • qTorch

  • Referenced in 5 articles [sw27767]
  • study we implement a tensor network contraction program for simulating quantum circuits using multi-core ... generating the ordering of tensor index contractions: one is based on the tree decomposition...
  • jContractor

  • Referenced in 10 articles [sw01488]
  • detect violation of the contract specification during a program’s execution. jContractor’s bytecode engineering...
  • CodeContracts

  • Referenced in 2 articles [sw30949]
  • express coding assumptions in .NET programs. The contracts take the form of pre-conditions, post ... bring the advantages of design-by-contract programming to all .NET programming languages...
  • CSSV

  • Referenced in 20 articles [sw13701]
  • handles large programs by analyzing each procedure separately. To this end procedure contracts are allowed...
  • CC-Pi

  • Referenced in 29 articles [sw15033]
  • work we propose a simple model of contracts for QoS and SLAs that also allows ... requirements. Our language combines two basic programming paradigms: name-passing calculi and concurrent constraint programming...
  • HALO

  • Referenced in 3 articles [sw23942]
  • logic through denotational semantics. Even well-typed programs can go wrong in modern functional languages ... response is to allow programmers to write contracts that express semantic properties, such as crash ... study the static verification of such contracts. Our main contribution is a novel translation ... first-order logic of both Haskell programs, and contracts written in Haskell, all justified...
  • MuShROOM

  • Referenced in 13 articles [sw12000]
  • local contractivity under reasonable assumptions is given. The obtained nonlinear programs are treated as mathematical...
  • qpHPSC

  • Referenced in 13 articles [sw12001]
  • local contractivity under reasonable assumptions is given. The obtained nonlinear programs are treated as mathematical...
  • ChainCon

  • Referenced in 8 articles [sw12058]
  • ChainCon Software: Chain Contractions, Homology and Cohomology Software and Examples. The algorithms described ... paper have been implemented in the C++ programming language for optimal effectiveness and flexibility. Although...
  • PyBlame

  • Referenced in 1 article [sw18495]
  • higher-order contract system in Python. Contract programming is one of the most promising ways ... Python, which becomes increasingly desired. Higher-order contract systems that support fully specifying the behaviors...
  • KindSpec

  • Referenced in 2 articles [sw21609]
  • automated technique for inferring software contracts from programs that are written in a non-trivial...
  • Solidity

  • Referenced in 2 articles [sw30784]
  • language for implementing smart contracts. Smart contracts are programs which govern the behaviour of accounts ... other features. With Solidity you can create contracts for uses such as voting, crowdfunding, blind...
  • llprover

  • Referenced in 5 articles [sw11993]
  • undecidable. Therefore, this program limits the number of contraction rules for each path...
  • Jahob

  • Referenced in 10 articles [sw12385]
  • Jahob is a verification system for programs written in a subset of Java. Using Jahob ... statically prove that methods satisfy their contracts in all possible executions, as well as that...
  • Diogenes

  • Referenced in 3 articles [sw30238]
  • Developing Honest Java Programs with Diogenes. Modern distributed applications are typically obtained by integrating ... interaction among these services through behavioural contracts. The idea is a dynamic discovery and composition ... said honest if it always respects the contracts it advertises. Being honest is crucial, because ... However, developing honest programs is not an easy task, because contracts must be respected even...
  • KERNELC

  • Referenced in 1 article [sw38622]
  • used for automatically inferring software contracts from programs that are written in a non-trivial ... provided by 𝕂 with novel capabilities for contract synthesis that are based on abstract subsumption ... using other (observer) routines in the same program. We implemented our technique in the automated...