2253 search results - page 192 / 451 » The ComFoRT Reasoning Framework |
146
click to vote
TPHOL
2000
IEEE
15 years 9 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...
ACMICEC
2004
ACM
15 years 10 months ago
2004
ACM
Business-to-business e-contracting has gained attention in recent years as a way to improve traditional paper contracting. However, a complete framework specifying the aspects of ...
123
click to vote
LACL
2001
Springer
15 years 9 months ago
2001
Springer
Lambek [13] introduces pregroups as a new framework for syntactic structure. In this paper we prove some new theorems on pregroups and study grammars based on the calculus of free...
131
click to vote
ICCS
1998
Springer
15 years 8 months ago
1998
Springer
Internet-based information technologies have considerable potential for improving collaboration in professional communities. In this paper, we explain the concept of user-driven sp...
146
Voted
REX
1991
15 years 8 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...