3319 search results - page 140 / 664 » Subshifts, Languages and Logic |
105
click to vote
JFLP
2002
15 years 12 days ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...
RULEML
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In particular, we argue tha...
107
click to vote
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
196
Voted
POPL
2002
ACM
16 years 1 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...
102
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...