3 citations · 5 across the 3 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2019
Optimizing Space of Parallel Processes
Manfred Schmidt-Schauß, Nils Dallmeyer
This paper is a contribution to exploring and analyzing space-improvements in concurrent programming languages, in particular in the functional process-calculus CHF. Space-improvem…
cs.PL2018★ 3 cited
Space Improvements and Equivalences in a Functional Core Language
Manfred Schmidt-Schauß, Nils Dallmeyer
We explore space improvements in LRP, a polymorphically typed call-by-need functional core language. A relaxed space measure is chosen for the maximal size usage during an evaluati…
cs.PL2017★ 2 cited
An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages
Nils Dallmeyer, Manfred Schmidt-Schauss
We present an implementation of an interpreter LRPi for the call-by-need calculus LRP, based on a variant of Sestoft's abstract machine Mark 1, extended with an eager garbage colle…