Vital-Signs
发表于 2025-3-28 15:24:17
http://reply.papertrans.cn/87/8648/864760/864760_41.png
流浪
发表于 2025-3-28 22:09:11
http://reply.papertrans.cn/87/8648/864760/864760_42.png
chandel
发表于 2025-3-28 23:24:25
From standard to implementation denotational semantics,We are developing a compiler compiler. It takes as input the formal definition of a programming language in Denotational Semantics and produces as output a fairly efficient compiler written in a systems programming language which in turn will produce code for a real machine. This work mainly deals with the code generation parts.
ANTI
发表于 2025-3-29 04:01:16
Specification of compilers as abstract data type representations,This paper presents a method for specifying and proving compilers. This method is based on the algebraic data types ideas. The main points are :.A compiler generator, PERLUETTE, which accepts such specifications as input is described. The proof technic is discussed.
侵害
发表于 2025-3-29 08:43:18
Using category theory to design implicit conversions and generic operators,A generalization of many-sorted algebras, called category-sorted algebras, is defined and applied to the language-design problem of avoiding anomalies in the interaction of implicit conversions and generic operators. The definition of a simple imperative language (without any binding mechanisms) is used as an example.
photopsia
发表于 2025-3-29 13:03:09
Attribute-influenced LR parsing,Methods are described which make it possible, when given an arbitrary attribute grammar (or AG),
VEN
发表于 2025-3-29 18:02:58
http://reply.papertrans.cn/87/8648/864760/864760_47.png
Palliation
发表于 2025-3-29 21:09:17
http://reply.papertrans.cn/87/8648/864760/864760_48.png
rods366
发表于 2025-3-30 01:59:43
http://reply.papertrans.cn/87/8648/864760/864760_49.png
nonradioactive
发表于 2025-3-30 08:03:21
http://reply.papertrans.cn/87/8648/864760/864760_50.png