43 results on '"Alpuente A"'
Search Results
2. A rewriting logic approach to the formal specification and verification of web applications
3. Using conditional trace slicing for improving Maude programs
4. An integrated framework for the diagnosis and correction of rule-based programs
5. A compact fixpoint semantics for term rewriting systems
6. On-demand strategy annotations revisited: An improved on-demand evaluation strategy
7. DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer
8. A Tool for Automated Certification of Java Source Code in Maude
9. Order-Sorted Generalization
10. A Visual Technique for Web Pages Comparison
11. Termination of narrowing revisited
12. An Abstract Analysis Framework for Synchronous Concurrent Languages based on source–to–source Transformation
13. A Framework for Timed Concurrent Constraint Programming with External Functions
14. A Rewriting-based Framework for Web Sites Verification
15. Abstract Model Checking of tccp programs
16. A semantic framework for the abstract model checking of tccp programs
17. Correct and Complete (Positive) Strategy Annotations for OBJ
18. Rules + strategies for transforming lazy functional logic programs
19. Abstract Correction of First-Order Functional Programs
20. OnDemandOBJ: A Laboratory for Strategy Annotations
21. On-demand Evaluation by Program Transformation
22. PO-1793 Clinical outcomes after interstitial HDR brachytherapy for locally advanced cervical cancer
23. How adolescents lose control over social networks: A process-based approach to problematic social network use.
24. A partial evaluation methodology for optimizing rewrite theories incrementally
25. Redundancy of Arguments Reduced to Induction
26. A Debugging Scheme for Functional Logic Programs
27. Declarative Debugging of Functional Logic Programs
28. P83-T ONAMIG: Effect of BOTOX® over cortical excitability (measured by transcranial magnetic stimulation) in chronic migraine
29. Imposing assertions in Maude via program transformation
30. Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)
31. Rewriting-based repairing strategies for XML repositories.
32. Wood species identification using stress-wave analysis in the audible range
33. Abstract Model Checking of tccp programs.
34. Preface
35. Application of Game-like Simulations in the Spanish Transplant National Organization.
36. Preface
37. A compositional semantic basis for the analysis of equational Horn programs
38. Incremental constraint satisfaction for equational logic programming
39. Polyspectral technique for the analysis of stress-waves characteristics and species recognition in wood veneers.
40. Can We Improve the Effectiveness of the Spanish Nondirected Donation Program?
41. Choroidal Melanoma With Ultrasound-Guided Episcleral Brachytherapy: Long-Term Results and Risk of Metastasis.
42. EP-1523: A decision aid method for lesion delineation based on directional fractal filtering.
43. EP-1124 URODYNAMIC CHANGES FOLLOWING SALVAGE RADIOTHERAPY FOR RECURRENT PROSTATE CANCER AFTER RADICAL PROSTATECTOMY
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.