Josep Silva

Sort by:

Functional and (Constraint) Logic Programming, Proc. of the 12th International Workshop, WFLP 2003

Germán Vidal, Sergio Antoy, +12 authors Alicia Villanueva
2003

Correction of Functional Programs . . . . . . . . . . . . . . . . . . . . . . . . . . 7<lb>M. Alpuente (U.P. Valencia), D. Ballis (U. Udine), S. Escobar (U.P.<lb>Valencia), M. Falaschi (U. Udine),… (More)

Study of stayability in Nellore cows using a threshold model.

M H Van Melis, J P Eler, +4 authors E. Pereira
Journal of animal science
2007

The objectives of the current study were to assess the feasibility of using stayability traits to improve fertility of Nellore cows and to examine the genetic relationship among the stayabilities at… (More)

A vocabulary of program slicing-based techniques

Josep Silva
ACM Comput. Surv.
2012

This article surveys previous work on program slicing-based techniques. For each technique, we describe its features, its main applications, and a common example of slicing using such a technique.… (More)

Run-Time Profiling of Functional Logic Programs

Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal
LOPSTR
2004

In this work, we introduce a profiling scheme for modern functional logic languages covering notions like laziness, sharing, and non-determinism. Firstly, we instrument a natural (big-step) semantics… (More)

Additive genetic relationships between heifer pregnancy and scrotal circumference in Nellore cattle.

J P Eler, Josep Silva, J. L. Evans, J. B. S. Ferraz, Fabio Dias, Bruce L. Golden
Journal of animal science
2004

To estimate heritability (h2) for yearling heifer pregnancy and to estimate the genetic correlation between heifer pregnancy and scrotal circumference, 18,145 records of Nellore heifers exposed to… (More)

Estimation of genetic parameters for body weights, scrotal circumference, and testicular volume measured at different ages in Nellore cattle.

Aline Augusti Boligon, Josep Silva, Raffaella Sesana, J C Sesana, Jaqueline Betteloni Junqueira, Luciana Albuquerque
Journal of animal science
2010

Data from 129,575 Nellore cattle born between 1993 and 2006, belonging to the Jacarezinho cattle-raising farm, were used to estimate genetic parameters for scrotal circumference measured at 9 (SC9),… (More)

Genetic associations of sexual precocity with growth traits and visual scores of conformation, finishing, and muscling in Nelore cattle.

Luciana Shiotsuki, Josep Silva, Humberto Tonhati, Luciana Albuquerque
Journal of animal science
2009

The objective of this study was to determine the possible use of heifer pregnancy at 16 mo as a selection criterion and its possible genetic associations with hip height, yearling weight, and visual… (More)

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs

Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal
LOPSTR
2007

The goal of partial evaluation is the specialization of programs w.r.t. part of their input data. Although this technique is already well-known in the context of functional languages, current… (More)

A Program Slicing Based Method to Filter XML/DTD Documents

Josep Silva
SOFSEM
2007

Precise explanation of success typing errors

Konstantinos Sagonas, Josep Silva, Salvador Tamarit
PEPM
2013

Nowadays, many dynamic languages come with (some sort of) type inference in order to detect type errors statically. Often, in order not to unnecessarily reject programs which are allowed under a… (More)

Filter Results:

Publication Year

Publication Type

Co-author

Journals and Conferences