See this document in CiteSeerX!

Reusable Semantic Specifications of Programming Languages  (Make Corrections)  
J. E. Labra Gayo Department of Computer Science, University of Oviedo C/...



  Home/Search   Context   Related

 
View or download:
di.uniovi.es/~labra/...SBLPTutorial.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  di.uniovi.es/~labr...Publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: In this tutorial, we compare the main approaches for programming language semantic specification from the point of view of modularity and reusability. We will also present reusable monadic semantics, which combines monadic semantics with generic programming concepts and we will present the specification of simple functional, imperative and logic programming languages. (Update)

Similar documents based on text:   More   All
0.8:   Graphical Representations and Infinite Virtual Worlds In Logic and .. - Labra (2003)   (Correct)
0.7:   An Implementation of Modular Monadic Semantics using Folds and.. - Gayo (1998)   (Correct)
0.7:   Reusable Monadic Semantics of Logic Programs with.. - Gayo, Lovelle, Diez, Rio (2001)   (Correct)

BibTeX entry:   (Update)

@misc{ department-reusable,
  author = "Labra Gayo Department",
  title = "Reusable Semantic Specifications of Programming Languages",
  url = "citeseer.ist.psu.edu/687442.html" }
Citations not processed or no citations identified.

Documents on the same site (http://www.di.uniovi.es/~labra/Publications.html):   More
A Language Prototyping Tool Based on Semantic Building.. - Gayo, Lovelle, Diez.. (2001)   (Correct)
Graphical Representations and Infinite Virtual Worlds In Logic and .. - Labra (2003)   (Correct)
Reusable Monadic Semantics of Object Oriented Programming.. - Gayo, Lovelle, Diez, Rio   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC