5377 search results - page 975 / 1076 » Programming Languages For Interactive Computing |
135
Voted
RV
2010
Springer
15 years 1 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
116
Voted
SIGSOFT
2001
ACM
16 years 3 months ago
2001
ACM
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...
142
click to vote
CGO
2008
IEEE
15 years 9 months ago
2008
IEEE
Modern compilers implement a large number of optimizations which all interact in complex ways, and which all have a different impact on code quality, compilation time, code size,...
122
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Previous type systems for mobility calculi (the original Mobile Ambients, its variants and descendants, e.g., Boxed Ambients and Safe Ambients, and other related systems) offer lit...
132
click to vote
MSS
2000
IEEE
15 years 7 months ago
2000
IEEE
The Jiro™ technology provides an environment intended for the implementation of storage management solutions. A product based on Jiro technology is an implementation based on th...