links for 2008-08-17
bot • Aug 18th, 2008 • 網路書簽-
On architecture
歸檔：網路書簽
links for 2008-07-30
bot • Jul 31st, 2008 • 網路書簽-
a book on semantics on programming language
-
This paper proposes a theory of encapsulation, establishing a relationship between encapsulation and information hiding through the concept of potential structural complexity
-
This article surveys various approaches to the formal modeling and analysis of the temporal features of computer-based systems, with a level of detail that is suitable also for non-specialists.
-
some of the young generation of China
links for 2008-07-28
bot • Jul 29th, 2008 • 網路書簽-
这是一本特殊的书。一部将以创作共用（Creative Commons）CC-BY版权出版的影集和文集。本书是对版权束缚创造的又一个宣言；是又一次基于互联网、关于创作和分享的重要尝试。翻译，也自然成为
-
discussing these theories in terms of two fundamentally different development styles, the “cathedral” model of most of the commercial world versus the “bazaar” model of the Linux world.
-
Free Culture by Lessig
links for 2008-07-22
bot • Jul 23rd, 2008 • 網路書簽-
Clue is an ANSI C compiler (C89, some C99) that targets high-level languages such as Lua, Javascript or Perl.
links for 2008-07-21
bot • Jul 22nd, 2008 • 網路書簽-
An LL parser is a top-down parser for a subset of the context-free grammars.
-
Tail recursive parsers are derived from the more common Recursive descent parsers.
-
A parsing expression grammar, or PEG, is a type of analytic formal grammar that describes a formal language in terms of a set of rules for recognizing strings in the language.
-
In computer science, an LR parser is a parser for context-free grammars that reads input from Left to right and produces a Rightmost derivation.
-
In computer science, a Simple LR parser or SLR parser is created by an SLR parser generator which reads a BNF grammar and constructs an LR(0) state machine.
-
A canonical LR parser or LR(1) parser is an LR parser whose parsing tables are constructed in a similar way as with LR(0) parsers except that the items in the item sets also contain a follow.
-
In computer science, a GLR parser (”Generalized Left-to-right Rightmost derivation parser”) is an extension of an LR parser algorithm to handle nondeterministic and ambiguous grammars.
-
In computer science, a lookahead LR parser or LALR parser is a specialized form of LR parser that can deal with more context-free grammars than Simple LR (SLR) parsers.
-
The Cocke-Younger-Kasami (CYK) algorithm (alternatively called CKY) determines whether a string can be generated by a given context-free grammar and, if so, how it can be generated.
-
The Earley parser is a type of chart parser mainly used for parsing in computational linguistics, named after its inventor, Jay Earley.
-
An operator precedence parser is a computer program that interprets an operator-precedence grammar.
-
This is a list of notable parsing systems.
links for 2008-07-16
bot • Jul 17th, 2008 • 網路書簽-
Fractional calculus is a branch of mathematical analysis that studies the possibility of taking real number powers of the differential operator
-
schedule for Wikimania 2008
links for 2008-07-14
bot • Jul 15th, 2008 • 網路書簽-
Creole is a common wiki markup language to be used across different wikis. It’s not replacing existing markup but instead enabling wiki users to transfer content seamlessly across wikis, and for novice users to contribute more easily.
-
An initiative in Yahoo! Search to open up Yahoo!’s search infrastructure and enable third parties to build revolutionary search products leveraging their own data, content, technology, social graph, or other assets.