5 citations · 15 across the 8 of their papers we have counts for
1 paper · 1 filter
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…