| Publisher | University of Alabama | ||
|---|---|---|---|
| Format | 53.1KB PDF | Date added | 01 Jan 2008 |
| Topics | Programming Languages | ||
| Downloads | 19 | ||
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.
Did you find this white paper useful?
11 out of 20 users found this white paper useful
Related white papers
Enhancing Development and Performance with C# 2.0 Generics
Generics allow you to define data structures, without committing to actual data types. This results with significant performance boost, and higher quality code, because you get to reuse data processing...
Sentara Healthcare optimizes the health of critical technology
To effectively serve the 2 million residents that turn to them for healthcare services, Sentara Healthcare must coordinate operations across some 112 separate facilities in Virginia and North Carolina, including...
MSDN Webcast: Comparative Windows Code Protection Technologies, Strengths, and Weaknesses (Level 200)
As a developer, one not only have to consider writing great applications with broad appeal, but one also needs to consider how to protect applications so that they are not...
MSDN Webcast: Lighting Up the New Visual Studio 2010 Editor With Rich Extensions (Level 200)
While many of them may know that Microsoft Visual Studio 2010 comes with a new extensible editor based on Windows Presentation Foundation (WPF), does one know why one should care?...
MSDN Webcast: Got Memory Leaks? Find Errors Using Intel Parallel Studio (Level 300)
Discover how easy it is to detect challenging memory errors by taking advantage of the power of Microsoft Visual Studio 2010 and Intel Parallel Studio. Intel Parallel Studio is an...
Ajax: For Graphics-Intensive Web Applications
Ajax (which stands for asynchronous JavaScript and XHTML) is not a technology per se, but rather a design approach for Web applications. Ajax improves the user's Web application experience while...
Numerical Library Provider Realizes Major Performance Gains by Parallelizing Its Code
Visual Numerics needed a way to efficiently parallelize its C# numerical library software - and thus realized the performance gains made possible by today's multicore processors. The company continues to...
