5415 search results - page 750 / 1083 » The Implementation of Functional Programming Languages |
125
click to vote
IWPC
2008
IEEE
16 years 1 months ago
2008
IEEE
Developers rely on the mechanisms provided by their IDE to browse and navigate a large software system. These mechanisms are usually based purely on a system’s static source cod...
187
click to vote
DEDUCTIVE
1997
15 years 8 months ago
1997
We present a query language, called the Datalog++ , for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirabl...
155
click to vote
ACSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Jails, Sandboxes and other isolation mechanisms limit the damage from untrusted programs by reducing a process’s privileges to the minimum. Sandboxing is designed to thwart such...
157
click to vote
ICLP
2007
Springer
16 years 27 days ago
2007
Springer
As logic programming applications grow in size, Prolog systems need to efficiently access larger and larger data sets and the need for any- and multiargument indexing becomes more...
202
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...