By Topic

IEE Proceedings - Software

Issue 5 • Date 27 Oct. 2003

Filter Results

Displaying Results 1 - 11 of 11
  • Software security: experiments on the .NET common language run-time and the Shared Source Common Language Infrastructure

    Publication Year: 2003, Page(s):303 - 307
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (215 KB)

    As more and more software applications are directly or indirectly accessible from the Internet, the importance of the security of these applications grows steadily. Hence, it is important that university curricula for computer scientists and software engineers include courses on secure software development. Such courses should make students familiar with the programming language technology, run-ti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Server based application level authorisation for Rotor

    Publication Year: 2003, Page(s):291 - 295
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (211 KB)

    Delegent is an authorisation server developed to provide a single centralised policy repository for multiple applications with support for decentralised administration by means of delegation. The author investigates how to integrate Delegent with the Rotor implementation of the .NET framework and compare the features of Delegent with those of the existing application level authorisation models of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multistage programming support in CLI

    Publication Year: 2003, Page(s):275 - 281
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (246 KB)

    Execution environments such as CLR and JVM provide many features needed by multi-stage programming languages, though there is no explicit support for them. Besides, staged computations are widely used in areas such as Web programming and generative programming. In the paper the authors present a possible CLR extension (which can also be ported to JVM) to provide support for multi-stage languages. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Rotor .Net platform

    Publication Year: 2003
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (170 KB)

    In June 2000, Microsoft announced its .NET strategy to the world and simultaneously opened the doors for a massive upsurge in language and operating system research. A significant part of this research is based on Rotor, the Microsoft supported community-based version of .NET. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design and implementation of assertions for the Common Language Infrastructure

    Publication Year: 2003, Page(s):329 - 336
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (695 KB)

    Assertions are a well established mechanism for the specification and verification of program semantics in the forms of pre-conditions, post-conditions and invariants of object and component interfaces. Traditionally, assertions are typically specific to individual programming languages. The ECMA Common Language Infrastructure (CLI) provides a shared dynamic execution environment for implementatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Concurrent object-oriented programming on .NET

    Publication Year: 2003, Page(s):308 - 314
    Cited by:  Papers (1)  |  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (240 KB)

    The SCOOP model (Simple Concurrent Object-Oriented Programming) offers a comprehensive approach to building high-quality concurrent and distributed systems. The model takes advantage of the inherent concurrency implicit in object-oriented programming to provide programmers with a simple extension enabling them to produce concurrent applications with little more effort than sequential ones. In the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic recompilation and profile-guided optimisations for a .NET JIT compiler

    Publication Year: 2003, Page(s):296 - 302
    Cited by:  Papers (1)  |  Patents (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (246 KB)

    The paper describes the design and implementation of an adaptive recompilation framework for Rotor, a shared source implementation of the common language infrastructure (CLI) that can increase program performance through intelligent recompilation decisions and optimisations based on the program's past behaviour. Our extensions to Rotor include a low overhead run-time-stack based sampling profiler ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Complete distributed garbage collection: an experience with Rotor

    Publication Year: 2003, Page(s):283 - 290
    Cited by:  Patents (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (277 KB)

    Support for distributed co-operative work implies object sharing. The memory management of these distributed (and possibly persistent) objects is a very difficult task. When done manually, it leads to memory leaks (useless objects that were not deleted) and dangling references (references to objects erroneously deleted), causing applications to fail. These errors have a strong negative impact on a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Benchmarking the CLI for high performance computing

    Publication Year: 2003, Page(s):266 - 274
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (257 KB)

    The common language infrastructure is a new, standardised virtual machine that is likely to become popular on several platforms. In the paper the author reviews whether this technology has any future in the high-performance computing community, for example by targeting the same application space as the Java-Grande Forum. The technology is reviewed by benchmarking three implementations of the CLI a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Activities and channels: C# language extensions for concurrency control and remote object communication

    Publication Year: 2003, Page(s):315 - 322
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (244 KB)

    The authors' goal is using .NET as a cross-development platform for programmed 'wearable' devices. The vision is a development environment that provides a (symbolic) 'burn down' button to download the full functionality of a C# object to any embedded device. The paper focuses on a notion of the remote object and on its implementation on top of the .NET Shared Source Common Language Infrastructure ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Compiler generation tools for C#

    Publication Year: 2003, Page(s):323 - 327
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (227 KB)

    Recursive descent parsing has the advantage of more convenient semantic processing than in the case of bottom-up parsing. However, it is limited to LL(1) grammars, which has often prevented its use for popular programming languages, such as Java or C#. The authors extended their compiler generator Coco/R, which generates recursive descent parsers, so that the user can specify rules for LL(1) confl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.