718 search results - page 42 / 144 » Extraction of Structured Programs from Specification Proofs |
ESOP
2007
Springer
14 years 18 days ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
IJCSA
2007
13 years 8 months ago
2007
This article presents experiences in the automation of a testing process. The main goal is the unified testing of not only one program, but a whole family of programs. The family ...
ACL
2008
13 years 10 months ago
2008
Automatic extraction of collocations from large corpora has been the focus of many research efforts. Most approaches concentrate on improving and combining known lexical associati...
AC
2002
Springer
13 years 8 months ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...
LREC
2010
13 years 10 months ago
2010
This paper shows that a LAF/GrAF-based annotation schema can be used for the adequate representation of syntactic dependency structures in many languages. We first argue that ther...