Sciweavers

659 search results - page 32 / 132
» Binding as sets of scopes
Sort
View
VLDB
1995
ACM
150views Database» more  VLDB 1995»
15 years 4 months ago
Procedures in Object-Oriented Query Languages
We follow the stack-baaed approach to query languages which is a new formal and intellectual paradigm for integrating querying and programming for object-oriented databases. Queri...
Kazimierz Subieta, Yahiko Kambayashi, Jacek Leszcz...
DLS
2008
264views Languages» more  DLS 2008»
15 years 1 months ago
Contextual values
Context-oriented programming proposes to treat execution context explicitly and to provide means for context-dependent adaptation at runtime. There are many mechanisms that can be...
Éric Tanter
135
Voted
ICFP
2010
ACM
15 years 1 months ago
A fresh look at programming with names and binders
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
Nicolas Pouillard, François Pottier
105
Voted
ENTCS
2007
104views more  ENTCS 2007»
15 years 13 days ago
A Formal Framework for Web Services Coordination
Recently the term Web Services choreography has been introduced to address some issues related to Web Services composition and coordination. Several proposals for describing chore...
Claudio Guidi, Roberto Lucchi, Manuel Mazzara
NAR
2006
89views more  NAR 2006»
15 years 12 days ago
New Onto-Tools: Promoter-Express, nsSNPCounter and Onto-Translate
The Onto-Tools suite is composed of an annotation database and eight complementary, web-accessible data mining tools: Onto-Express, Onto-Compare, Onto-Design, Onto-Translate, Onto...
Purvesh Khatri, Valmik Desai, Adi L. Tarca, Sivaku...