4139 search results - page 198 / 828 » Designing and Implementing Combinator Languages |
135
Voted
DBPL
1993
Springer
15 years 7 months ago
1993
Springer
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...
118
click to vote
AAAI
2006
15 years 4 months ago
2006
In this demonstration we will present the Tactical Iraqi, one of the implementations of the Tactical Language and Culture Training System (TLTS). The system helps learners acquire...
120
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
128
click to vote
ICALT
2008
IEEE
15 years 10 months ago
2008
IEEE
Nowadays the Internet users are from different ages and groups. Disabled people are a group of the Internet users. Some websites are especially created for these people. One group...
122
Voted
SAC
2006
ACM
15 years 9 months ago
2006
ACM
Transaction management is a known crosscutting concern. Previous research has been conducted to express this concern as an aspect. However, such work has used general-purpose aspe...