Sciweavers

1937 search results - page 47 / 388
» Adaptation-based programming in java
Sort
View
SEFM
2009
IEEE
14 years 3 months ago
Checkmate: A Generic Static Analyzer of Java Multithreaded Programs
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
Pietro Ferrara

Book
267views
15 years 5 months ago
Advanced Programming for the Java 2 Platform
"As an experienced developer on the Java platform, you undoubtedly know how fast moving and comprehensive the platform is. Its many application programming interfaces (APIs) p...
Calvin Austin and Monica Pawlan
ESOP
2005
Springer
14 years 2 months ago
Towards a Type System for Analyzing JavaScript Programs
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
Peter Thiemann
HCW
1998
IEEE
14 years 1 months ago
Heterogeneous Programming with Java: Gourmet Blend or Just a Hill of Beans?
The heterogeneous parallel processing community has long been struggling to bring its approach to computation into the mainstream. One major impediment is that no popular programm...
Charles C. Weems
COMPSAC
2008
IEEE
14 years 3 months ago
Ontology Model-Based Static Analysis on Java Programs
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang