Filter Results:
- Full text PDF available (15)
Publication Year
1998
2019
- This year (1)
- Last 5 years (32)
- Last 10 years (53)
Supplemental Content
Publication Type
Co-author
Journals and Conferences
Learn More
We perform static analysis of Java programs to answer a simple question: which values may occur as results of string expressions? The answers are summarized for each expression by a regular language… (More)
- Simon Holm Jensen, Anders Møller, Peter Thiemann
- SAS
- 2009
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but there is still… (More)
We present a new framework for verifying partial specifications of programs in order to catch type and memory errors and check data structure invariants. Our technique can verify a large class of… (More)
The MONA tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in practice, even though… (More)
- Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip
- 33rd International Conference on Software…
- 2011
Current practice in testing JavaScript web applications requires manual construction of test cases, which is difficult and tedious. We present a framework for feedback-directed automated test… (More)
- Nadia Slimani, Geneviève Deharveng, +40 authors Elio Riboli
- European Journal of Clinical Nutrition
- 2007
Objective:This paper describes the ad hoc methodological concepts and procedures developed to improve the comparability of Nutrient databases (NDBs) across the 10 European countries participating in… (More)
We incorporate innovations from the project into the Java language to provide high-level features for Web service programming. The resulting language, JWIG, contains an advanced session model and a… (More)
- Simon Holm Jensen, Magnus Madsen, Anders Møller
- SIGSOFT FSE
- 2011
Developers of JavaScript web applications have little tool support for catching errors early in development. In comparison, an abundance of tools exist for statically typed languages, including… (More)
- Erik Huusfeldt Larsen, Niels Lyhne Andersen, Anders Møller, Arne Petersen, Gerda Krog Mortensen, J. C. Munck Petersen
- Food additives and contaminants
- 2002
The content of cadmium, lead, nickel, mercury and selenium in 83 foods was monitored from 1993 to 1997. In comparison with similar results from 1988 to 1992, a general decrease in lead levels had… (More)