π: a pattern language
You can't request more than 20 challenges without solving them. Your previous challenges were flushed.
π - 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...
More related itemsType-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...
SanDisk SDMSM2-008G-A11M 8GB M2 Memory Stick Micro...
The Memory Stick Micro (M2) is approximately one-third the size of the existing Memory Stick PRO Duo. The Memory Stick M2 continues the Memory Stick PRO Duo legacy by supporting full...
Linksys WRT610N Simultaneous Dual-N Band Wireless...
The sleek Simultaneous Dual-N Band WRT610N Router sets a new standard for design, expanded bandwidth, and robust performance. It's the ideal router for all your current and future digital...
|
Post new comment