290 search results - page 24 / 58 » The Formal Execution Semantics of SpecC |
162
click to vote
ICIW
2008
IEEE
16 years 12 days 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...
144
click to vote
ECOOP
2006
Springer
15 years 9 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...
170
click to vote
ISORC
2009
IEEE
16 years 18 days 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...
156
click to vote
TLDI
2009
ACM
16 years 2 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 ...
144
click to vote
JAVA
1999
Springer
15 years 10 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...