80 search results - page 9 / 16 » Insecure Programming: How Culpable is a Language's Syntax |
140
Voted
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
102
click to vote
OORASE
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents OpenJava, which is a macro system that we have developed for Java. With traditional macro systems designed for non object-oriented languages, it is difficult to...
120
Voted
TLDI
2009
ACM
15 years 11 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
111
Voted
DLS
2008
15 years 4 months ago
2008
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
To adequately deal with the unpredictable and dynamic environments normative frameworks are typically deployed in, mechanisms for modifying the norms at runtime are crucial. We pr...