172 search results - page 25 / 35 » Extracting Source Code from E-Mails |
80
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
ICSE
1998
IEEE-ACM
15 years 1 months ago
1998
IEEE-ACM
other projects in the database. Software development data is highly variable, which often result,s in underlying trends being hidden. In order to address this problem, a method of ...
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
69
Voted
CASCON
1996
14 years 11 months ago
1996
Framework design begins with domain analysis. Either the problem domain is analyzed to create a new design, or the solution domain is analyzed to understand how the problem has al...
HOTOS
2007
IEEE
15 years 1 months ago
2007
IEEE
Program comments have long been used as a common practice for improving inter-programmer communication and code readability, by explicitly specifying programmers' intentions ...