175 search results - page 9 / 35 » Prototyping and Composing Aspect Languages |
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
13 years 7 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
ICWL
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we propose a language-driven approach for the high-level design of web-based learning applications. In our approach we define a domainspecific language that character...
INFSOF
1998
13 years 7 months ago
1998
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...
Book
"This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of pr...
LREC
2010
13 years 9 months ago
2010
We present a limited prototype of the CLARIN Language Technology Infrastructure (LTI) node, which provides several types of web services for Polish. The functionality encompasses ...