π - not to be confused with the π-calculus - is a pattern-based language being developed by the Software Technology group at Technische Universität Darmstadt.
Quoting from the project website :
There is only one language construct in π: the pattern.
Patterns are, simply speaking, EBNF-expressions with an associated meaning; a pattern can be easiest understood as a function with a syntactically complex (context-free) "signature".
The non-terminal symbols in the signature are then the parameters of the...
Type-Checking Zero Knowledge
Type-Checking Zero Knowledge This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how certain properties...
Parsing Expression Grammars
Parsing Expression Grammars: A Recognition-Based Syntactic Foundation by Bryan Ford, MIT, 2004. For decades we have been using Chomsky's generative system of grammars, particularly...
COLA Brainfuck
From the Software Architecture Group at the Hasso Plattner Institut: Our tutorial on COLA provides insight on how programming languages can be implemented using the combined abstractions and...
Post new comment