Proceedings of the 19th ACM SIGPLAN International Conference on Software Language Engineering
Source
cacm.acm.orgProceedings of the 19th ACM SIGPLAN International Conference on Software Language Engineeringacm.orgSLE '26: Proceedings of the 19th ACM SIGPLAN International Conference on Software Language Engineering.
You might also wanna read
Colored Petri Nets and LLMs: A Formal Approach to Verifiable Distributed Applications
The article explores the intersection of Colored Petri Nets (CPNs) and Large Language Models (LLMs) for building verifiable distributed appl
blog.sao.dev·4mo ago
SBCL: A Sanely-Bootstrappable Common Lisp (2008) [pdf]
research.gold.ac.uk·3mo ago
Comments
Sign in to join the conversation.
No comments yet. Be the first.