917 search results - page 10 / 184 » On the Semantics of Updates in a Functional Language |
128
click to vote
IFL
2003
Springer
15 years 11 months ago
2003
Springer
The presence of non-determinism in the parallel-functional language Eden creates some problems. Several non-determinism analyses have been developed to determine when an Eden expre...
186
click to vote
ECEASST
2010
15 years 17 days ago
2010
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
184
click to vote
TPHOL
2009
IEEE
16 years 10 days ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...
157
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
At the "functional level", Semantic Web Services (SWS) are described akin to planning operators, with preconditions and effects relative to an ontology; the ontology prov...
269
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source b...