105 search results - page 1 / 21 » Writing and Compiling Code into Biochemistry |
PSB
2010
13 years 2 months ago
2010
rmed at a conceptual level, in terms of abstract biochemical reactions
ICFP
2012
ACM
11 years 7 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...
ITP
2010
13 years 8 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...
POS
1998
Springer
13 years 9 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 ...
CASCON
1996
13 years 6 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...