3385 search results - page 462 / 677 » Language, Logic, and the Brain |
154
click to vote
ICLP
2005
Springer
16 years 3 days ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
175
click to vote
IFL
2005
Springer
16 years 2 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 ...
165
click to vote
PPDP
2005
Springer
16 years 2 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...
172
click to vote
SEKE
2005
Springer
16 years 2 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...
143
click to vote
SIGCSE
2004
ACM
16 years 11 hour 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...