2696 search results - page 287 / 540 » Semantic Abstraction and Anaphora |
160
click to vote
CAISE
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Tree structures provide a popular means to organize the information on the Web. Taxonomies of thematic categories, concept hierarchies, e-commerce product catalogs are ex...
141
click to vote
FSTTCS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
158
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we explore the idea that the code that constitutes a program actually forms a higher-level, program specific language. The symbols of the language are the abstracti...
169
click to vote
REX
1993
15 years 10 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
160
click to vote
ECLIPSE
2004
ACM
15 years 10 months ago
2004
ACM
Object-oriented software development is a subject area difficult to teach, especially to beginners. They face a lot of abstraction and (from a beginners point of view) isolated to...