Compiling Natural Semantics (Lecture Notes in Computer Science)

Description

===Computer相关链接===

Topics in Case-Based Reasoning (Lecture Notes i...
    [2007/1010]

COMPUTERWORLD - September 05 & 25, 2007
    [2007/1010]

Computers in Broadcast and Cable Newsrooms: Usi...
    [2007/1009]

Point-Based Graphics (The Morgan Kaufmann Serie...
    [2007/1008]

The Use of Projective Geometry in Computer Grap...
    [2007/1007]

Compiling Natural Semantics (Lecture Notes in Computer Science)

 

Publisher:   Springer
Number Of Pages:   240
Publication Date:   1999-06-11
Sales Rank:   3676285
ISBN / ASIN:   3540659684
EAN:   9783540659686
Binding:   Paperback
Manufacturer:   Springer
Studio:   Springer

Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due to the lack of practical tools for implementation, the natural semantics formalism has so far largely been limited to theoretical applications. This book introduces the rational meta-language RML as a practical language for natural semantics specifications. The main part of the work is devoted to the problem of compiling natural semantics, actually RML, into highly efficient code. For this purpose, an effective compilation strategy for RML is developed and implemented in the rml2c compiler. This compiler ultimately produces low-level C code. Benchmarking results show that rml2c-produced code is much faster than code resulting from compilers based on alternative implementation approaches.

http://rapidshare.com/files/61626578/Compiling_Natural_Semantics_.pdf

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Compiling Natural Semantics (Lecture Notes in Computer Science)" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 1329
2. Formal Syntax and Semantics of Java (Lecture Notes in Computer Science)
3. Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science)
4. [share_ebook] Journal on Data Semantics XI (Lecture Notes in Computer Science / Journal on Data Semantics) (Pt. 11
5. Journal on Data Semantics XI (Lecture Notes in Computer Science / Journal on Data Semantics) (Pt. 11)
6. Journal on Data Semantics XII (Lecture Notes in Computer Science / Journal on Data Semantics)
7. Model Generation for Natural Language Interpretation and Analysis (Lecture Notes in Computer Science
8. Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Lecture Notes in Computer Science)
9. [share_ebook] Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Lecture Notes in Computer Science)
10. Natural Language Processing and Information Systems: 9th International Conference on Applications of Natural Languages to Information Systems, NLDB 2004, ... (Lecture Notes in Computer Science)
11. Advances in Natural Computation: First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I (Lecture Notes in Computer Science)
12. Computer Science in Perspective: Essays Dedicated to Thomas Ottmann (Lecture Notes in Computer Science)
13. The Use of Projective Geometry in Computer Graphics (Lecture Notes in Computer Science, Vol 564)
14. Parallel Computer Architecture (Lecture Notes in Computer Science): Arndt Bode, Mario Dal Cin
15. Transactions on Computational Science I (Lecture Notes in Computer Science)
16. Transactions on Computational Science I (Lecture Notes in Computer Science)