976 papers · page 37 of 49
Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed to a fixed selection rule such as the left-to-right one of Prolog. This has applications e.g. in parallel prog…
Gérard Boudol
Abstract elided by the publisher.
Marco Cadoli, Andrea Schaerf
Abstract elided by the publisher.
Luca Cardelli, Giorgio Ghelli
Abstract elided by the publisher.
John Clements, Matthew Flatt, Matthias Felleisen
Abstract elided by the publisher.
Sylvain Conchon, François Pottier
Abstract elided by the publisher.
Pascal Cuoq, Marc Pouzet
Abstract elided by the publisher.
Samir Genaim, Michael Codish
Abstract elided by the publisher.
Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen
Abstract elided by the publisher.
Michael Huth, Radha Jagadeesan, David A. Schmidt
Abstract elided by the publisher.
Bart Jacobs
Abstract elided by the publisher.
Shin-ya Katsumata, Atsushi Ohori
Abstract elided by the publisher.
Raghavan Komondoor, Susan Horwitz
Abstract elided by the publisher.
Peeter Laud
Abstract elided by the publisher.
John C. Mitchell
Abstract elided by the publisher.
David Monniaux
Abstract elided by the publisher.
Markus Müller-Olm, Oliver Rüthing
Abstract elided by the publisher.
Flemming Nielson, Helmut Seidl
Abstract elided by the publisher.
François Pottier, Christian Skalka, Scott F. Smith
Abstract elided by the publisher.
Francesco Ranzato
Abstract elided by the publisher.