349 search results - page 53 / 70 » The feature construct for SMV: Semantics |
157
click to vote
POPL
1995
ACM
15 years 3 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
105
click to vote
PPDP
2009
Springer
15 years 6 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
108
click to vote
AOSD
2007
ACM
15 years 3 months ago
2007
ACM
One of the main issues in modern aspect-oriented programming languages and frameworks is the expressiveness of the pointcut language or mechanism. The expressiveness of pointcut l...
WWW
2004
ACM
16 years 15 days ago
2004
ACM
Some previous works show that a web page can be partitioned to multiple segments or blocks, and usually the importance of those blocks in a page is not equivalent. Also, it is pro...