636 search results - page 51 / 128 » Operational Semantics for Functional Logic Languages |
129
Voted
AMAI
2008
Springer
15 years 3 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
137
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
135
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
113
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
108
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
One way to address the continuing performance problem of high-level domain-specific languages, such as Octave or MATLAB, is to compile them to a relatively lower level language f...