243 search results - page 19 / 49 » Concolic testing for functional languages |
90
Voted
ICFP
1999
ACM
15 years 1 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
CIKM
2005
Springer
15 years 3 months ago
2005
Springer
We approached the problem as learning how to order documents by estimated relevance with respect to a user query. Our support vector machines based classifier learns from the rele...
96
Voted
APSEC
2009
IEEE
14 years 7 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
OTM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...
IWAN
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we present GateScript, a scripting language for active applications to be executed on generic active gateways. Unlike other active networking platforms, it offers a...