Reusable Monadic Semantics of Object Oriented Programming Languages Export

@misc{citeulike:615445, abstract = {We specify the dynamic semantics of an object oriented programming language in an incremental way. We begin with a simple language of arithmetic and boolean expressions. Then, we add functional abstractions, local declarations, references and assignments obtaining a functional language with imperative features. We finally add objects, classes and subclasses to obtain a prototypical object oriented language with dynamic binding.}, author = {Gayo, Labra J. E. and Lovelle, Cueva J. M. and Diez, Luengo M. C. and Cernuda}, citeulike-article-id = {615445}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.7499}, keywords = {monads, oop, semantics}, posted-at = {2008-04-28 15:13:28}, priority = {5}, title = {Reusable Monadic Semantics of Object Oriented Programming Languages}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.7499} }

TY - GEN ID - citeulike:615445 L3 - citeulike-article-id:615445 N2 - We specify the dynamic semantics of an object oriented programming language in an incremental way. We begin with a simple language of arithmetic and boolean expressions. Then, we add functional abstractions, local declarations, references and assignments obtaining a functional language with imperative features. We finally add objects, classes and subclasses to obtain a prototypical object oriented language with dynamic binding. TI - Reusable Monadic Semantics of Object Oriented Programming Languages KW - monads KW - oop KW - semantics AU - Gayo, Labra AU - Lovelle, Cueva AU - Diez, Luengo AU - Cernuda UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.7499 ER -