Results 141 to 150 of about 976,351 (188)
Some of the next articles are maybe not open access.
Proceedings of the first ACM conference on Learning @ scale conference, 2014
Coding style is important to teach to beginning programmers, so that bad habits don't become permanent. This is often done manually at the University level because automated Python static analyzers cannot accurately grade based on a given rubric.
Stephanie Rogers +2 more
openaire +2 more sources
Coding style is important to teach to beginning programmers, so that bad habits don't become permanent. This is often done manually at the University level because automated Python static analyzers cannot accurately grade based on a given rubric.
Stephanie Rogers +2 more
openaire +2 more sources
ACC 2013 in Washington, D.C. [ACC Preview]
IEEE Control Systems, 2012The author provides an overview of the upcoming 2013 American Control Conference (ACC). ACC will be held in Washington, D.C. Monday through Wednesday, 17-19 June 2013, with workshops being planned for the Saturday and Sunday (15?16 June 2013) beforehand. The ACC is the annual conference of the American Automatic Control Council [AACC, the United States
Lucy Pao, Daniel Abramovitch
openaire +1 more source
ACM SIGPLAN Notices, 1984
This paper describes a method for building data type specifications that can be proved to be complete and consistent. More, they are abstract and also executable.The method ist based on the type theory developed in [1].
openaire +1 more source
This paper describes a method for building data type specifications that can be proved to be complete and consistent. More, they are abstract and also executable.The method ist based on the type theory developed in [1].
openaire +1 more source