An abstract, reusable, and extensible programming language design architecture

DOI10.1007/978-3-642-41660-6_6zbMATH Open1397.68023OpenAlexW197852322MaRDI QIDQ1799296FDOQ1799296

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

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

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)

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
• Title not available (Why is that?)
• Abstract language design
• Title not available (Why is that?)

Uses Software

• XQuery
• CCUBE
• OPL
• YACC

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)