2106 search results - page 180 / 422 » Operational Semantics for MSC'96 |
130
click to vote
PPDP
2001
Springer
15 years 10 months ago
2001
Springer
Cyclic data structures can be tricky to create and manipulate in declarative programming languages. In a declarative setting, a natural way to view cyclic structures is as denotin...
139
click to vote
HOTOS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract--End-to-end connectivity is growing increasingly diverse, with orders of magnitude differences in characteristics throughout the network. At the same time, most applicatio...
178
click to vote
DLOG
2009
15 years 3 months ago
2009
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...
174
click to vote
CORR
2011
Springer
15 years 28 days ago
2011
Springer
The MapReduce distributed programming framework has become popular, despite evidence that current implementations are inefficient, requiring far more hardware than a traditional r...
169
click to vote
AGP
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract. Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this ...