975 search results - page 98 / 195 » Declarative Aspect-Oriented Programming |
145
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...
184
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravari...
191
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
178
click to vote
PADL
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. xml is a language for describing markup languages for structured data. A growing number of applications that process xml documents are transformers, i.e., programs that c...
134
click to vote
IBERAMIA
2004
Springer
15 years 11 months ago
2004
Springer
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-li...