Author of the publication

Parametric Composable Modules in a Logic Programming Language.

, , and . Comput. Lang., 18 (2): 105-123 (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP., and . GULP, page 71-86. (1993)Javaset: Declarative programming in Java with sets., and . Conf. Computing Frontiers, page 2-11. ACM, (2004)Action Specifications in log., and . APPIA-GULP-PRODE, page 381-392. (1997)Declarative Programming with Intensional Sets in Java Using JSetL., , and . CoRR, (2020)Nondeterministic Programming in Java with JSetL., and . Fundam. Informaticae, 140 (3-4): 393-412 (2015)Dealing with Infinite Intensional Sets in CLP., , and . APPIA-GULP-PRODE, page 465-478. (1997)ACI1 Constraints., , , and . ICLP, page 573-587. MIT Press, (1999)On the Representation and Management of Finite Sets in CLP Languages., , , and . IJCSLP, page 40-54. MIT Press, (1998)Embedding extensional finite sets in CLP., and . ILPS, page 540-556. MIT Press, (1993)Logic Meta-Programming Facilities in 'LOG., and . META, volume 649 of Lecture Notes in Computer Science, page 148-161. Springer, (1992)