6201 search results - page 322 / 1241 » Implementation of Axiomatic Language |
141
Voted
CCS
2004
ACM
16 years 5 days ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
148
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...
145
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
Cyclic data structures can be tricky to create and manipulate in declarative programming languages. In a declarative setting, a natural way to view cyclic structures is as denotin...
175
click to vote
ICFP
1999
ACM
15 years 11 months ago
1999
ACM
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
183
click to vote
ROBOCUP
2000
Springer
15 years 10 months ago
2000
Springer
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...