社团
发表于 2025-3-30 12:16:03
http://reply.papertrans.cn/16/1527/152667/152667_51.png
GIBE
发表于 2025-3-30 15:23:21
http://reply.papertrans.cn/16/1527/152667/152667_52.png
larder
发表于 2025-3-30 19:54:31
Full Abstraction in Structural Operational Semantics (extended abstract)rmats of transition system specifications using Plotkin’s structural approach. For several equivalences in the linear time — branching time spectrum a format is given, as general as possible, such that this equivalence is a congruence for all operators specifiable in that format. And for several for
Ceremony
发表于 2025-3-30 21:46:20
http://reply.papertrans.cn/16/1527/152667/152667_54.png
Camouflage
发表于 2025-3-31 03:14:54
http://reply.papertrans.cn/16/1527/152667/152667_55.png
一加就喷出
发表于 2025-3-31 06:32:16
Dimension-Complemented Lambda Abstraction Algebrasthe first-order predicate logic. Like combinatory algebras they can be denned by true identities and thus form a variety in the sense of universal algebra, but they differ from combinatory algebras in several important respects. The most natural LAA’s are obtained by coordinatizing environment model
细颈瓶
发表于 2025-3-31 10:03:08
http://reply.papertrans.cn/16/1527/152667/152667_57.png
phase-2-enzyme
发表于 2025-3-31 17:02:55
Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Refleces, yet cannot express certain new kinds of abstraction recently identified. In this paper we report on a simple technique we call . and show how this technique can be added to traditional functional languages by the addition of an explicit user programmable phase distinction in their compilation. T
deviate
发表于 2025-3-31 21:23:28
A Coherent Type System for a Concurrent, Functional and Imperative Programming Languageesign of this specification language follows the same approach as the one used in the design of Extended ML . The starting point is the design of an implicitly typed, polymorphic, concurrent and functional programming language. Axioms are then added in the signatures and structures as in Extende
深渊
发表于 2025-3-31 22:17:36
http://reply.papertrans.cn/16/1527/152667/152667_60.png