Termination of narrowing: automated proofs and modularity properties
Tesis doctoral de José Iborra López In 1936, alan turing proved that the halting problem, that is, deciding whether a […]
Tesis doctoral de Santiago Escobar Román
Información academica Santiago Escobar Román. Tesis donde Santiago Escobar Román ha sido autor, director o parte del tribunal.
Strategies and análisis techniques for functional program optimization
Tesis doctoral de Santiago Escobar Román Los sistemas informáticos desempeñan un papel importante en la moderna sociedad de la información.
Sobre la equiValencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos
Tesis doctoral de Lidia Sánchez Gil Eden es un lenguaje funcional paralelo que extiende haskell con construcciones sintácticas para especificar