11909 search results - page 8 / 2382 » The Scheme Programming Language |
80
Voted
ITP
2010
15 years 1 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
ICFP
2006
ACM
15 years 9 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
PARLE
1993
15 years 1 months ago
1993
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...
115
click to vote
FPLE
1995
15 years 1 months ago
1995
This paper describes a course in compiler design that focuses on the Scheme implementation of a Scheme compiler that generates native assembly code for a real architecture. The co...
VLDB
1993
ACM
15 years 1 months ago
1993
ACM
If persistent programming languages are to be accepted they must provide many of the standard features of traditional database systems, including resilience in the face of system ...