6274 search results - page 222 / 1255 » Proofs, Programs, Processes |
171
click to vote
OOPSLA
2007
Springer
16 years 18 days ago
2007
Springer
: Elephant 2000 is a vehicle for some ideas about programming language features. We expect these features to be valuable in writing and verifying programs that interact with people...
149
click to vote
FSMNLP
2005
Springer
16 years 10 hour ago
2005
Springer
This paper presents SFST-PL, a programming language for finite state transducers which is based on extended regular expressions with variables. The programming language is both si...
186
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
132
click to vote
LREC
2010
15 years 8 months ago
2010
The goal of DARPA's Machine Reading (MR) program is nothing less than making the world's natural language corpora available for formal processing. Most text processing r...
182
click to vote
FECS
2006
15 years 7 months ago
2006
The Department of Computer Science at California State University, Los Angeles has established an assessment process to guide the continuous improvement of the undergraduate curri...