1950 search results - page 68 / 390 » Lambda-Free Logical Frameworks |
LICS
1996
IEEE
15 years 2 months ago
1996
IEEE
We present the linear type theory LLF as the forThis extended abstract will appear on the proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science -LICS'...
ENTCS
2008
14 years 10 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
LOGCOM
2006
14 years 10 months ago
2006
In reference (Foundation of specification. Journal of Logic and Computation, 15, 951
ICTAI
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in th...
ISM
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper presents a framework for interactive applications running in a lecture recording system using the board as interface metaphor. A number of such applications, called Cha...