A Common Mathematical Framework for Asymptotic Complexity Analysis and Denotational Semantics for Recursive Programs Based on Complexity Spaces

kod QR

A Common Mathematical Framework for Asymptotic Complexity Analysis and Denotational Semantics for Recursive Programs Based on Complexity Spaces

None

Zapisane w:

Opis bibliograficzny
Główni autorzy:	Romaguera, Salvador, Valero, Oscar
Format:	Elektroniczne Rozdział
Język:	angielski
Wydane:	IntechOpen 2012
Hasła przedmiotowe:	Physical Sciences, Engineering and Technology
Dostęp online:	https://www.intechopen.com/chapters/36002
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

Podobne zapisy

On the Interpretation of Denotational Semantics
od: Felice Cardone
Wydane: (2025-05-01)

Denotational semantics : a methodology for language development /
od: Schmidt, David A., 1953 Apr. 22-
Wydane: (1986)

On the Recursive-Parallel Programming for the .NET Framework
od: V. V. Vasilchikov
Wydane: (2014-04-01)

Recursive programming techniques
od: Burge, William H.
Wydane: (1975)

New Common Fixed Points for Total Asymptotically Nonexpansive Mapping in CAT(0) Space
od: Ahmed Jameel Kadhim
Wydane: (2021-12-01)

Recursive-Parallel Algorithm for Solving the Maximum Common Subgraph Problem
od: Vladimir V. Vasilchikov
Wydane: (2023-06-01)

Verification of Programs with Mutual Recursion in the Pifagor Language
od: Mariya S. Ushakov, i wsp.
Wydane: (2018-08-01)

The recursive parallel programming shell for Win32
od: V. V. Vasilchikov
Wydane: (2008-03-01)

Exception Handling in Programmable Controllers with Denotational Model
od: Jan Sadolewski, i wsp.
Wydane: (2023-09-01)

Fictional Characters as Story-Free Denoting Concepts
od: Francesco Orilia
Wydane: (2025-05-01)

Tail Recursion Transformation in Functional Dataflow Parallel Programs
od: A. I. Legalov, i wsp.
Wydane: (2015-02-01)

A Recursive Inclusion Checker for Recursively Defined Subtypes
od: Hans De Nivelle
Wydane: (2021-12-01)

Development of Qualitative Meanings of Relative Adjectives denoting Materials
od: Y. Mao
Wydane: (2017-11-01)

Denotational Model and Implementation of Scalable Virtual Machine in CPDev
od: Jan Sadolewski, i wsp.
Wydane: (2022-09-01)

Thinking recursively /
od: Roberts, Eric
Wydane: (1986)

Analysis of asymptotic time complexity of an assumption-free alternative to the log-rank test
od: Lubomír Štěpánek, i wsp.
Wydane: (2020-09-01)

Traditions of Russian Tableful: Verbs, Denoting Ritualized Bacchic Actions
od: O. A. Dimitrieva
Wydane: (2019-03-01)

Iconic Words Denoting Food Consumption (on the Material of the Russian Language)
od: N. N. Noland, i wsp.
Wydane: (2022-09-01)

Etude on Recursion Elimination
od: Nikolay Shilov
Wydane: (2018-10-01)

Recursion via Pascal /
od: Rohl, J. S. (Jeffrey Soden), 1938-
Wydane: (1984)

Recursive descent compiling
od: Davie, A. J. T. (Antony J. T.), 1939-
Wydane: (1981)

Asymptotic Integration of Certain Differential Equations in Banach Space
od: Pavel N. Nesterov
Wydane: (2017-10-01)

Indonesia’s education budgeting system denoting low adaptiveness: functionalism analysis
od: Sumiyana Sumiyana, i wsp.
Wydane: (2024-12-01)

Semantic Complex of Travel in Work of A. G. Bitov
od: E. A. Mohammed Adam, i wsp.
Wydane: (2021-03-01)

The elements of mathematical semantics /
od: Aldridge, M. V. (Maurice Vincent)
Wydane: (1992)

Integrating recursive feature selection with automated machine learning framework for global wheat price prediction
od: Prity Kumari, i wsp.
Wydane: (2025-08-01)

Verbs with the Meaning ‘Change Facial Expression to Denoting Negative Emotions’ in Dictionary of Dialect Speaker
od: Yu. N. Ilyina
Wydane: (2020-12-01)

EXPRESSION OF TIME BY WORD COMBINATIONS WITH NOUNS DENOTING TIME SUCH AS: «MOMENT», «INSTANT», «MINUTE», «SECOND»
od: Svetlana Nickolaevna Aynazarova, i wsp.
Wydane: (2022-05-01)

Basic complex variables for mathematics and engineering
od: Mathews, John H., 1943-
Wydane: (1982)

Asymptotic analysis
od: Murray, J. D.
Wydane: (1984)

The recursive algorithm to construct Dirichlet function
od: A. N. Lysiuk, i wsp.
Wydane: (2019-06-01)

THE RESEARCH OF SEMANTIC SPACE OF BRAND
od: I. Alexandrova
Wydane: (2017-01-01)

A random forest-based approach for survival curves comparing: principles, computational aspects and asymptotic time complexity analysis
od: Lubomír Štěpánek, i wsp.
Wydane: (2021-09-01)

A Semantic Framework for the Declarative Debugging of Wrong and Missing Answers in Declarative Constraint Programming
od: Vírseda, Rafael del Vado, i wsp.
Wydane: (2012)

An Examination of the Complexity of the Large Sociotechnical Space System
od: Francisco Del Canto Viterale
Wydane: (2025-05-01)

Grammatical Semantics of a Complex Sentence with an Immediate Succession Conjunction “yedva” [hardly]
od: N. V. Semenova, i wsp.
Wydane: (2020-12-01)

Semantic features of complex technosocial systems: On the taxonomy of artificial intelligence technological packages
od: S. I. Dovguchits
Wydane: (2023-12-01)

Functional-Semantic Features of Complex Sentences of Purpose in British and American Variants of English
od: N. V. Solovyeva, i wsp.
Wydane: (2023-10-01)

COMPOSITIONAL SEMANTICS OF THE COMPLEX LANGUAGE FACTS WITH THE ENGLISH -ING FORMANT (on the material of Ukrainian)
od: Viktoria V. Bilousova, i wsp.
Wydane: (2021-12-01)

Synthesis of the Recursive Discrete Filters in Time Range
od: S. I. Ziatdinov
Wydane: (2016-06-01)