4895 search results - page 444 / 979 » Functional Quantum Programming |
213
click to vote
PPPJ
2009
ACM
16 years 1 months ago
2009
ACM
Continuations, or ’the rest of the computation’, are a concept that is most often used in the context of functional and dynamic programming languages. Implementations of such ...
195
click to vote
KBSE
2005
IEEE
16 years 19 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
216
click to vote
COOPIS
2003
IEEE
16 years 10 days ago
2003
IEEE
Abstract. Aspect oriented programming brings us new design perspectives since it permits the superimpositions of multiple abstraction models on top of one another. It is a very pow...
185
click to vote
PEPM
1993
ACM
15 years 11 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...
214
click to vote
ERLANG
2007
ACM
15 years 11 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...