Sciweavers

80 search results - page 1 / 16
» Insecure Programming: How Culpable is a Language's Syntax
Sort
View
IAW
2003
IEEE
13 years 9 months ago
Insecure Programming: How Culpable is a Language's Syntax?
— Vulnerabilities in software stem from poorly written code. Inadvertent errors may creep in due to programmers not being aware of the security implications of their code. Writin...
Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman,...
ICALP
2000
Springer
13 years 8 months ago
A Generic Model for Diagram Syntax and Semantics
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...
Berthold Hoffmann, Mark Minas
CSFW
1999
IEEE
13 years 8 months ago
Secure Composition of Insecure Components
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
Peter Sewell, Jan Vitek
ICFP
2012
ACM
11 years 6 months ago
Functional programming with structured graphs
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
Bruno C. d. S. Oliveira, William R. Cook
DAGSTUHL
1993
13 years 5 months ago
Syntax and Semantics of Hybrid Database Languages
Abstract. We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to freely mix graphical an...
Marc Andries, Gregor Engels