11909 search results - page 18 / 2382 » The Scheme Programming Language |
94
Voted
FSTTCS
2007
Springer
15 years 9 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
142
Voted
MEMOCODE
2010
IEEE
15 years 21 days ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
134
Voted
CP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
111
Voted
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
Ong has shown that the modal mu-calculus model checking problem (equivalently, the alternating parity tree automaton (APT) acceptance problem) of possibly-infinite ranked trees gen...
133
Voted
PEPM
2007
ACM
15 years 9 months ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...