3736 search results - page 231 / 748 » Generative Programming |
145
click to vote
FMICS
2008
Springer
15 years 5 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
111
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
129
click to vote
AVI
2008
15 years 4 months ago
2008
Programming assignments are easy to plagiarize in such a way as to foil casual reading by graders. Graders can resort to automatic plagiarism detection systems, which can generate...
133
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
110
Voted
TLDI
2003
ACM
15 years 8 months ago
2003
ACM
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...