scientific article; zbMATH DE number 1086663

MaRDI QIDQ4362913zbMATH OpenFDO

Authors Marko van Eekelen, Sjaak Smetsers, Rinus Plasmeijer

Publication date 17 March 1998

zbMATH Keywords

lambda calculuslazy functional languageterm graph rewriting systems

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Cited in

(15)

• LEAN: An intermediate language based on graph rewriting
• Functional programming framework for \textit{GRworkbench}
• scientific article; zbMATH DE number 1617319 (Why is no real title available?)
• Inductive graphs and functional graph algorithms
• An extension of lambda-calculus for functional programming
• scientific article; zbMATH DE number 3942987 (Why is no real title available?)
• scientific article; zbMATH DE number 4030948 (Why is no real title available?)
• scientific article; zbMATH DE number 108369 (Why is no real title available?)
• scientific article; zbMATH DE number 1231498 (Why is no real title available?)
• scientific article; zbMATH DE number 7020157 (Why is no real title available?)
• On graph rewriting, reduction, and evaluation in the presence of cycles
• scientific article; zbMATH DE number 969070 (Why is no real title available?)
• Graph rewriting for the π-calculus
• Functional programming with graphs
• Parallel graph rewriting on loosely coupled machine architectures

Describes a project that uses

Uses Software

• CLEAN
• Miranda

This page was built for publication:

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