3441 search results - page 34 / 689 » Parallel Logic Programming Systems |
TCS
2008
14 years 9 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
ECOOPW
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...
HPCS
2007
IEEE
15 years 4 months ago
2007
IEEE
CCGRID
2003
IEEE
15 years 3 months ago
2003
IEEE