105 search results - page 1 / 21 » Writing and Compiling Code into Biochemistry |
103
Voted
PSB
2010
15 years 1 months ago
2010
rmed at a conceptual level, in terms of abstract biochemical reactions
175
Voted
ICFP
2012
ACM
13 years 5 months ago
2012
ACM
Most complex software projects are compiled using a build tool (e.g. make), which runs commands in an order satisfying userdefined dependencies. Unfortunately, most build tools r...
133
Voted
ITP
2010
15 years 7 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
128
Voted
POS
1998
Springer
15 years 7 months ago
1998
Springer
Persistent programming languages manage volatile memory as a cache for stable storage, imposing a read barrier on operations that access the cache, and a write barrier on updates ...
110
Voted
CASCON
1996
15 years 4 months ago
1996
This paper describes the use of WatIF, a simple compiler intermediate form based on the -calculus, for writing compiler front-ends for a wide range of programming languages. Somew...