• strict warning: Non-static method view::load() should not be called statically in /net/files.cis.ksu.edu/exports/web/santos-dev/htdocs/sites/all/modules/views/views.module on line 906.
  • strict warning: Declaration of views_handler_filter::options_validate() should be compatible with views_handler::options_validate($form, &$form_state) in /net/files.cis.ksu.edu/exports/web/santos-dev/htdocs/sites/all/modules/views/handlers/views_handler_filter.inc on line 607.
  • strict warning: Declaration of views_handler_filter::options_submit() should be compatible with views_handler::options_submit($form, &$form_state) in /net/files.cis.ksu.edu/exports/web/santos-dev/htdocs/sites/all/modules/views/handlers/views_handler_filter.inc on line 607.
  • strict warning: Declaration of views_handler_filter_boolean_operator::value_validate() should be compatible with views_handler_filter::value_validate($form, &$form_state) in /net/files.cis.ksu.edu/exports/web/santos-dev/htdocs/sites/all/modules/views/handlers/views_handler_filter_boolean_operator.inc on line 159.
  • strict warning: Declaration of views_plugin_row::options_validate() should be compatible with views_plugin::options_validate(&$form, &$form_state) in /net/files.cis.ksu.edu/exports/web/santos-dev/htdocs/sites/all/modules/views/plugins/views_plugin_row.inc on line 134.
  • strict warning: Declaration of views_plugin_row::options_submit() should be compatible with views_plugin::options_submit(&$form, &$form_state) in /net/files.cis.ksu.edu/exports/web/santos-dev/htdocs/sites/all/modules/views/plugins/views_plugin_row.inc on line 134.
  • strict warning: Non-static method view::load() should not be called statically in /net/files.cis.ksu.edu/exports/web/santos-dev/htdocs/sites/all/modules/views/views.module on line 906.
SAnToS Lab at Kansas State University
SAnToS Lab at Kansas State University
SAnToS Lab at Kansas State University

About

The Laboratory for Specification, Analysis, and Transformation of Software (SAnToS) conducts both theoretical and applied research on a range of topics in programming language semantics, analysis, and software engineering. The laboratory is an outgrowth of the programming languages group in the CIS Department at Kansas State University.

Contact

SAnToS Laboratory
Computing and Information Sciences Department
Kansas State University
234 Nichols Hall
Manhattan, KS, 66506
Phone: (785) 532-6350
Fax: (785) 532-7353
Email: contact@santoslab.org