Dafny
id:
dafny-241-6767538
title:
Dafny
text:
Dafny is an imperative and functional compiled language that compiles to other programming languages, such as C#, Java, JavaScript, Go and Python. It supports formal specification through preconditions, postconditions, loop invariants, loop variants, termination specifications and read/write framing specifications. The language combines ideas from the functional and imperative paradigms; it includes support for object-oriented programming. Features include generic classes, dynamic allocation, in
brand slug:
wiki
category slug:
encyclopedia
description:
Programming language
original url:
https://en.wikipedia.org/wiki/Dafny
date created:
date modified:
2023-03-28T14:03:53Z
main entity:
{"identifier":"Q48989398","url":"https://www.wikidata.org/entity/Q48989398"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/4/44/Dafny_logo.jpg","width":690,"height":573}
fields total:
13
integrity:
15