290 search results - page 24 / 58 » The Formal Execution Semantics of SpecC |
ICIW
2008
IEEE
15 years 3 months ago
2008
IEEE
—Semantic web service composition is about finding services from a repository that are able to accomplish a specified task if executed. The task is defined in a form of a comp...
ECOOP
2006
Springer
15 years 1 months ago
2006
Springer
Templates are a powerful but poorly understood feature of the C++ language. Their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ sup...
ISORC
2009
IEEE
15 years 4 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...
TLDI
2009
ACM
15 years 6 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
JAVA
1999
Springer
15 years 1 months ago
1999
Springer
This chapter presents a dynamic denotational semantics of the Java programming language. This semantics covers almost the full range of the base language, excluding only concurrenc...