3 citations · 5 across the 3 of their papers we have counts for
Showing 2007Show all
2 papers · 1 filter
cs.PL2007★ 1 cited
Observational semantics of the Prolog Resolution Box Model
Pierre Deransart, Mireille Ducassé, Gérard Ferrand
This paper specifies an observational semantics and gives an original presentation of the Byrd box model. The approach accounts for the semantics of Prolog tracers independently of…
cs.PL2007★ 3 cited
On using Tracer Driver for External Dynamic Process Observation
Pierre Deransart
One is interested here in the observation of dynamic processes starting from the traces which they leave or those that one makes them produce. It is considered here that it should…