mattmight's parsing [15 articles] Export

Recent papers added to mattmight's library classified by the tag parsing. You can also see everyone's parsing.

	Grammar Analysis and Parsing by Abstract Interpretation, invited chapter [My Copy] In Program Analysis and Compilation, Theory and Practice: Essays dedicated to Reinhard Wilhelm (December 2006), pp. 178-203. by Patrick Cousot, Radhia Cousot edited by Tom Reps, Mooly Sagiv, Jorg Bauer posted to parsing by mattmight on 2009-10-09 07:05:34 as
	Parsing as Abstract Interpretation of Grammar Semantics [My Copy] Theoretical Computer Science, Vol. 290 (2003), pp. 531-544. by Patrick Cousot, Radhia Cousot posted to parsing by mattmight on 2009-10-09 07:03:46 as
	Simple LR(k) grammars [My Copy] Communications of the ACM, Vol. 14, No. 7. (1971), pp. 453-460. by Franklin L. DeRemer posted to parsing by mattmight on 2009-10-09 06:39:26 as along with 1 person ajholanda
	LR parsers for natural languages [My Copy] In ACL-22: Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics (1984), pp. 354-357. by Masaru Tomita posted to parsing by mattmight on 2009-10-09 06:35:10 as along with 1 person mrkn
	An efficient context-free parsing algorithm [My Copy] Communications of the ACM, Vol. 13, No. 2. (1970), pp. 94-102. by Jay Earley posted to parsing by mattmight on 2009-10-09 06:31:38 as
	Programming languages and their compilers: Preliminary notes [My Copy] (1970) by John Cocke, Jacob T. Schwartz posted to parsing by mattmight on 2009-10-09 06:28:24 as
	Recognition and parsing of context-free languages in time n3 [My Copy] Information and Control, Vol. 10, No. 2. (1967), pp. 189-208. by Daniel H. Younger posted to parsing by mattmight on 2009-10-09 06:23:37 as
	On the Translation of Languages from Left to Right [My Copy] Information and Control, Vol. 8 (1965), pp. 607-639. by Donald Knuth posted to parsing by mattmight on 2009-10-09 06:17:47 as
	Syntactic Analysis and Operator Precedence [My Copy] Journal of the ACM, Vol. 10, No. 3. (July 1963), pp. 316-333. by Robert W. Floyd posted to parsing by mattmight on 2009-10-09 06:11:05 as along with 2 people ajholanda scavadini
	Bounded context syntactic analysis [My Copy] Communications of the ACM, Vol. 7, No. 2. (1964), pp. 62-67. by Robert W. Floyd posted to parsing by mattmight on 2009-10-09 06:07:02 as along with 1 person ajholanda
	Syntactic Structures [My Copy] (31 December 2002) by Noam Chomsky posted to parsing grammars context-free-grammars by mattmight on 2009-10-09 06:05:04 as along with 4 people mchinen Adso krisjack JakubSzymanik
	Top down operator precedence [My Copy] In POPL '73: Proceedings of the 1st annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (1973), pp. 41-51. by Vaughan R. Pratt posted to parsing by mattmight on 2009-10-09 05:57:37 as along with 2 people mwmarkland voronov
	Selected Writings on Computing: A Personal Perspective [My Copy] (25 October 1982) by Edsger W. Dijkstra posted to parsing by mattmight on 2009-10-09 05:53:15 as along with 1 person R13
	Packrat Parsing: Simple, Powerful, Lazy, Linear Time [My Copy] In Proceedings of the 2002 International Conference on Functional Programming (Oct 2002) by Bryan Ford posted to parsing by mattmight on 2009-10-09 03:20:51 as along with 5 people and 2 groups draganigajic dherman jrw namin donniejones18 NU-PRL Lambda the Ultimate
	Packrat parsers can support left recursion [My Copy] In PEPM '08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation (2008), pp. 103-110. by Alessandro Warth, James R. Douglass, Todd Millstein posted to peg parsing compilers by mattmight on 2009-09-22 23:43:12 as along with 1 person rblake

Note: You may cite this page as: http://www.citeulike.org/user/mattmight/tag/parsing

static-analysis	41
abstract-interpretation	25
cfa	20
parsing	15
control-flow-analysis	14
type-theory	13
security	7
verification	7
alias-analysis	6
compiler	6
shape-analysis	6
model-checking	5
environment-analysis	4
lambda-calculus	4
macros	4
ml	4
parallelization	4
abstract-counting	3
abstract-garbage-collection	3
constraint-solving	3
cps	3
dependent-types	3
dissertation	3
escape-analysis	3
gamma-cfa	3
scheme	3
sml	3
specification	3
theorem-proving	3
cek	2
compilers	2
continuation	2
data-flow-analysis	2
delta-cfa	2
frame-strings	2
haskell	2
hoare-logic	2
lexing	2
non-nullability	2
operating-systems	2
pointer-analysis	2
predicate-abstraction	2
pushdown-automata	2
type-based-analysis	2
anf	1
benchmarking	1
c	1
cfl	1
context-free-grammars	1
continuation-passing-style	1
coq	1
coroutine	1
coroutine-fusion	1
damas-milner	1
dependence	1
derivative	1
dod	1
error-correcting-codes	1
exceptions	1
existential-cfa	1
flattening	1
functional-programming	1
galois-connection	1
ghc	1
grammars	1
graph-reachability	1
information-theory	1
java	1
lfa	1
linear-type	1
llvm	1
logic-flow-analysis	1
malware	1
mlton	1
partial-evaluation	1
pda	1
peer-review	1
peg	1
pushdown-analysis	1
r5rs	1
reachability-analysis	1
register-allocation	1
regular-expressions	1
scala	1
sensor-nets	1
software-engineering	1
ssa	1
stack	1
super-beta	1
symbolic-execution	1
termination	1
transducer-fusion	1
tree-automata	1
tvla	1
type-inference	1
ucombinator	1
wcet	1

mattmight's parsing [15 articles] Export

mattmight's tags