1665 search results - page 214 / 333 » Design Patterns as Language Constructs |
104
click to vote
HASKELL
2005
ACM
15 years 8 months ago
2005
ACM
Some Lisp programs such as Emacs, but also the Linux kernel (when fully modularised) are mostly dynamic; i.e., apart from a small static core, the significant functionality is dy...
123
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
115
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
118
click to vote
SIGSOFT
2000
ACM
15 years 6 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
127
click to vote
DBPL
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...