70
Views
26
CrossRef citations to date
0
Altmetric
Original Articles

Denotational semantics for programming languages, balanced quasi-metrics and fixed points

, &
Pages 623-630 | Received 20 Oct 2006, Accepted 02 Jan 2007, Published online: 22 Sep 2010

Keep up to date with the latest research on this topic with citation updates for this article.

Read on this site (5)

Dhananjay Gopal, Oscar Valero & Shubham Yadav. (2022) A characterisation of weightable quasi-metric generating functions. Quaestiones Mathematicae 45:11, pages 1683-1698.
Read now
S. Romaguera, P. Tirado & O. Valero. (2012) New results on the mathematical foundations of asymptotic complexity analysis of algorithms via complexity spaces. International Journal of Computer Mathematics 89:13-14, pages 1728-1741.
Read now
S. Romaguera, P. Tirado & O. Valero. (2012) Complete partial metric spaces have partially metrizable computational models. International Journal of Computer Mathematics 89:3, pages 284-290.
Read now
S. Romaguera, M. P. Schellekens & O. Valero. (2011) The complexity space of partial functions: a connection between complexity analysis and denotational semantics. International Journal of Computer Mathematics 88:9, pages 1819-1829.
Read now
Salvador Romaguera & Oscar Valero. (2009) A quasi-metric computational model from modular functions on monoids. International Journal of Computer Mathematics 86:10-11, pages 1668-1677.
Read now

Articles from other publishers (21)

Ştefan Cobzaş. (2024) The Strong Ekeland Variational Principle in Quasi-Pseudometric Spaces. Mathematics 12:3, pages 471.
Crossref
J. M. Calabuig, H. Falciani, A. Ferrer Sapena, L. M. García Raffi & E. A. Sánchez Pérez. (2022) Graph Distances for Determining Entities Relationships: A Topological Approach to Fraud Detection. International Journal of Information Technology & Decision Making 22:04, pages 1403-1438.
Crossref
M. D. Mabula, J. J. Miñana & O. Valero. 2021. Positivity and its Applications. Positivity and its Applications 251 266 .
Naseer Shahzad, Oscar Valero, Mohammed A Alghamdi & Maryam A Alghamdi. (2015) On fixed point theory in topological posets, extended quasi-metric spaces and an application to asymptotic complexity of algorithms. Fixed Point Theory and Applications 2015:1.
Crossref
Maryam A Alghamdi, Naseer Shahzad & Oscar Valero. (2014) New results on the Baire partial quasi-metric space, fixed point theory and asymptoticcomplexity analysis for recursive programs. Fixed Point Theory and Applications 2014:1.
Crossref
Juan L. G. Guirao & Fernando L. Pelayo. 2013. Advances in Abstract Intelligence and Soft Computing. Advances in Abstract Intelligence and Soft Computing 231 240 .
J. Martín, G. Mayor & O. Valero. 2013. Aggregation Functions in Theory and in Practise. Aggregation Functions in Theory and in Practise 319 331 .
M. Fernández-Martínez, M.A. Sánchez-Granero & J.E. Trinidad Segovia. (2012) Fractal dimension for fractal structures: Applications to the domain of words. Applied Mathematics and Computation 219:3, pages 1193-1199.
Crossref
Fernando L. Pelayo & Jose C. Valverde. (2012) Notes on “Modeling the dynamics of concurrent computing systems”. Computers & Mathematics with Applications 64:4, pages 661-663.
Crossref
Yuanxun Yu, Lin Du & Daming Li. 2012. Green Communications and Networks. Green Communications and Networks 1239 1246 .
Francisco Castro-Company, Salvador Romaguera & Pedro Tirado. 2012. Computational Intelligence. Computational Intelligence 261 274 .
Massoud Pourmahdian & Mahdi Ali-Akbari. (2011) Computational Models of Certain Hyperspaces of Quasi-metric Spaces. Logical Methods in Computer Science 7:4.
Crossref
Juan L.G. Guirao, Fernando L. Pelayo & Jose C. Valverde. (2011) Modeling the dynamics of concurrent computing systems. Computers & Mathematics with Applications 61:5, pages 1402-1406.
Crossref
Fernando L. Pelayo, Fernando Cuartero & Diego Cazorla. 2011. Advances in Computational Intelligence. Advances in Computational Intelligence 380 387 .
Fernando L. Pelayo, Jose C. Valverde, Maria L. Pelayo & Fernando Cuartero. (2010) Discrete Dynamical Systems for encoding Concurrent Computing Systems. Discrete Dynamical Systems for encoding Concurrent Computing Systems.
SALVADOR ROMAGUERA & OSCAR VALERO. (2010) Domain theoretic characterisations of quasi-metric completeness in terms of formal balls. Mathematical Structures in Computer Science 20:3, pages 453-472.
Crossref
J. Rodríguez-López, S. Romaguera & J.M. Sánchez-Álvarez. (2010) The Hausdorff fuzzy quasi-metric. Fuzzy Sets and Systems 161:8, pages 1078-1096.
Crossref
G. Mayor & O. Valero. (2010) Aggregation of asymmetric distances in Computer Science. Information Sciences 180:6, pages 803-812.
Crossref
Pedro Tirado & Oscar Valero. (2009) The average running time of an algorithm as a midpoint between fuzzy sets. Mathematical and Computer Modelling 49:9-10, pages 1852-1868.
Crossref
Jordi Llull-Chavarría & Oscar Valero. 2009. Language and Automata Theory and Applications. Language and Automata Theory and Applications 530 541 .
S. Romaguera, J. M. Sánchez-Álvarez & M. Sanchis. (2008) On balancedness and D-completeness of the space of semi-Lipschitz functions. Acta Mathematica Hungarica 120:4, pages 383-390.
Crossref

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.