-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 State machine formalisations of interaction patterns? I'm entirely in favour of this.
Is he on this list? If not, mind inviting him? Cheers, - --mlp On 07/09/2013 06:31 PM, Nils Dagsson Moskopp wrote: > I met Dragan Espenschied at SIGINT; as I understood him he mused > one might be able to determine the language power represented by > user interface primitives (I assume he means widgets and common > widget combinations like password dialogs) and construct a library > of widgets suitable for a given task that necessitates a specific > language power. > > > > > _______________________________________________ langsec-discuss > mailing list langsec-discuss@mail.langsec.org > https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iF4EAREIAAYFAlHcPb4ACgkQcTuZgmLblxRTQwD9FkaYJnz3/qFKdyXzwA2c0+nt 5KnwV5/+sYZ9lhRR+DkA/3469zuSOHtccbRKRL3iMpVNIh5AvJC2EWkej4ztIeZs =BOuo -----END PGP SIGNATURE----- _______________________________________________ langsec-discuss mailing list langsec-discuss@mail.langsec.org https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss