Sciweavers

2604 search results - page 239 / 521
» General constant expressions for system programming language...
Sort
View
CONCUR
2009
Springer
15 years 10 months ago
Perspectives on Transactional Memory
Abstract. We examine the role of transactional memory from two perspectives: that of a programming language with atomic actions and that of implementations of the language. We argu...
Martín Abadi, Tim Harris
CICLING
2007
Springer
15 years 10 months ago
Baby-Steps Towards Building a Spanglish Language Model
Abstract. Spanglish is the simultaneous use, or alternating of both, traditional Spanish and English within the same conversational event. This interlanguage is commonly used in U....
Juan Carlos Franco, Thamar Solorio
POPL
2005
ACM
16 years 4 months ago
Associated types with class
Haskell's type classes allow ad-hoc overloading, or typeindexing, of functions. A natural generalisation is to allow type-indexing of data types as well. It turns out that th...
Manuel M. T. Chakravarty, Gabriele Keller, Simon L...
PLDI
2004
ACM
15 years 9 months ago
Parametric regular path queries
Regular path queries are a way of declaratively expressing queries on graphs as regular-expression-like patterns that are matched against paths in the graph. There are two kinds o...
Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D....
WWW
2002
ACM
16 years 4 months ago
RQL: a declarative query language for RDF
Real-scale Semantic Web applications, such as Knowledge Portals and E-Marketplaces, require the managementof large volumes of metadata, i.e., information describing the available ...
Gregory Karvounarakis, Sofia Alexaki, Vassilis Chr...