526 search results - page 35 / 106 » Programming in JoCaml (Tool Demonstration) |
CCS
2009
ACM
14 years 2 months ago
2009
ACM
Software flaws in native methods may defeat Java’s guarantees of safety and security. One common kind of flaws in native methods results from the discrepancy on how exceptions...
BMCBI
2005
13 years 7 months ago
2005
Background: Microscopists are familiar with many blemishes that fluorescence images can have due to dust and debris, glass flaws, uneven distribution of fluids or surface coatings...
ACSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
TOOLS
2008
IEEE
14 years 1 months ago
2008
IEEE
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...