14298 search results - page 140 / 2860 » Dynamic Languages and Applications |
227
click to vote
JUCS
2006
15 years 4 months ago
2006
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
152
click to vote
AADEBUG
1997
Springer
15 years 9 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
128
click to vote
LREC
2008
15 years 6 months ago
2008
Language resources and tools to create and process these resources are necessary components in human language technology and natural language applications. In this paper, we descr...
136
Voted
ICFP
2007
ACM
15 years 8 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
179
click to vote
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...