On last.fm: Coldplay - Listen now!
BNET Business Network:
BNET
TechRepublic
ZDNet

FREE Registration is required

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.

(Is this item miscategorized? Does it need more tags? Let us know.)

Format:PDFSize:53 KB
Date:Jan 2008
Pages:6

People who downloaded this item also downloaded

White Paper Migration From Relational Database Into Object Oriented Database
White Paper Architecture in Object Oriented Databases
White Paper Object Oriented Programming Constructs' in VHSIC Hardware Description Language 'Why & How'
White Paper The Object-Oriented Design Knowledge
Download The Site of Requirement Widget 1 (Windows)

Top results from Programming Languages

White Paper Designing High Availability for Internet Information Services
White Paper Number Systems Decoded - Binary, Decimal, and Hexadecimal
White Paper 5 Rules of Effective Negotiating
White Paper The Scoop on the New CCNA and CCNP Specializations
White Paper Citizants: Bringing IT In-House

» View all Programming Languages listings

advertisement
Click Here

White Papers, Webcasts, and Resources

Featured Training Courses

  • Smart Tech Expert advice on innovations in healthcare and the green technologies that make it happen. Find out more
  • Smart Business Discussion and advice on management issues that revolve around making your world smarter and more useful. More Smart Advice
  • Smart People The best and worst moves in the management and strategy trenches. Learn More

Returning users: Log In Here!

Already registered on BNET, TechRepublic, or ZDNet? Simply log in.

Free Membership: Sign Up Now!

Sign up for a free membership today and get instant and unlimited access to one of the largest databases of white papers, webcasts, and casestudies anywhere. Your FREE membership allows you to:

  • Download an unlimited amount of content, including classic and current white papers, case studies, webcasts and more
  • Track content on your chosen topics of interest
  • Receive targeted email alerts when your favorite content is added
  • Save content for future reading
  • Receive our member newsletter

When you register to access this library, you allow us to share your information with companies that produce products or services featured in the library--so that such companies may contact you with information and offers regarding their products and services. This enables us to keep the library a free service. As a library registrant, you will receive a complimentary subscription to the ZDNet white paper newsletter and e-mail Must-Read News Alerts. You can unsubscribe from these at any time. By clicking the Sign up button, you indicate that you agree to our Terms and Conditions and have read and understand our Privacy Policy (updated).