2565 search results - page 176 / 513 » Object type constructors |
IJCAI
2007
13 years 10 months ago
2007
ESSENCE is a new formal language for specifying combinatorial problems in a manner similar to natural rigorous specifications that use a mixture of natural language and discrete ...
BTW
2009
Springer
13 years 10 months ago
2009
Springer
: Similarity search and data mining on time series databases has recently attracted much attention. In this paper, we represent a data object by several time series-valued attribut...
ECOOP
2008
Springer
13 years 10 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
CONSTRAINTS
2008
13 years 9 months ago
2008
Abstract. Essence is a formal language for specifying combinatorial problems, in a manner similar to natural rigorous specifications that use a mixture of natural language and disc...
POPL
2005
ACM
14 years 9 months ago
2005
ACM
In 1996, Gil and Lorenz proposed programming language constructs for specifying environmental acquisition in addition to inheritance acquisition for objects. They noticed that in ...