We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.PL
< prev | next >
new | recent | 1604

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Programming Languages

Title: A Revision of the Mool Language

Authors: Cláudio Vasconcelos, António Ravara
(Submitted on 21 Apr 2016 (v1), last revised 22 Sep 2016 (this version, v4))
Abstract: We present here in a thorough analysis of the Mool language, covering not only its implementation but also the formalisation (syntax, operational semantics, and type system). The objective is to detect glitches in both the implementation and in the formal definitions, proposing as well new features and added expressiveness. To test our proposals we implemented the revision developed in the Racket platform.
Comments: 34 pages, 15 figures, 11 listings
Subjects: Programming Languages (cs.PL)
Cite as: arXiv:1604.06245 [cs.PL]
  (or arXiv:1604.06245v4 [cs.PL] for this version)

Submission history

From: Cláudio Vasconcelos [view email]
[v1] Thu, 21 Apr 2016 10:24:17 GMT (33kb,D)
[v2] Fri, 1 Jul 2016 13:02:42 GMT (41kb,D)
[v3] Mon, 4 Jul 2016 09:44:49 GMT (41kb,D)
[v4] Thu, 22 Sep 2016 10:15:47 GMT (42kb,D)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.