Alloy Community

User login

  • warning: Parameter 3 to block_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 3 to comment_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 3 to locale_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 2 to node_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 2 to profile_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 3 to system_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 2 to user_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 2 to watchdog_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 3 to messaging_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 3 to notifications_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 3 to og_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 2 to userpoints_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.

JonathanEdwards

Recent Activities

PublicationSubtypes for Constraint Decomposition JonathanEdwards3 years 41 weeks ago
PublicationA Type System for Object Models JonathanEdwards3 years 41 weeks ago

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte