9642 search results - page 1665 / 1929 » Semantics in Multimedia Systems |
ICFP
2002
ACM
15 years 11 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
POPL
2010
ACM
15 years 8 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
VEE
2010
ACM
15 years 6 months ago
2010
ACM
Deterministic record-replay has many useful applications, ranging from fault tolerance and forensics to reproducing and diagnosing bugs. When choosing a record-replay solution, th...
HICSS
2009
IEEE
15 years 5 months ago
2009
IEEE
New systems can be created by assembling a set of elementary services provided by various stakeholders in a service composition. Service composition is not a trivial endeavor and ...
ESOP
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...