163 research outputs found

    fixed point

    Full text link
    The study of the dual complexity space, introduced by S. Romaguera and M. P. Schellekens [Quasi-metric properties of complexity spaces, Topol. Appl. 98 (1999), pp. 311-322], constitutes a part of the interdisciplinary research on Computer Science and Topology. The relevance of this theory is given by the fact that it allows one to apply fixed point techniques of denotational semantics to complexity analysis. Motivated by this fact and with the intention of obtaining a mixed framework valid for both disciplines, a new complexity space formed by partial functions was recently introduced and studied by S. Romaguera and O. Valero [On the structure of the space of complexity partial functions, Int. J. Comput. Math. 85 (2008), pp. 631-640]. An application of the complexity space of partial functions to model certain processes that arise, in a natural way, in symbolic computation was given in the aforementioned reference. In this paper, we enter more deeply into the relationship between semantics and complexity analysis of programs. We construct an extension of the complexity space of partial functions and show that it is, at the same time, an appropriate mathematical tool for the complexity analysis of algorithms and for the validation of recursive definitions of programs. As applications of our complexity framework, we show the correctness of the denotational specification of the factorial function and give an alternative formal proof of the asymptotic upper bound for the average case analysis of Quicksort.The first and the third authors acknowledge the support of the Spanish Ministry of Science and Innovation, and FEDER, grant MTM2009-12872-C02-01 (subprogram MTM), and the support of Generalitat Valenciana, grant ACOMP2009/005. The second author acknowledges the support of the Science Foundation Ireland, SFI Principal Investigator Grant 07/IN.1/I977.Romaguera Bonilla, S.; Schellekens, M.; Valero Sierra, Ó. (2011). The complexity space of partial functions: A connection between Complexity Analysis and Denotational Semantics. International Journal of Computer Mathematics. 88(9):1819-1829. https://doi.org/10.1080/00207161003631885S18191829889De Bakker, J. W., & de Vink, E. P. (1998). Denotational models for programming languages: applications of Banach’s Fixed Point Theorem. Topology and its Applications, 85(1-3), 35-52. doi:10.1016/s0166-8641(97)00140-5Emerson, E. A., & Jutla, C. S. (1999). The Complexity of Tree Automata and Logics of Programs. SIAM Journal on Computing, 29(1), 132-158. doi:10.1137/s0097539793304741Flajolet, P., & Golin, M. (1994). Mellin transforms and asymptotics. Acta Informatica, 31(7), 673-696. doi:10.1007/bf01177551García-Raffi, L. M., Romaguera, S., & Sánchez-Pérez, E. A. (2002). Sequence spaces and asymmetric norms in the theory of computational complexity. Mathematical and Computer Modelling, 36(1-2), 1-11. doi:10.1016/s0895-7177(02)00100-0García-Raffi, L. M., Romaguera, S., & Sánchez-Pérez, E. A. (2003). The supremum asymmetric norm on sequence algebras. Electronic Notes in Theoretical Computer Science, 74, 39-50. doi:10.1016/s1571-0661(04)80764-3García-Raffi, L. M., Romaguera, S., Sánchez-Pérez, E. A. and Valero, O. Normed Semialgebras: A Mathematical Model for the Complexity Analysis of Programs and Algorithms. Proceedings of The 7th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, Florida, USA. Edited by: Callaos, N., Di Sciullo, A. M., Ohta, T. and Liu, T.K. Vol. II, pp.55–58. Orlando, FL: International Institute of Informatics and Systemics.Den Hartog, J. I., de Vink, E. P., & de Bakker, J. W. (2001). Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. Electronic Notes in Theoretical Computer Science, 40, 72-99. doi:10.1016/s1571-0661(05)80038-6Künzi, H.-P. A. (2001). Nonsymmetric Distances and Their Associated Topologies: About the Origins of Basic Ideas in the Area of Asymmetric Topology. History of Topology, 853-968. doi:10.1007/978-94-017-0470-0_3Medina, J., Ojeda-Aciego, M. and Ruiz-Calviño, J. A fixed point theorem for multi-valued functions with an application to multilattice-based logic programming. Applications of Fuzzy Sets Theory: 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7–10, 2007, Proceedings. Edited by: Masulli, F., Mitra, S. and Pasi, G. Vol. 4578, pp.37–44. Berlin: Springer-Verlag. Notes in Artificial IntelligenceO’Keeffe, M., Romaguera, S., & Schellekens, M. (2003). Norm-weightable Riesz Spaces and the Dual Complexity Space. Electronic Notes in Theoretical Computer Science, 74, 105-121. doi:10.1016/s1571-0661(04)80769-2Rodríguez-López, J., Romaguera, S., & Valero, O. (2004). Asymptotic Complexity of Algorithms via the Nonsymmetric Hausdorff Distance. Computing Letters, 2(3), 155-161. doi:10.1163/157404006778330816Rodríguez-López, J., Romaguera, S., & Valero, O. (2008). Denotational semantics for programming languages, balanced quasi-metrics and fixed points. International Journal of Computer Mathematics, 85(3-4), 623-630. doi:10.1080/00207160701210653Romaguera, S., & Schellekens, M. (1999). Quasi-metric properties of complexity spaces. Topology and its Applications, 98(1-3), 311-322. doi:10.1016/s0166-8641(98)00102-3Romaguera, S., & Schellekens, M. (2000). The quasi-metric of complexity convergence. Quaestiones Mathematicae, 23(3), 359-374. doi:10.2989/16073600009485983Romaguera, S., & Schellekens, M. P. (2002). Duality and quasi-normability for complexity spaces. Applied General Topology, 3(1), 91. doi:10.4995/agt.2002.2116Romaguera, S., & Valero, O. (2008). On the structure of the space of complexity partial functions. International Journal of Computer Mathematics, 85(3-4), 631-640. doi:10.1080/00207160701210117Romaguera, S., Sánchez-Pérez, E. A., & Valero, O. (2003). The complexity space of a valued linearly ordered set. Electronic Notes in Theoretical Computer Science, 74, 158-171. doi:10.1016/s1571-0661(04)80772-2Schellekens, M. (1995). The Smyth Completion. Electronic Notes in Theoretical Computer Science, 1, 535-556. doi:10.1016/s1571-0661(04)00029-5Schellekens, M. 1995. “The smyth completion: A common topological foundation for denotational semantics and complexity analysis”. Pittsburgh: Carnegie Mellon University. Ph.D. thesisSeda, A. K., & Hitzler, P. (2008). Generalized Distance Functions in the Theory of Computation. The Computer Journal, 53(4), 443-464. doi:10.1093/comjnl/bxm108Straccia, U., Ojeda-Aciego, M., & Damásio, C. V. (2009). On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs. SIAM Journal on Computing, 38(5), 1881-1911. doi:10.1137/070695976Tennent, R. D. (1976). The denotational semantics of programming languages. Communications of the ACM, 19(8), 437-453. doi:10.1145/360303.360308Tix, R., Keimel, K., & Plotkin, G. (2005). RETRACTED: Semantic Domains for Combining Probability and Non-Determinism. Electronic Notes in Theoretical Computer Science, 129, 1-104. doi:10.1016/j.entcs.2004.06.06

    A connection between computer science and fuzzy theory: midpoints and running time of computing

    Get PDF
    Following the mathematical formalism introduced by M. Schellekens [Elec- tronic Notes in Theoret. Comput. Sci. 1 (1995), 211-232] in order to give a common foundation for Denotational Semantics and Complexity Analysis, we obtain an application of the theory of midpoints for asymmetric distances de ned between fuzzy sets to the complexity analysis of algorithms and pro- grams. In particular we show that the average running time for the algorithm known as Largetwo is exactly a midpoint between the best and the worst case running time of computingPeer Reviewe

    A new model based on a fuzzy quasi-metric type Baire applied to analysis of complexity

    Full text link
    [EN] We analyze the complexity of an expoDC algorithm by deducing the existence of solution for the recurrence inequation associated to this algorithm by means of techniques of Denotational Semantics in the context of fuzzy quasi-metric spaces. The fuzzy quasi-metrics provide an additional parameter "t" such that a suitable use of this ingredient gives rise to extra information on the involved computational process. This analysis is done by means of a fuzzy quasi-metric version of the Banach contraction principle on a space of partial functions endowed by a suitable adaptation of the Baire quasi-metric.This research is supported by the Ministry of Economy and Competitiveness of Spain, Grant MTM2012-37894-C02-01 and by Universitat Politecnica de Valencia, Grant PAID-06-12-SP20120471.Tirado Peláez, P. (2014). A new model based on a fuzzy quasi-metric type Baire applied to analysis of complexity. Journal of Intelligent and Fuzzy Systems. 27:2545-2550. https://doi.org/10.3233/IFS-141228S254525502

    Complete partial metric spaces have partially metrizable computational models

    Full text link
    We show that the domain of formal balls of a complete partial metric space (X, p) can be endowed with a complete partial metric that extends p and induces the Scott topology. This result, that generalizes well-known constructions of Edalat and Heckmann [A computational model for metric spaces, Theoret. Comput. Sci. 193 (1998), pp. 53-73] and Heckmann [Approximation of metric spaces by partial metric spaces, Appl. Cat. Struct. 7 (1999), pp. 71-83] for metric spaces and improves a recent result of Romaguera and Valero [A quantitative computational model for complete partial metric spaces via formal balls, Math. Struct. Comput. Sci. 19 (2009), pp. 541-563], motivates a notion of a partially metrizable computational model which allows us to characterize those topological spaces that admit a compatible complete partial metric via this model.The authors acknowledge the support of the Spanish Ministry of Science and Innovation, under grant MTM2009-12872-C02-01.Romaguera Bonilla, S.; Tirado Peláez, P.; Valero Sierra, Ó. (2012). Complete partial metric spaces have partially metrizable computational models. International Journal of Computer Mathematics. 89(3):284-290. https://doi.org/10.1080/00207160.2011.559229S284290893ALI-AKBARI, M., HONARI, B., POURMAHDIAN, M., & REZAII, M. M. (2009). The space of formal balls and models of quasi-metric spaces. Mathematical Structures in Computer Science, 19(2), 337-355. doi:10.1017/s0960129509007439Edalat, A., & Heckmann, R. (1998). A computational model for metric spaces. Theoretical Computer Science, 193(1-2), 53-73. doi:10.1016/s0304-3975(96)00243-5Edalat, A., & Sünderhauf, P. (1999). Computable Banach spaces via domain theory. Theoretical Computer Science, 219(1-2), 169-184. doi:10.1016/s0304-3975(98)00288-6Flagg, B., & Kopperman, R. (1997). Computational Models for Ultrametric Spaces. Electronic Notes in Theoretical Computer Science, 6, 151-159. doi:10.1016/s1571-0661(05)80164-1Heckmann, R. (1999). Applied Categorical Structures, 7(1/2), 71-83. doi:10.1023/a:1008684018933Kopperman, R., Künzi, H.-P. A., & Waszkiewicz, P. (2004). Bounded complete models of topological spaces. Topology and its Applications, 139(1-3), 285-297. doi:10.1016/j.topol.2003.12.001Krötzsch, M. (2006). Generalized ultrametric spaces in quantitative domain theory. Theoretical Computer Science, 368(1-2), 30-49. doi:10.1016/j.tcs.2006.05.037Künzi, H.-P. A. (2001). Nonsymmetric Distances and Their Associated Topologies: About the Origins of Basic Ideas in the Area of Asymmetric Topology. History of Topology, 853-968. doi:10.1007/978-94-017-0470-0_3LAWSON, J. (1997). Spaces of maximal points. Mathematical Structures in Computer Science, 7(5), 543-555. doi:10.1017/s0960129597002363Martin, K. (1998). Domain theoretic models of topological spaces. Electronic Notes in Theoretical Computer Science, 13, 173-181. doi:10.1016/s1571-0661(05)80221-xMatthews, S. G.Partial metric topology. Procedings of the 8th Summer Conference on General Topology and Applications, Ann. New York Acad. Sci. 728 (1994), pp. 183–197Rodríguez-López, J., Romaguera, S., & Valero, O. (2008). Denotational semantics for programming languages, balanced quasi-metrics and fixed points. International Journal of Computer Mathematics, 85(3-4), 623-630. doi:10.1080/00207160701210653Romaguera, S., & Valero, O. (2009). A quasi-metric computational model from modular functions on monoids. International Journal of Computer Mathematics, 86(10-11), 1668-1677. doi:10.1080/00207160802691652ROMAGUERA, S., & VALERO, O. (2009). A quantitative computational model for complete partial metric spaces via formal balls. Mathematical Structures in Computer Science, 19(3), 541-563. doi:10.1017/s0960129509007671ROMAGUERA, S., & VALERO, O. (2010). Domain theoretic characterisations of quasi-metric completeness in terms of formal balls. Mathematical Structures in Computer Science, 20(3), 453-472. doi:10.1017/s0960129510000010Rutten, J. J. M. M. (1998). Weighted colimits and formal balls in generalized metric spaces. Topology and its Applications, 89(1-2), 179-202. doi:10.1016/s0166-8641(97)00224-1Schellekens, M. P. (2003). A characterization of partial metrizability: domains are quantifiable. Theoretical Computer Science, 305(1-3), 409-432. doi:10.1016/s0304-3975(02)00705-3Smyth, M. B. (2006). The constructive maximal point space and partial metrizability. Annals of Pure and Applied Logic, 137(1-3), 360-379. doi:10.1016/j.apal.2005.05.032Waszkiewicz, P. (2003). Applied Categorical Structures, 11(1), 41-67. doi:10.1023/a:1023012924892WASZKIEWICZ, P. (2006). Partial metrisability of continuous posets. Mathematical Structures in Computer Science, 16(02), 359. doi:10.1017/s096012950600519

    Improving Model-Based Software Synthesis: A Focus on Mathematical Structures

    Get PDF
    Computer hardware keeps increasing in complexity. Software design needs to keep up with this. The right models and abstractions empower developers to leverage the novelties of modern hardware. This thesis deals primarily with Models of Computation, as a basis for software design, in a family of methods called software synthesis. We focus on Kahn Process Networks and dataflow applications as abstractions, both for programming and for deriving an efficient execution on heterogeneous multicores. The latter we accomplish by exploring the design space of possible mappings of computation and data to hardware resources. Mapping algorithms are not at the center of this thesis, however. Instead, we examine the mathematical structure of the mapping space, leveraging its inherent symmetries or geometric properties to improve mapping methods in general. This thesis thoroughly explores the process of model-based design, aiming to go beyond the more established software synthesis on dataflow applications. We starting with the problem of assessing these methods through benchmarking, and go on to formally examine the general goals of benchmarks. In this context, we also consider the role modern machine learning methods play in benchmarking. We explore different established semantics, stretching the limits of Kahn Process Networks. We also discuss novel models, like Reactors, which are designed to be a deterministic, adaptive model with time as a first-class citizen. By investigating abstractions and transformations in the Ohua language for implicit dataflow programming, we also focus on programmability. The focus of the thesis is in the models and methods, but we evaluate them in diverse use-cases, generally centered around Cyber-Physical Systems. These include the 5G telecommunication standard, automotive and signal processing domains. We even go beyond embedded systems and discuss use-cases in GPU programming and microservice-based architectures
    corecore