Sciweavers

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