# \#behavioral-programmi

**URL:** https://clojureverse.org/tag/behavioral-programmi/151.md

[Latest](https://clojureverse.org/latest.md) · [Categories](https://clojureverse.org/categories.md) · [Tags](https://clojureverse.org/tags.md)

---

## [Behavioral Programming in Clojure](https://clojureverse.org/t/behavioral-programming-in-clojure/10956)

<div class="topic-metadata">

**Author:** [@thomascothran](https://clojureverse.org/u/thomascothran)\
**Replies:** 1\
**Last updated:** [October 7, 2024, 4:06am UTC](https://clojureverse.org/t/behavioral-programming-in-clojure/10956 "2024-10-07T04:06:56Z")

</div>

Behavioral programming is a relatively new programming paradigm pioneered by David Harel, the creator statecharts. It has very solid theoretical foundations, and lends itself to formal proofs. But it also is intended to …