Topic: "axiomatic-semantics"
bio-ontology-research-group/Onto2Graph
Generating graph structures from OWL ontologies
Language: JavaScript - Size: 97.7 MB - Last synced at: 9 days ago - Pushed at: over 7 years ago - Stars: 12 - Forks: 1
ccamacho/phd
Ph.D dissertation website
Language: HTML - Size: 38.2 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0
benmandrew/cavalry
Mini-language for program verification using Hoare logic
Language: OCaml - Size: 95.7 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
erikbuck/AxiomaticADT_cpp
Example of axiomatic definition of Abstract Data Type using C++
Language: C++ - Size: 38.1 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
flame-stream/calco
Contract-based approach to declaratively specify distributed dataflows
Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
flame-stream/palco
Calco Python API implementation. Contract-based approach to declaratively specify distributed dataflows
Language: Python - Size: 7.81 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
pbougou/proglangs
Programming Languages
Language: C - Size: 1.15 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
