Sciweavers

1423 search results - page 106 / 285
» Languages of Nested Trees
Sort
View
119
Voted
LICS
2005
IEEE
15 years 9 months ago
Certifying Compilation for a Language with Stack Allocation
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
Limin Jia, Frances Spalding, David Walker, Neal Gl...
132
Voted
CPM
1999
Springer
144views Combinatorics» more  CPM 1999»
15 years 7 months ago
Ziv Lempel Compression of Huge Natural Language Data Tries Using Suffix Arrays
We present a very efficient, in terms of space and access speed, data structure for storing huge natural language data sets. The structure is described as LZ (Ziv Lempel) compresse...
Strahil Ristov, Eric Laporte
150
Voted
SIGCSE
1997
ACM
158views Education» more  SIGCSE 1997»
15 years 7 months ago
A collection of tools for making automata theory and formal languages come alive
We present a collection of new and enhanced tools for experimenting with concepts in formal languages and automata theory. New tools, written in Java, include JFLAP for creating a...
Susan H. Rodger, Anna O. Bilska, Kenneth H. Leider...
122
Voted
WFLP
2000
Springer
148views Algorithms» more  WFLP 2000»
15 years 7 months ago
The Use of Functional and Logic Languages in Machine Learning
Abstract. Traditionally, machine learning algorithms such as decision tree learners have employed attribute-value representations. From the early 80's on people have started t...
Peter A. Flach
133
Voted
CALCO
2005
Springer
126views Mathematics» more  CALCO 2005»
15 years 9 months ago
Context-Free Languages via Coalgebraic Trace Semantics
In this paper we identify context-free grammars as coalgebras. To obtain the associated context-free languages (consisting of only finite-length strings) we introduce a general a...
Ichiro Hasuo, Bart Jacobs