10622 search results - page 557 / 2125 » Python Programming Language |
279
click to vote
SAC
2008
ACM
15 years 7 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
208
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
Applications written in unsafe languages like C and C++ are vulnerable to memory errors such as buffer overflows, dangling pointers, and reads of uninitialized data. Such errors ...
236
click to vote
POPL
2011
ACM
14 years 10 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
315
click to vote
ICDT
2009
ACM
16 years 8 months ago
2009
ACM
The class of unions of conjunctive queries (UCQ) has been shown to be particularly well-behaved for data exchange; its certain answers can be computed in polynomial time (in terms...
136
Voted
DALT
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. Th...