4258 search results - page 551 / 852 » Languages and Interactive Software Development |
166
click to vote
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
157
click to vote
ACL
1989
15 years 5 months ago
1989
Comparative expressions (CEs) such as "bigger than" and "more oranges than" are highly ambiguous, and their meaning is context dependent. Thus, they pose probl...
115
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
The Bitstream Binding Language (BBL) is a new technology developed by the authors and being standardized by MPEG, which describes how multimedia content and metadata can be mapped...
124
click to vote
ERLANG
2006
ACM
15 years 10 months ago
2006
ACM
Erlang/OTP's DBMS Mnesia is lacking in several important areas to consider when implementing very large databases with massive scalability requirements. This article reveals ...
136
click to vote
ERLANG
2006
ACM
15 years 10 months ago
2006
ACM
This paper describes the lessons learnt when internally developing web applications in Erlang. On the basis of these experiences, a framework called the Web Platform has been impl...