Search Sciweavers | Sciweavers

10575 search results - page 358 / 2115

» T2Script Programming Language

124

click to vote

CAINE
2004

94views Computer Science» more CAINE 2004»

Automated Error-Prevention and Error-Detection Tools for Assembly Language

15 years 6 months ago

Download fie-conference.org

- Automated tools for error prevention and error detection exist for many high-level languages, but have been nonexistent for assembly-language programs, embedded programs in parti...

Lance G. Johnson, David C. Pheanis

claim paper

Read More »

148

click to vote

SWSTE
2003
IEEE

102views Software Engineering» more SWSTE 2003»

Towards a Standard Family of Languages for Matching Patterns in Source Code

15 years 10 months ago

Download tal.forum2.org

This paper makes a case for the deﬁnition of a family of languages for expressing patterns over both the structure and semantics of source code. Our proposal is unique in that i...

Uri Dekel, Tal Cohen, Sara Porat

claim paper

Read More »

Voted

IFIP
2010
Springer

109views Programming Languages» more IFIP 2010»

AnBx - Security Protocols Design and Verification

14 years 11 months ago

Download www.dsi.unive.it

Michele Bugliesi, Paolo Modesti

claim paper

Read More »