10871 search results - page 452 / 2175 » A stable programming language |
192
click to vote
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
217
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...
179
click to vote
VMCAI
2012
Springer
14 years 2 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
159
click to vote
AGP
2003
IEEE
16 years 4 days ago
2003
IEEE
There are very few approaches to measure the execution costs of lazy functional (logic) programs. The use of a lazy execution mechanism implies that the complexity of an evaluation...