10585 search results - page 565 / 2117 » The Orc Programming Language |
129
click to vote
DALT
2004
Springer
16 years 16 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...
203
click to vote
SFP
2003
15 years 8 months ago
2003
Abstract: We outline an object-oriented extension to Camelot, a functional language in the ML family designed for resource aware computation. Camelot is compiled for the Java Virtu...
281
click to vote
LMCS
2006
15 years 7 months ago
2006
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps ...
187
click to vote
CC
1999
Springer
15 years 6 months ago
1999
Springer
In this paper, we describe the tool Gem-Mex, supporting Montages, a visual formalism for the speci cation of imperative object oriented programming languages.
198
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...