Sciweavers

8008 search results - page 305 / 1602
» Computer-Aided Language Processing
Sort
View
120
Voted
COLING
1996
15 years 5 months ago
On the Structural Complexity of Natural Language Sentences
The objective of this pal)er is to [brmalize the intuition al)out l,he comph;xity of syntactic structures. We propose a definition of structm:al COml)h'xity such that sentenc...
Dekang Lin
SAS
2007
Springer
108views Formal Methods» more  SAS 2007»
15 years 10 months ago
Programming Language Design and Analysis Motivated by Hardware Evolution
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
Alan Mycroft
125
Voted
FOSSACS
2004
Springer
15 years 9 months ago
safeDpi: A Language for Controlling Mobile Code
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
Matthew Hennessy, Julian Rathke, Nobuko Yoshida
131
Voted
HASKELL
2009
ACM
15 years 10 months ago
Type-safe observable sharing in Haskell
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...
Andy Gill
106
Voted
EXTREME
2003
ACM
15 years 9 months ago
Datatype- and namespace-aware DTDs: A minimal extension
DTDs and XML Schema are important validation languages for XML documents. They lie at opposite ends of a spectrum of validation languages in terms of expressive power and readabil...
Fabio Vitali, Nicola Amorosi, Nicola Gessa