10666 search results - page 436 / 2134 » Quantum programming languages |
174
Voted
LISP
2000
15 years 6 months ago
2000
This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps.
154
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
192
Voted
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the
181
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
We introduce and give formal definitions of attack
215
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...