10871 search results - page 378 / 2175 » A stable programming language |
181
Voted
AFP
2008
Springer
16 years 1 months ago
2008
Springer
177
click to vote
VL
2000
IEEE
15 years 11 months ago
2000
IEEE
The main aim of this paper is to investigate how the production-rule-based computational paradigm can be implemented through visual data-flow techniques. We propose a simple yet e...
177
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
175
click to vote
ENTCS
2007
15 years 6 months ago
2007
We use the ρ-calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the ρ-terms arising fro...