programming language this paper
Towards a Functional Library for Fault-Tolerant Grid Computing
White Paper This paper proposes an expressive grid programming language, which will provide such an interface. Then it shows how to map programs in this... [17 Nov 2004]
Language Support for Fast and Reliable Message-Based Communication in Singularity OS
White Paper This paper show that using advanced programming language and verification techniques, it is possible to provide and enforce strong system-wide invariants that enable... [08 May 2007]
About Microsoft's Delegates
White Paper This white paper also explains why this construct is not a part of the Java programming language. This construct, and the new keywords... [25 Feb 2004]
Scalable Programming Abstractions for XML Services
White Paper This paper describes some facets of the Scala programming language targeted at XML services that unify the disparate worlds through a judicious combination of existing... [23 Jun 2007]
An Introduction to SAS Macros
White Paper The SAS programming language has a rich "Tool-box" of features that can offer a lot of power to the user. The SAS macro facility gives the programmer the ability to introduce logic in the generation of... [07 Sep 2006]
Verified Reference Implementations of WS-Security Protocols
White Paper The implementation is structured as a library in the functional programming language F#. This paper describes a new reference implementation of the web services security... [31 May 2007]
Acute and TCP: Specifying and Developing Abstractions for Global Computation
White Paper This paper is designing and implementing Acute, an expressive and safe programming language (based on an OCaml core) with features for managing abstraction-safe... [15 Jan 2008]
UML Model Checking
White Paper In terms of programming languages this requirement is stated: "the precondition for every application is to be syntactically and semantically correct against the language specification".... [11 Feb 2005]
The GNU 64-Bit PL8 Compiler: Toward an Open Standard Environment for Firmware Development
White Paper For two decades, large parts of zSeries firmware have been written in the PL8 programming language. The existence of a large amount of mature zSeries firmware source code and our excellent experience... [29 Mar 2005]
The GNU 64-Bit PL8 Compiler: Toward an Open Standard Environment for Firmware Development
For two decades, large parts of zSeries firmware have been written in the PL8 programming language. The existence of a large amount of mature zSeries firmware source code and our excellent experience... [30 Mar 2005]
Data Abstraction and Information Hiding
White Paper The paper introduces a new specification language construct, the abstraction dependency, and argues that it is needed to achieve modular soundness in the presence of data abstraction and information hiding. [03 Jul 2008]
The Application of Visual Basic Computer Programming Language to Simulate Numerical Iterations
White Paper This paper examines the application of Visual Basic Computer Programming Language to Simulate Numerical Iterations, the merit of Visual Basic as a... [15 Jun 2007]
Porting GCC and Binutils to Windows CE
White Paper The result, according to Vitaliy, is that it is now possible to develop applications directly on a Pocket PC PDA using the standard C/C++ programming language. This... [05 Jun 2004]
An Introduction to Web Services Enabled with PHP
White Paper The implementations will be prevalent and portable, covering every operating system and programming language. This paper will also illustrate that using Web services is... [25 Feb 2004]
Efficient Programming Techniques for Digital Signal Processing
White Paper In this paper some programming techniques are proposed to decrease the development time by using a high-level language without impairing the real-time performance and... [25 Feb 2004]
Keep updated for stories matching programming language this paper via RSS
