3689 search results - page 304 / 738 » A Language with Distributed Scope |
164
click to vote
TLDI
2010
ACM
16 years 1 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
147
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in th...
135
click to vote
EDOC
2008
IEEE
15 years 11 months ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...
144
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
122
click to vote
CCS
2004
ACM
15 years 10 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...