Sciweavers

6201 search results - page 328 / 1241
» Implementation of Axiomatic Language
Sort
View
PLSA
1994
15 years 11 months ago
Technological Steps toward a Software Component Industry
A machine_independent abstract program representation is presented that is twice as compact as machine code for a CISC processor. It forms the basis of an implementation, in which ...
Michael Franz
JOLLI
2008
67views more  JOLLI 2008»
15 years 6 months ago
Optionality, Scope, and Licensing: An Application of Partially Ordered Categories
Abstract. This paper uses a partially ordered set of syntactic categories to accommodate optionality and licensing in natural language syntax. A complex but well-studied data set p...
Raffaella Bernardi, Anna Szabolcsi
SIGPLAN
2002
15 years 6 months ago
Template meta-programming for Haskell
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...
Tim Sheard, Simon L. Peyton Jones
NAACL
2010
15 years 4 months ago
Testing a Grammar Customization System with Sahaptin
I briefly describe a system for automatically creating an implemented grammar of a natural language based on answers to a web-based questionnaire, then present a grammar of Sahapt...
Scott Drellishak
EDBT
2002
ACM
92views Database» more  EDBT 2002»
16 years 6 months ago
XQuery by the Book: The IPSI XQuery Demonstrator
The IPSI XQuery Demonstrator (IPSI-XQ) implements the XQuery surface syntax, its mapping to the XQuery Core Language, and the static and dynamic semantics of XQuery Core "by t...
Peter Fankhauser, Tobias Groh, Sven Overhage