2362 search results - page 131 / 473 » Programming in Standard ML |
126
Voted
PLPV
2010
ACM
16 years 20 days ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
146
Voted
CALCO
2005
Springer
15 years 9 months ago
2005
Springer
Event-pattern reactive programs are front-end programs for distributed reactive components that preprocess an incoming stream of event stimuli. Their purpose is to recognize tempor...
118
Voted
ISHPC
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Dynamic program optimization is the only recourse for optimizing compilers when machine and program parameters necessary for applying an optimization technique are unknow...
135
Voted
LPAR
1999
Springer
15 years 8 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
163
Voted
FOIKS
2008
Springer
15 years 5 months ago
2008
Springer
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...