10575 search results - page 1640 / 2115 » T2Script Programming Language |
163
click to vote
IFL
2007
Springer
16 years 22 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...
149
click to vote
OOPSLA
2007
Springer
16 years 21 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...
176
click to vote
ICAC
2006
IEEE
16 years 19 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...
142
click to vote
IPPS
2006
IEEE
16 years 18 days ago
2006
IEEE
Parallel programming is facilitated by constructs which, unlike the widely used SPMD paradigm, provide programmers with a global view of the code and data structures. These constr...
177
click to vote
SIGSOFT
2006
ACM
16 years 16 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...