824 search results - page 94 / 165 » Constructing Functional Programs for Grammar Analysis Proble... |
122
click to vote
TLDI
2005
ACM
15 years 8 months ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
125
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
We introduce the All-Termination(T) problem: given a termination solver, T, and a program (a set of functions), find every set of formal arguments whose consideration is sufficie...
126
click to vote
EUSFLAT
2003
15 years 4 months ago
2003
Recently, several algorithms have been proposed for using neural networks in dynamic analysis of small structural systems, and also constructing adaptive material modeling subrout...
123
click to vote
EMO
2005
Springer
15 years 8 months ago
2005
Springer
Water systems often allow efficient water uses via water reuse and/or recirculation. Defining the network layout connecting water-using processes is a complex problem which involv...
122
click to vote
IFIP
2009
Springer
15 years 9 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...