Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.javascript > #124386

Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess)

From Mild Shock <janburse@fastmail.fm>
Newsgroups comp.lang.javascript
Subject Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess)
Date 2025-02-11 12:15 +0100
Message-ID <vofbgs$35so$3@solani.org> (permalink)
References <vmt1mc$bokb$4@solani.org> <vmtoor$c5ui$2@solani.org> <vo2kf4$11mi6$2@solani.org> <vo7luv$14pkn$3@solani.org>

Show all headers | View raw




Dogelog Player is a Prolog system for JavaScript,
Python and Java. It is 100% written in Prolog itself.
We present an enhancement to DCG translation. It uses
unification spilling to reduce the number of needed
unify (=)/2 calls and intermediate variables.

Unification spilling can be readily implemented by
performing unification (=)/2 during DCG translation.
Careful spilling without breaking steadfastness gave
us a 10% — 25% speed increase not only for the calculator
example but also for the Albufeira transpiler.

See also:

DCG Translation with Unification Spilling
https://x.com/dogelogch/status/1889270444647182542

DCG Translation with Unification Spilling
https://www.facebook.com/groups/dogelog

Back to comp.lang.javascript | Previous | NextPrevious in thread | Next in thread | Find similar


Thread

Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-01-23 16:55 +0100
  Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-02-06 16:28 +0100
    Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-02-08 14:24 +0100
      Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-02-11 12:15 +0100
        Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-02-13 19:13 +0100
          Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-02-20 11:20 +0100

csiph-web