1036 search results - page 104 / 208 » Report on INEX 2009 |
268
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Scribble is a system for writing library documentation, user guides, and tutorials. It builds on PLT Scheme's technology for language extension, and at its heart is a new app...
304
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
265
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
273
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Program monitoring is a well-established and efficient approach to security policy enforcement. An implementation of program monitoring that is particularly appealing for...
295
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Application frameworks provide reusable concepts that are instantiated in application code through potentially complex implementation steps such as subclassing, implement...