1005 search results - page 126 / 201 » A Language for Manipulating Arrays |
118
click to vote
DBPL
1991
Springer
15 years 8 months ago
1991
Springer
Persistent languages and systems provide the ability to create and manipulate all data in a uniform manner regardless of how long it persists. Such systems are usually implemented...
127
click to vote
BNCOD
1997
15 years 5 months ago
1997
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...
141
click to vote
PVLDB
2008
15 years 3 months ago
2008
Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these are relatively early research efforts, it is import...
140
click to vote
ICSE
2011
IEEE-ACM
14 years 7 months ago
2011
IEEE-ACM
We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, wri...
236
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...