949 search results - page 18 / 190 » Programmed Mutagenesis Is Universal |
CSL
2007
Springer
14 years 1 months ago
2007
Springer
We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with...
FECS
2006
13 years 9 months ago
2006
The Department of Computer Science at California State University, Los Angeles has established an assessment process to guide the continuous improvement of the undergraduate curri...
COMSIS
2007
13 years 7 months ago
2007
A prototype compiler of the ST language (Structured Text), its operation and internal structure is presented. The compiler is a principal part of CPDev engineering environment for ...
SIGCSE
1999
ACM
13 years 11 months ago
1999
ACM
A Global Cooperation Project was conducted with computer science classes at the Czech Technical University and North Hennepin Community College. The project was a pilot project fo...
CSR
2008
Springer
13 years 9 months ago
2008
Springer
The universal cover TG of a connected graph G is the unique (possible infinite) tree covering G, i.e., that allows a locally bijective homomorphism from TG to G. Universal covers h...