3441 search results - page 34 / 689 » Parallel Logic Programming Systems |
183
click to vote
TCS
2008
15 years 6 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...
175
click to vote
CONCUR
2004
Springer
15 years 12 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...
166
click to vote
ECOOPW
2000
Springer
15 years 10 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...
138
Voted
CCGRID
2003
IEEE
15 years 11 months ago
2003
IEEE