讨人喜欢
发表于 2025-3-27 00:46:03
0302-9743 Overview: 978-3-540-09981-9978-3-540-39233-0Series ISSN 0302-9743 Series E-ISSN 1611-3349
Autobiography
发表于 2025-3-27 04:12:20
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/i/image/472054.jpg
大方不好
发表于 2025-3-27 07:46:36
An algorithm for translating LISP programs into reduction language programs,An algorithm for translating LISP programs into reduction language programs is presented. It allows us to compare some features of the two languages: presence/absence of environment, free variables, evaluation rules, and parallelism. It may lead to efficient execution of LISP programs on a reduction machine.
丰富
发表于 2025-3-27 13:24:31
http://reply.papertrans.cn/48/4721/472054/472054_34.png
neuron
发表于 2025-3-27 15:28:20
http://reply.papertrans.cn/48/4721/472054/472054_35.png
HEED
发表于 2025-3-27 21:29:25
,Structures de controle et puissances d’expression,e (affectations, entrées-sorties ...). A cette structure de contrôle peut être associée la puissance du langage, c‘est-à-dire la capacité du langage à décrire des suites d‘opérations de telle ou telle complexité..En utilisant le formalisme des arbres à feuilles indicées comme modèle des programmes, on établit les résultats suivants :
野蛮
发表于 2025-3-28 01:25:22
http://reply.papertrans.cn/48/4721/472054/472054_37.png
爱国者
发表于 2025-3-28 02:45:59
http://reply.papertrans.cn/48/4721/472054/472054_38.png
悲痛
发表于 2025-3-28 06:58:26
Towards a theory of abstract data types: A discussion on problems and tools, requirement. We also show that none of the above quoted categorial notions captures recursiveness..Finally, we consider our own definition of abstract data type, based on model-theoretic notions; we analyze this definition in the frame of the proposed formalization of recursiveness, and illustrate
pineal-gland
发表于 2025-3-28 13:13:29
A case study of abstract implementations and their correctness,a type for performing some text analysis is specified and implemented by arrays which are accessed via an efficient hashing technique. Moreover, we give a correctness proof of this implementation that partly refers to correctness criteria introduced in an earlier paper where the whole concept is dis