macabre
发表于 2025-4-1 05:43:06
http://reply.papertrans.cn/31/3004/300302/300302_61.png
Infiltrate
发表于 2025-4-1 07:37:10
Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languagess, which are particularly interesting for object-oriented programming, and develop and implement a sound and complete top-down direct and effective algorithm for deciding it. To our knowledge, this is the first proposal for a sound and complete top-down direct algorithm for semantic subtyping between coinductive types.
insolence
发表于 2025-4-1 14:02:57
http://reply.papertrans.cn/31/3004/300302/300302_63.png
delta-waves
发表于 2025-4-1 15:06:54
Stream Processing with a Spreadsheetadsheet that enables visualizing live streams, live programming to compute new streams, and exporting computations to be run on a server where they can be shared with other users, and persisted beyond the life of the spreadsheet. We formalize our core language, and present case studies that cover a range of stream processing applications.
Anal-Canal
发表于 2025-4-1 19:16:26
http://reply.papertrans.cn/31/3004/300302/300302_65.png
客观
发表于 2025-4-1 22:59:46
State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objectsoving properties at runtime. Points-to analysis calculates the set of values a reference property or variable may have during execution. We present a novel, partially flow-sensitive, context-sensitive points-to algorithm that accurately models dynamic changes in object behavior. The algorithm repres
LANCE
发表于 2025-4-2 03:43:24
http://reply.papertrans.cn/31/3004/300302/300302_67.png