3516 search results - page 165 / 704 » Programming Languages: Application and Interpretation |
148
click to vote
TYPES
2004
Springer
15 years 10 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
141
click to vote
EUROSYS
2008
ACM
16 years 2 months ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
163
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
161
click to vote
DBA
2006
15 years 6 months ago
2006
: Recursive queries are required in many object-oriented database applications. Among them we can mention Bill-Of-Material (BOM), stock market dependencies, various kinds of networ...
242
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...