103 search results - page 13 / 21 » The BLISS programming language: a history |
VMCAI
2010
Springer
14 years 4 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
AGP
2010
IEEE
13 years 11 months ago
2010
IEEE
This chapter tackles the relation between declarative languages and multi-agent systems by following the dictates of the five Ws (and one H) that characterize investigations. The ...
UM
2007
Springer
14 years 1 months ago
2007
Springer
User’s privacy concerns represent one of the most serious obstacles to the wide adoption of mobile social software applications. In this paper, we introduce a conceptual model wh...
SMALLTALK
2007
Springer
14 years 1 months ago
2007
Springer
Real world software systems change continuously to meet new demands. Most programming languages and development environments, however, are more concerned with limiting the effects...
APLAS
2007
ACM
13 years 11 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...