6054 search results - page 406 / 1211 » Implementation of Andorra-based Languages |
146
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
We propose a type system for a programming language with memory allocation/deallocation primitives, which prevents memory-related errors such as double-frees and memory leaks. The ...
166
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
We present Flow-based Management Language (FML), a declarative policy language for managing the configuration of enterprise networks. FML was designed to replace the many dispara...
187
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
178
click to vote
CBMS
2007
IEEE
16 years 1 months ago
2007
IEEE
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
178
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
Since its first release the system level language SystemC had a significant impact on various areas in VLSI-CAD. One remarkable benefit of SystemC lies in the of abstraction le...