2135 search results - page 63 / 427 » An Operational Semantics for JavaScript |
LOPSTR
2009
Springer
14 years 2 months ago
2009
Springer
We propose a new grouping operator for logic programs based on the group_by operator of SQL. The novelty of our proposal lies in the use of modes, which allows us to relax some rat...
IAT
2009
IEEE
14 years 2 months ago
2009
IEEE
—The paper extends the traditional browser concept with a Semantic Web tailored faceted browser thus providing integrated end-user grade support for both legacy Web and Semantic ...
LREC
2008
13 years 9 months ago
2008
The paper describes the project held within Russian National Corpus (http://www.ruscorpora.ru). Beside such obligatory constituents of a linguistic corpus as POS (parts of speech)...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
CL
2000
Springer
14 years 4 days ago
2000
Springer
Abstract. In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general object-oriented m...