513 search results - page 22 / 103 » A Middleware-Based Script Language |
LPAR
2000
Springer
15 years 3 months ago
2000
Springer
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
ATAL
1997
Springer
15 years 3 months ago
1997
Springer
Tcl/Tk is an attractive language for the design of intelligent agents because it allows the quick construction of prototypes and user interfaces; new scripts can easily be bound at...
SLE
2009
Springer
15 years 6 months ago
2009
Springer
We present a domain-specific language embedded within the Haskell programming language to build scripts in a declarative and typesafe manner. We can categorize script components i...
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
118
click to vote
FM
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...