K : a Rewrite Logic Framework for Language Design , Semantics , Analysis and Implementation CS 422 Lecture Notes for Homework 6

@inproceedings{Rosu2005KA,
  title={K : a Rewrite Logic Framework for Language Design , Semantics , Analysis and Implementation CS 422 Lecture Notes for Homework 6},
  author={Grigore Rosu},
  year={2005}
}
A framework, consisting of a technique and a notation, to define programming languages is presented. The technique, formalized in rewriting logic, is based on a first-order representation of continuations and on matching modulo associativity, commutativity and identity. The proposed notation consists of a series of conventions that make the language definitions intuitive, easy to understand, read and teach, compact, modular and scalable. One important notational convention is based on context… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 17 references

Program transf

  • E. Visser
  • with Stratego/XT: Rules, strategies, tools, and…
  • 2003
2 Excerpts

Compiling lang

  • M.G.J. van den Brand, J. Heering, P. Klint, P. A. Olivier
  • defs.: ASF+SDF compiler. ACM Trans. Program. Lang…
  • 2002
2 Excerpts

Introducing OBJ

  • J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, J.-P. Jouannaud
  • In Soft. Eng. with OBJ: alg. spec. in action…
  • 2000
3 Excerpts

N

  • M. Clavel, F. J. Durán, S. Eker, P. Lincoln
  • Mart́ı-Oliet, J. Meseguer, and J. F. Quesada…
  • 1999
2 Excerpts

CafeOBJ Report

  • R. Diaconescu, K. Futatsugi
  • World Scientific,
  • 1998
1 Excerpt

Alg

  • J. Goguen, G. Malcolm
  • Semantics of Imperative Programs. MIT,
  • 1996
1 Excerpt

Similar Papers

Loading similar papers…