933 search results - page 115 / 187 » Multi-paradigm Declarative Languages |
124
click to vote
GG
2004
Springer
15 years 9 months ago
2004
Springer
A string generating hypergraph grammar is a hyperedge replacement grammar where the resulting language consists of string graphs i.e. hypergraphs modeling strings. With the help of...
152
click to vote
SCP
2010
15 years 2 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
146
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Nested data-parallelism (NDP) is a declarative style for programming irregular parallel applications. NDP languages provide language features favoring the NDP style, efficient com...
124
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generaliz...
127
click to vote
DALT
2007
Springer
15 years 10 months ago
2007
Springer
Agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-ag...