632 search results - page 37 / 127 » Explicit Substitutions and Programming Languages |
MAGS
2010
13 years 7 months ago
2010
Goals form a declarative description of the desired end result of (part of) an orchestration. A goal-oriented orchestration language is an orchestration language in which these goa...
FPCA
1995
14 years 8 days ago
1995
In functional programming, intermediate data structures are often used to “glue’) together small programs. Deforestation is a program transformation to remove these intermedia...
ICLP
2010
Springer
14 years 19 days ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
FSS
2008
13 years 8 months ago
2008
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
VL
2003
IEEE
14 years 2 months ago
2003
IEEE
Among the advantages of visual dataflow programming is that it can give the user a sense of location for the data in a computation. This can help novices build a mental picture of...