10585 search results - page 1663 / 2117 » The Orc Programming Language |
155
click to vote
CC
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
145
click to vote
ICLP
2007
Springer
16 years 11 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...
156
click to vote
IFL
2007
Springer
16 years 11 days ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
138
click to vote
OOPSLA
2007
Springer
16 years 10 days ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
168
click to vote
ICAC
2006
IEEE
16 years 8 days ago
2006
IEEE
— The need for self-healing software to respond with a reactive, proactive or preventative action as a result of changes in its environment has added the non-functional requireme...