2482 search results - page 159 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
118
Voted
ICALP
1998
Springer
15 years 5 months ago
1998
Springer
An architecture is described for designing systems that acquire and manipulate large amounts of unsystematized, or so-called commonsense, knowledge. Its aim is to exploit to the fu...
193
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
197
Voted
POPL
2003
ACM
16 years 2 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
97
Voted
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Current practice in the design of application software for high-performance embedded computing systems is characterized by long development times, lack of interoperability with ot...