https://github.com/philzook58/wp-lens

Concolic Weakest Precondition as a Lens ¯\_(ツ)_/¯
https://github.com/philzook58/wp-lens

lens silly weakest-preconditions

Last synced: 8 months ago
JSON representation

Concolic Weakest Precondition as a Lens ¯\_(ツ)_/¯

• Host: GitHub
• URL: https://github.com/philzook58/wp-lens
• Owner: philzook58
• License: bsd-3-clause
• Created: 2019-10-10T01:53:51.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2019-10-10T13:32:24.000Z (about 6 years ago)
• Last Synced: 2025-01-08T15:34:39.878Z (9 months ago)
• Topics: lens, silly, weakest-preconditions
• Language: Haskell
• Size: 16.6 KB
• Stars: 3
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# wp-lens

Lens as a computation structure for organizing concolic execution of a weakest precondition verifier. 

Blog post: http://www.philipzucker.com/concolic-weakest-precondition-is-kind-of-like-a-lens/

Other thoughts:

- monoidal category for parallelism?

- what is up with seperation logic.