会员服务
Scala 是一门现代的多范式编程语言，志在以简练、优雅及类型安全的方式来表达常用编程模式。它平滑地集成了面向对象和函数语言的特性。Scala 运行于Java 平台（Java 虚拟机），并兼容现有的 Java 程序。
The B2Scala Tool: Integrating Bach in Scala with Security in Mind
Arxiv
1+阅读 · 2024年12月11日
Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
Arxiv
0+阅读 · 2024年12月10日
Harpocrates: A Statically Typed Privacy Conscious Programming Framework
Arxiv
0+阅读 · 2024年11月20日
KATch: A Fast Symbolic Verifier for NetKAT
Arxiv
0+阅读 · 2024年11月19日
Harpocrates: Oblivious Privacy in a Statically Typed World
Arxiv
0+阅读 · 2024年11月10日
Zombie Epidemic -- on Modeling the Effect of Interventions
Arxiv
0+阅读 · 2024年10月16日
Reasoning About Exceptional Behavior At the Level of Java Bytecode
Arxiv
0+阅读 · 2024年9月30日
Tywaves: A Typed Waveform Viewer for Chisel
Arxiv
0+阅读 · 2024年8月19日
Kotlin's Type System is (Also) Unsound
Arxiv
0+阅读 · 2024年8月20日
Extending Isabelle/HOL's Code Generator with support for the Go programming language
Arxiv
0+阅读 · 2024年6月29日
KATch: A Fast Symbolic Verifier for NetKAT
Arxiv
0+阅读 · 2024年6月21日
SCALA: Split Federated Learning with Concatenated Activations and Logit Adjustments
Arxiv
0+阅读 · 2024年5月8日
Less is More Revisited
Arxiv
0+阅读 · 2024年5月2日
KATch: A Fast Symbolic Verifier for NetKAT
Arxiv
0+阅读 · 2024年4月7日
Less is More Revisit
Arxiv
0+阅读 · 2024年2月29日
参考链接
父主题
编程语言
函数式编程
微信扫码咨询专知VIP会员
Top