The deductive synthesis of database transactions
The deductive synthesis of database transactions
ACM SIGSOFT Software Engineering Notes
System Prototype and Verification Using Metamodel-Based Transformations
IEEE Distributed Systems Online
DSL evolution through composition
Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution
A domain-specific modeling language for scientific data composition and interoperability
Proceedings of the 48th Annual Southeast Regional Conference
Specifying and running rich graphical components with Loa
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Design principles for internal domain-specific languages: a pattern catalog illustrated by Ruby
Proceedings of the 17th Conference on Pattern Languages of Programs
Hi-index | 0.00 |
ML strongly supports functional programming; its programmers tend to avoid operations with side effects. Thus, for example, instead of mutable arrays, ML programmers usually use lists. These lists behave much like those in Lisp, with the added requirement ...