Characterizations of Partial Well-Behaved Lenses
Abstract
References
Index Terms
- Characterizations of Partial Well-Behaved Lenses
Recommendations
Partial Bidirectionalization of Model Transformation Languages
MODELS '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and SystemsWhile most model-transformation languages in Model-Driven Engineering are unidirectional, bidirectionality is valuable when artifacts need two-way synchronization. Although several bidirectional transformation engines have been developed, their behavior ...
A Tangled Web of 12 Lens Laws
Reversible ComputationAbstractBidirectional transformation has played important roles in broad areas, database management, programming language, and model-driven development after Foster et al. revisited view updating problems introduced by Bancilhon and Spyratos. They ...
Partial Functions in ACL2
We describe a method for introducing “partial functions” into ACL2, that is, functions not defined everywhere. The function “definitions” are actually admitted via the encapsulation principle: the new function symbol is constrained to satisfy the ...
Comments
Information & Contributors
Information
Published In
Sponsors
In-Cooperation
- SIGACT: SIGACT
- SIGLOG: SIGLOG
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- Japan Society for the Promotion of Science
- National Institute of Informatics
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 65Total Downloads
- Downloads (Last 12 months)65
- Downloads (Last 6 weeks)65
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in