programming semantics
Sort by: Relevance | Date
Multilanguage Programming on the JVM: the Ada 95 Benefits
White Paper Although the Java Virtual Machine was designed to support the semantics of the Java programming language, it can also be used as a target for other languages. The latest trend in our industry, \pervasive computing", predicts the proliferation of... [03 Jul 2008]
Distributed Threads in Java
White Paper When using a distributed control flow programming model like Java RMI or OMG CORBA, the programmer should take into account an inherent shift of semantics. The paper experienced a particular problem with shift of thread semantics when extending a... [03 Jul 2008]
Open Implementation of UML Meta-Model(s): Making Meta-Modeling and Meta-Programming Meet
White Paper From the origin the UML meta-model has been a valuable mechanism to describe the semantics of UML models as well as to extend UML itself. This paper proposes a first attempt toward an "open implementation" of UML meta-models operationalizing... [03 Jul 2008]
API Semantics for Native ATM Services Using UNI 4.0
White Paper The semantic description presented in this document is not an Applications Programming Interface (API). An API is a set of libraries or interfaces that enable an application to use the language in which it is written to access the functionality of... [03 Jul 2008]
Using SOA With WebSphere Process Integration Products, Part 2: Integration Development
White Paper The paper assumes a good understanding of programming concepts (control flow, looping, assignment, synchronous and asynchronous call semantics, and so forth), role-based development (business analyst, architect, developer, assembler and deployer... [09 May 2008]
MSDN Webcast: LINQ in Visual Studio 2008 (Level 300)
White Paper Each of these domains can have profound differences in semantics, data types, and capabilities, and much of the complexity in today's applications is the result of these mismatches. The presenter explains how Microsoft Visual Studio 2008 aims to... [24 Mar 2008]
Acute and TCP: Specifying and Developing Abstractions for Global Computation
White Paper Further, the paper is precisely characterizing the properties of TCP and UDP network communication; of particular interest is the semantics of communication failures. Together with the Acute language semantics this constitutes a mathematically... [14 Jan 2008]
ASP.NET Web Services or .NET Remoting: How to Choose
White Paper It exposes the full-object semantics of .NET to remote processes using plumbing that is both very flexible and extensible. Compared to ASP.NET Web services, which provide a very simple programming model based on message passing, .NET Remoting... [31 Mar 2007]
A Mobile Agent Service-Oriented Scripting Language Encoded on a Process Calculus
White Paper Mob is also encoded onto a process calculus with a well studied semantics. The paper presents a service-oriented scripting language for programming mobile agents in distributed systems. The main novelty of the language the authors call Mob, is the... [29 Mar 2007]
A Calculus of Untyped Aspect-Oriented Programs
White Paper Firstly, this semantics violates basic modularity principles of object-oriented programming. The dynamic semantics of aspects is typically specified by appealing to an underlying object-oriented language via a compiler transformation known as weaving. [08 Dec 2006]
Verification of Tree Updates for Optimization
White Paper These tree update languages use a "Snapshot semantics", in which all querying is performed first, after which a generated sequence of concrete updates is performed in a fixed order determined by query evaluation. [06 Dec 2006]
Exceptional Syntax
White Paper From the points of view of programming pragmatics, rewriting and operational semantics, the syntactic construct used for exception handling in ML-like programming languages, and in much theoretical work on exceptions, has subtly undesirable features. [04 Jul 2006]
Higher Order Combinators for Joins Patterns Using STM
White Paper This allows joins patterns to be implemented simply as a library and provides a transformational semantics for join patterns. Join patterns provide a higher level concurrent programming construct than the explicit use of threads and locks and have... [04 May 2006]
Programming as an Experience: The Inspiration for Self
White Paper The language semantics, user interface, and implementation each help create this integrated experience. The language semantics embed the programmer in a uniform world of simple objects that can be modified without appealing to definitions of... [02 Aug 2005]
Mapping UML Associations Into Java Code
White Paper Object-oriented programming languages do not contain syntax or semantics to express associations directly. Therefore, UML associations have to be implemented by an adequate combination of classes, attributes and methods. [13 Feb 2005]
Keep updated for stories matching programming semantics via RSS
