1835 search results - page 69 / 367 » Functional Programming of Behavior-Based Systems |
183
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
88
Voted
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
102
Voted
ICTAC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
105
Voted
ISPAN
2005
IEEE
15 years 6 months ago
2005
IEEE
A semi-dynamic system is presented that is capable of predicting the performance of parallel programs at runtime. The functionality given by the system allows for efficient handl...
192
Voted
WFLP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Lua is a scripting language used in many industrial applications, with an emphasis on embedded systems and games. Two key points in the design of the language that led to...