603 search results - page 100 / 121 » A Formal Operational Semantics for SOFL |
117
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
110
Voted
DEEC
2005
IEEE
15 years 7 months ago
2005
IEEE
A base of clearly defined product information is a key foundation for an e-commerce system. The manipulation and exchange of semantically enriched and precise product information ...
150
Voted
CONCUR
2003
Springer
15 years 7 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
95
Voted
ASIAN
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
112
click to vote
CGF
2008
15 years 2 months ago
2008
We present a system for creating and manipulating layered procedural surface editing operations, which is motivated by the limited support for iterative design in free-form modeli...