11561 search results - page 253 / 2313 » A Language for Biochemical Systems |
297
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
147
Voted
COLING
2008
15 years 8 months ago
2008
We present a chain of tools used by grammarians and computer scientists to develop grammatical and lexical resources from linguistic knowledge, for various natural languages. The ...
191
click to vote
ECOOP
2012
Springer
13 years 9 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
182
click to vote
PEPM
1997
ACM
15 years 10 months ago
1997
ACM
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
161
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
In this paper we introduce a method to partition UNITY system speci cations into software and hardware parts. This method considers di erent design possibilities and de nes cost f...