3440 search results - page 474 / 688 » Logics For Context-Free Languages |
187
click to vote
IFL
2005
Springer
16 years 21 days ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
183
click to vote
PPDP
2005
Springer
16 years 20 days ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
194
click to vote
SEKE
2005
Springer
16 years 20 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
161
click to vote
SIGCSE
2004
ACM
16 years 18 days ago
2004
ACM
We describe the instructional software JFLAP 4.0 and how it can be used to provide a hands-on formal languages and automata theory course. JFLAP 4.0 doubles the number of chapters...
229
click to vote
ACNS
2004
Springer
16 years 18 days ago
2004
Springer
We present a practical protection mechanism against SQL injection attacks. Such attacks target databases that are accessible through a web frontend, and take advantage of flaws in...