1423 search results - page 113 / 285 » Languages of Nested Trees |
134
Voted
DAGSTUHL
1998
15 years 4 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
132
Voted
LOGCOM
2007
15 years 3 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
129
Voted
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
121
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...
141
Voted
ECEASST
2010
14 years 10 months ago
2010
In this paper we introduce a MySQL code generator for a significant subset of OCL expressions which is based on the use of stored procedures for mapping OCL iterators. Our code gen...