White Papers

Object-Oriented Software Specification in Programming Language Design and Implementation

Overview An object-oriented formal specification workbench is proposed for defining the syntax and semantics of programming languages, using which the formal properties of different languages can be elaborated and analyzed. This specification approach is an object-oriented representation structured around a denotational semantics methodology, which abstracts out various common details so that formal syntax and semantics can be defined elegantly. Specific details can be inherited and specialized in defining the semantics of various programming languages, and the reusability and modifiability of many programming languages features can be manifested across language paradigms. Furthermore, prototype implementations for these languages may be automatically developed from the formal specifications, providing a mechanism for compiler/interpreter reuse at the specification level.

Download White Paper

By downloading you agree to our Terms and Conditions. These include information regarding use of your personal data.

Publisher
University of Alabama
File Format
PDF
Date Published
Jan 2, 2009
Format
White Papers
Topics
Programming Languages

Similiar White Papers

Build Strong, Flexible J2EE apps With a WebSphere Cluster Environment

Build Strong, Flexible J2EE apps With a WebSphere Cluster Environment

When building a strong, extensible, and flexible J2EE application, one needs to consider several factors. One important

Publisher: IBM  |  Tags: application server, management, server

TechNet Webcast: Managing Hyper-V Virtual Machines With WMI and Windows PowerShell (Level 300)

TechNet Webcast: Managing Hyper-V Virtual Machines With WMI and Windows PowerShell (Level 300)

Before the beta release of Microsoft System Center Virtual Machine Manager 2008, there was only one option for automatin

Publisher: Microsoft  |  Tags: beta, management, windows server, windows server 2008

Building a Hybrid Data Warehouse Model

Building a Hybrid Data Warehouse Model

This paper discusses the hybrid design and provides a fully functional reference implementation. The system runs on Orac

Publisher: Oracle  |  Tags: data, database, warehouse

Taking Advantage of Microsoft Enterprise Library 4.0 for Visual Studio 2008

Taking Advantage of Microsoft Enterprise Library 4.0 for Visual Studio 2008

Microsoft Enterprise Library is a collection of reusable software components (application blocks) designed to assist sof

Publisher: Microsoft  |  Tags: developers, software

Why and How to Build a Continuous Integration Environment for the .NET Platform

Why and How to Build a Continuous Integration Environment for the .NET Platform

This paper is a learning tool and also a detailed manual to reference for executives, managers and developers on 'Why an

Publisher: Enterprise Solution Providers  |  Tags: developers

University of Alabama White Papers

Teaching Data Mining: The University of Alabama and SAS

Teaching Data Mining: The University of Alabama and SAS

The University of Alabama (UA) and SAS developed a partnership whereby students who complete a sequence of four graduate

Publisher: University of Alabama  |  Tags: data, data mining, mba

Wireless Technology and System Integration in Body Area Networks for m-Health Applications

Wireless Technology and System Integration in Body Area Networks for m-Health Applications

m-Health integrates mobile computing, medical sensor, and communications technologies for mobile health-care application

Publisher: University of Alabama  |  Tags: applications, computing