Sciweavers

3824 search results - page 233 / 765
» Geometry Constructions Language
Sort
View
JAVA
1999
Springer
15 years 8 months ago
Dynamic Denotational Semantics of Java
This chapter presents a dynamic denotational semantics of the Java programming language. This semantics covers almost the full range of the base language, excluding only concurrenc...
Jim Alves-Foss, Fong Shing Lam
ESOP
2000
Springer
15 years 8 months ago
A Calculus for Compiling and Linking Classes
Abstract. We describe a low-level calculus, called ink (pronounced "links"), designed to serve as an intermediate representation in compilers for class-based objectorient...
Kathleen Fisher, John H. Reppy, Jon G. Riecke
AAAI
2008
15 years 6 months ago
A Reductive Semantics for Counting and Choice in Answer Set Programming
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...
Joohyung Lee, Vladimir Lifschitz, Ravi Palla
EMNLP
2008
15 years 5 months ago
Multilingual Subjectivity Analysis Using Machine Translation
Although research in other languages is increasing, much of the work in subjectivity analysis has been applied to English data, mainly due to the large body of electronic resource...
Carmen Banea, Rada Mihalcea, Janyce Wiebe, Samer H...
SAC
2008
ACM
15 years 3 months ago
Embedding SPARQL into XQuery/XSLT
The tree-based languages XQuery and XSLT for XML are widely supported. Many tools do not yet support the new RDF graph query language SPARQL. We propose to embed SPARQL subqueries...
Sven Groppe, Jinghua Groppe, Volker Linnemann, Dir...