5415 search results - page 861 / 1083 » The Implementation of Functional Programming Languages |
163
click to vote
CC
2007
Springer
16 years 23 days ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
161
click to vote
CC
2007
Springer
16 years 23 days ago
2007
Springer
Reference counting is a classical garbage collection method. Recently, a series of papers have extended the basic method to drastically reduce its notorious overhead and extend the...
147
click to vote
ICESS
2007
Springer
16 years 22 days ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
189
click to vote
ICLP
2007
Springer
16 years 22 days ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
240
click to vote
IFIP
2007
Springer
16 years 22 days ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...