80 search results - page 13 / 16 » Insecure Programming: How Culpable is a Language's Syntax |
126
click to vote
PEPM
1999
ACM
15 years 6 months ago
1999
ACM
This paper explores the relationship between C++ templates and partial evaluation. Templates were designed to support generic programming but unintentionally provided the ability ...
144
click to vote
PEPM
1993
ACM
15 years 6 months ago
1993
ACM
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...
121
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
131
Voted
VL
2008
IEEE
15 years 8 months ago
2008
IEEE
While a designer’s focus used to be the design of non-interactive elements such as graphics or animations, today’s designers deal with various levels of interactivity such as ...
135
click to vote
JLP
2010
14 years 9 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...