1016 search results - page 116 / 204 » Automatic Analysis of Programming Assignments |
120
Voted
ESOP
2001
Springer
15 years 8 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
148
click to vote
PEPM
2009
ACM
15 years 8 months ago
2009
ACM
A well-known bad code smell in refactoring and software maintenance is duplicated code, or code clones. A code clone is a code fragment that is identical or similar to another. Un...
121
Voted
ICSM
2006
IEEE
15 years 9 months ago
2006
IEEE
An approach to automatically identify the stereotypes of all the methods in an entire system is presented. A taxonomy for object-oriented class method stereotypes is given that un...
113
click to vote
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
116
Voted
EICS
2010
ACM
15 years 7 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...