Zobrazeno 1 - 10
of 2 596
pro vyhledávání: '"Second-generation programming language"'
Publikováno v:
Mathematical Logic ISBN: 9783030738389
Mathematical Logic ISBN: 9781475723571
Mathematical Logic ISBN: 9781475723571
In this chapter we introduce the first-order languages. They obey simple, clear formation rules. In later chapters we shall discuss whether, and to what extent, all mathematical propositions can be formalized in such languages.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc40b0e461fc4c840ecafc7e8a066528
https://doi.org/10.1007/978-3-030-73839-6_2
https://doi.org/10.1007/978-3-030-73839-6_2
Autor:
Julia Belyakova
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 2, Pp 5-32 (2018)
It is generally considered that object-oriented (OO) languages provide weaker support for generic programming (GP) as compared with functional languages such as Haskell or SML. There were several comparative studies which showed this. But many new ob
Publikováno v:
IEEE Transactions on Software Engineering. 43:1125-1143
Starting from the first investigations with strictly functional languages, reactive programming has been proposed as the programming paradigm for reactive applications. Over the years, researchers have enriched reactive languages with more powerful a
Autor:
Ivan Vrana, František Kožíšek
Publikováno v:
Agris on-line Papers in Economics and Informatics. 9:39-49
This paper summarizes the current knowledge of business process modelling languages, which is increasingly important also in the agri-food industry. It describes the history of business process modelling, currently mostly used alternatives – UML, B
Publikováno v:
CEAS Space Journal. 10:115-123
Due to the computationally intensive nature of astrodynamics tasks, astrodynamicists have relied on compiled programming languages such as Fortran for the development of astrodynamics software. Interpreted languages such as Python, on the other hand,
Autor:
Byeongcheol Lee, Bongseok Ko
Publikováno v:
KIISE Transactions on Computing Practices. 23:304-309
Autor:
Mark Priestley
Publikováno v:
Minds and Machines. 27:449-472
The Lisp programming language is often described as the first functional programming language and also as an important early AI language. In the history of functional programming, however, it occupies a rather anomalous position, as the circumstances
Autor:
Danny Law
Publikováno v:
Diachronica. 34:40-78
Definitions of ‘mixed’ or ‘intertwined’ languages derive almost entirely from studies of languages that combine elements from genetically unrelated sources. The Mayan language Tojol-ab’al displays a mixture of linguistic features from two r
Autor:
Federico Gobbo
Publikováno v:
Language Sciences, 60, 36-52. Elsevier
Supporters of languages planned for international communication, like Esperanto, often claim that these languages are less complex and therefore easy to learn as compared to natural languages. To what extent does this claim have empirical support? In
Autor:
Sunyoung Park, Jin-young Tak
Publikováno v:
Journal of Universal Language. 18:105-127