10622 search results - page 286 / 2125 » Python Programming Language |
129
click to vote
ECEASST
2008
15 years 3 months ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
111
click to vote
DAC
2000
ACM
15 years 8 months ago
2000
ACM
ct General-purpose programming languages (GPL) are effective vehicles for FPGA design because they are easy to use, extensible, widely available, and can be used to describe both t...
138
click to vote
VLDB
1991
ACM
15 years 7 months ago
1991
ACM
: This paper presents database programming language constructs that. can be used to realize a variety of different semantics for rule application in active database syst.ems. The p...
157
Voted
JOLLI
2008
15 years 3 months ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
106
click to vote
USENIX
1994
15 years 5 months ago
1994
Concert/C is a new language for distributed C programming that extends ANSI C to support distribution and process dynamics. Concert/C provides the ability to create and terminate ...