1937 search results - page 97 / 388 » Adaptation-based programming in java |
FASE
2010
Springer
14 years 4 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
ECOOP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper describes the Java Language Extender framework, a tool that allows one to create new domain-adapted languages by importing domain-specific language extensions...
ICCBR
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we partially describe JV2 M, a metaphorical simulation of the Java Virtual Machine where students can learn Java language compilation and reinforce object-oriented pr...
MKWI
2008
13 years 10 months ago
2008
: Multi-Agent systems follow a highly abstract programming paradigm. of this abstraction level, behaviours of the participants are not always clearly reproducible for humans. In th...
PLDI
2004
ACM
14 years 2 months ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...