3323 search results - page 13 / 665 » Computational Semantics with Functional Programming |
178
Voted
ENTCS
2007
15 years 5 months ago
2007
In modern functional logic languages like Curry or Toy, programs are possibly non-confluent and nonterminating rewrite systems, defining possibly non-deterministic non-strict fu...
138
click to vote
ICTAC
2009
Springer
16 years 11 days ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
157
click to vote
PADL
2004
Springer
15 years 11 months ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
119
Voted
ENTCS
2007
15 years 5 months ago
2007
149
Voted
ACSC
2005
IEEE
15 years 11 months ago
2005
IEEE
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...