PrototypeCommune
TyGuS/suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
- Propriétaire
- TyGuS (organisation)
- Étoiles
- Étoiles : 131
- Forks
- Forks : 21
- Langage
- Scala
- Licence
- Aucune
- Création
- 2017
- Sujets
- separation-logicprogram-synthesisscalasmthoare-logicdeductive-reasoning
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Scala
Tous les dépôts Scala- joan38/kubernetes-clientÉtoiles : 131ScalaPrototype
- bambosan/Bicubic-Shader-BEÉtoiles : 131ScalaPrototype
- business4s/workflows4sÉtoiles : 131ScalaPrototype
- twitter-archive/standard-projectÉtoiles : 131ScalaPrototype
- jesseeichar/scala-ioÉtoiles : 131ScalaPrototype
- sbt/sbt-grollÉtoiles : 131ScalaPrototype