1746 search results - page 257 / 350 » A Constructive Semantics for ALC |
92
Voted
ICFP
2006
ACM
16 years 19 days 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...
109
Voted
ICFP
2005
ACM
16 years 19 days ago
2005
ACM
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...
110
click to vote
PPDP
2009
Springer
15 years 7 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...
129
click to vote
FDL
2006
IEEE
15 years 6 months ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
111
Voted
ESCIENCE
2005
IEEE
15 years 6 months ago
2005
IEEE
GridXSLT is an implementation of the XSLT programming language designed for distributed web service orchestration. Based on the functional semantics of the language, it compiles p...