2236 search results - page 124 / 448 » Language Independence and Language Tolerance in Logic Progra... |
158
click to vote
ICTAI
2008
IEEE
16 years 25 days ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
166
click to vote
JAR
2010
15 years 4 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
184
click to vote
ICALP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
388
click to vote
DAC
2012
ACM
13 years 8 months ago
2012
ACM
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...
164
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself. Me...