2496 search results - page 262 / 500 » Error-detecting properties of languages |
211
click to vote
TIME
2007
IEEE
16 years 1 months ago
2007
IEEE
Transaction-time temporal databases and query languages provide a solid framework for analyzing properties of queries over data streams. In this paper we focus on issues connected...
176
click to vote
ATAL
2007
Springer
16 years 28 days ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...
163
click to vote
KSEM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
307
click to vote
DELTA
2006
IEEE
16 years 24 days ago
2006
IEEE
The co-design of hardware and software systems with object oriented design languages like SystemC has become very popular. Static analysis of those descriptions allows to conduct ...
166
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context ...