Author:
Morris Joseph M.,Bunkenburg Alexander
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bunch theory: Axioms, logic, applications and model;Journal of Logical and Algebraic Methods in Programming;2024-08
2. A Tour Through the Programming Choices: Semantics and Applications;Lecture Notes in Computer Science;2024
3. bGSL: An imperative language for specification and refinement of backtracking programs;Journal of Logical and Algebraic Methods in Programming;2023-01
4. The Semantics of Plurals;Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering;2022-11-29
5. Containerless Plurals: Separating Number from Type in Object-Oriented Programming;ACM Transactions on Programming Languages and Systems;2022-09-21