Sciweavers

8008 search results - page 305 / 1602
» Computer-Aided Language Processing
Sort
View
COLING
1996
15 years 7 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»
16 years 16 days 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
FOSSACS
2004
Springer
15 years 11 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
HASKELL
2009
ACM
16 years 28 days 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
EXTREME
2003
ACM
15 years 11 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