Язык описания

This paper provides a method for generat- ing compact and efficient code to imple- ment the enforcement of a description in typed feature logic. It does so by view- ing …...