3323 search results - page 13 / 665 » Computational Semantics with Functional Programming |
ENTCS
2007
14 years 9 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...
ICTAC
2009
Springer
15 years 4 months 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...
PADL
2004
Springer
15 years 3 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...
53
Voted
ENTCS
2007
14 years 9 months ago
2007
ACSC
2005
IEEE
15 years 3 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...