8766 search results - page 366 / 1754 » Functional logic programming |
130
click to vote
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
The increasing complexity of embedded systems calls for software design and implementation techniques that support specialization without abandonment of reusability. This brings u...
151
Voted
KRDB
2003
15 years 4 months ago
2003
The Polylog framework is designed to provide a language for efficiently automating complex queries of information represented in multiple formats. A Polylog program contains a set...
133
Voted
JELIA
2000
Springer
15 years 7 months ago
2000
Springer
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...
227
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
134
click to vote
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...