Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Promela

< >

Promela is a programming language created in 1997.

#1673on PLDB 27Years Old 109Repos
REPL · Wikipedia


Example from Riju:
active proctype main() { printf("Hello, world!\n"); }
Example from hello-world:
active proctype main(){ printf("Hello World") }

Language features

Feature Supported Example Token
Strings ✓ "Hello world" "
Print() Debugging ✓ printf
View source
- Build the next great programming language · Add · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements · Part of the World Wide Scroll