(Q48989398)

English

Dafny

programming language

In more languages

Statements

programming language

0 references

proof assistant

0 references

2009

0 references

Dafny logo.jpg
690 × 573; 67 KB

0 references

programming paradigm

functional programming

0 references

imperative programming

0 references

design by contract

0 references

K. Rustan M. Leino

1 reference

https://github.com/dafny-lang/dafny/graphs/contributors

0 references

Daniel Matichuk

0 references

Identifiers

Google Knowledge Graph ID

0 references

Sitelinks

Wikipedia(4 entries)

enwiki Dafny
eswiki Dafny
etwiki Dafny
euwiki Dafny

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q48989398&oldid=2099536086"