1131 search results - page 128 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
133
Voted
ICFP
2002
ACM
16 years 2 months ago
2002
ACM
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...
115
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
114
Voted
ALT
2003
Springer
15 years 11 months ago
2003
Springer
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...
120
Voted
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...
113
Voted
PLILP
1998
Springer
15 years 6 months ago
1998
Springer
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...