5096 search results - page 755 / 1020 » Associations as a Language Construct |
165
click to vote
ENTCS
2007
15 years 6 months ago
2007
The method of logical relations assigns a relational interpretation to types that expresses operational invariants satisfied by all terms of a type. The method is widely used in ...
150
click to vote
ENTCS
2007
15 years 6 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
171
click to vote
LATA
2010
Springer
16 years 4 months ago
2010
Springer
This paper presents a new polynomial-time algorithm for the inclusion problem for certain pairs of regular expressions. The algorithm is not based on construction of finite automat...
160
click to vote
IJFCS
2007
15 years 6 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
160
click to vote
STTT
2008
15 years 6 months ago
2008
Abstract Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to const...