An abstract, reusable, and extensible programming language design architecture

DOI10.1007/978-3-642-41660-6_6MaRDI QIDQ1799296zbMATH OpenOpenAlexFDO

Authors Hassan Aït-Kaci

Publication date 18 October 2018

Full work available at URL https://doi.org/10.1007/978-3-642-41660-6_6

zbMATH Keywords

object-oriented programming\(\lambda\)-calculusdenotational semanticsoperational semanticsabstract machinesprogramming language designpolymorphic typesintermediate languagebottom-up parsingdeclarative collectionsLALR parser generationmonoid comprehensionsstatic/dynamic type-checking/inference

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Abstract language design
• A paradigmatic object-oriented programming language: Design, static typing and semantics
• scientific article; zbMATH DE number 3942988
• scientific article; zbMATH DE number 3856385
• Programming languages: Design, analysis, and semantics
• A rewriting semantics for a software architecture description language

Cited in

(9)

• Engineering a common intermediate representation for the Ovm framework
• Composing programming languages by combining action-semantics modules.
• Magma2: a language oriented toward experiments in control
• An algebra for distributed Big Data analytics
• A reflective functional language for hardware design and theorem proving
• A paradigmatic object-oriented programming language: Design, static typing and semantics
• scientific article; zbMATH DE number 815604 (Why is no real title available?)
• Abstract language design
• scientific article; zbMATH DE number 3880077 (Why is no real title available?)

Describes a project that uses

Uses Software

• YACC
• OPL
• CCUBE
• XQuery

This page was built for publication: An abstract, reusable, and extensible programming language design architecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1799296)