1320 search results - page 137 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
129
Voted
MOZ
2004
Springer
15 years 9 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
148
Voted
FAC
2010
15 years 1 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
115
Voted
ENTCS
2008
15 years 3 months ago
2008
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...
236
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
A method is presented for computing all higher-order partial derivatives of a multivariate function Rn R. This method works by evaluating the function under a nonstandard interpre...
247
Voted
ENTCS
2002
15 years 3 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...