1021 search results - page 34 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
104
click to vote
EKAW
2008
Springer
15 years 28 days ago
2008
Springer
Query formulation is a key aspect of information retrieval, contributing to both the efficiency and usability of many semantic applications. A number of query languages, such as SP...
105
click to vote
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
ML
2006
ACM
15 years 5 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
EWCBR
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...