1320 search results - page 89 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
112
click to vote
ENTCS
2008
15 years 4 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
165
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
113
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
We develop a polarised variant of Curien and Herbelin’s ¯λµ˜µ calculus suitable for sequent calculi that admit a focalising cut elimination (i.e. whose proofs are focalised ...
148
click to vote
ICLP
1993
Springer
15 years 8 months ago
1993
Springer
Erlang is a concurrent programming language designed for prototyping and implementing reliable real-time systems. In its design Erlanginherits someideas fromconcurrent logic progra...
128
click to vote
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Automatic program specialization can derive efficient implementations from generic components, thus reconciling the often opposing goals of genericity and efficiency. Thi...