MGS: a rule-based programming language for complex objects and collections

DOI10.1016/S1571-0661(04)00293-2MaRDI QIDQ2841247zbMATH OpenWikidataFDO

Authors Jean-Louis Giavitto, Olivier Michel

Publication date 24 July 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)00293-2

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• MSCPDL -- a language for behavioural abstraction
• M3Set -- A language for handling of distributed and persistent sets of objects
• Complex-Prolog: A logic database language for handling complex objects
• scientific article; zbMATH DE number 1678370
• Mumbo: a rule-based implementation of a run-time program generation language
• A logic for programming with complex objects
• scientific article; zbMATH DE number 1059302

Cites work

• ``The arrival of the fittest: Toward a theory of biological organization
• Computing with membranes
• scientific article; zbMATH DE number 4055010 (Why is no real title available?)
• Logical string rewriting
• Principles of programming with complex objects and collection types
• The chemical abstract machine
• Topological models for boundary representation: A comparison with \(n\)- dimensional generalized maps

Cited in

(11)

• M3Set -- A language for handling of distributed and persistent sets of objects
• Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch
• Runtime verification for biochemical programs
• Mumbo: a rule-based implementation of a run-time program generation language
• A higher-order graph calculus for autonomic computing
• scientific article; zbMATH DE number 2013804 (Why is no real title available?)
• Spatial calculus of looping sequences
• A Topological Framework for the Specification and the Simulation of Discrete Dynamical Systems
• A rewriting logic framework for operational semantics of membrane systems
• Topological rewriting and the geometrization of programming
• An overview of the K semantic framework

Describes a project that uses

Uses Software

• NESL
• MGS

This page was built for publication: MGS: a rule-based programming language for complex objects and collections

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