1052 search results - page 53 / 211 » The Regular Real-Time Languages |
108
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
100
Voted
LACL
2005
Springer
15 years 9 months ago
2005
Springer
85
Voted
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
114
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We propose an algorithm that tests membership for regular expressions and show that the algorithm is correct. This algorithm is written in the style of a sequent proof system. The...
129
Voted
ADAEUROPE
2007
Springer
15 years 9 months ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...