5377 search results - page 206 / 1076 » Programming Languages For Interactive Computing |
82
Voted
ISORC
2005
IEEE
15 years 6 months ago
2005
IEEE
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...
109
Voted
ICFP
2000
ACM
15 years 5 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
88
Voted
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
FPL
2009
Springer
14 years 10 months ago
2009
Springer
In this article, we introduce the ongoing research in modeling and mapping for heterogeneous, customizable, parallel systems, as part of the effort in the newly established Center...
91
Voted
ICALP
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...