Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
991	Microsoft Word - 13-Syntax-Directed-Translation.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 17:10:56 Programming language implementation Computing Attribute grammar LL parser Recursive descent parser Bottom-up parsing Parsing Terminal and nonterminal symbols GNU bison Compiler construction Formal languages Software engineering
992	The ClassAd Language Reference Manual Version 2.4 Marvin Solomon Computer Sciences Department University of Wisconsin—Madison [removed] Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2012-10-29 16:49:09 Formal languages Pattern matching Markup languages Data types Primitive types String literal Octal Regular expression String Computing Software engineering Computer programming
993	Formal Verification of a C Compiler Front-end Sandrine Blazy, Zaynah Dargaye, and Xavier Leroy INRIA Rocquencourt[removed]Le Chesnay, France {Sandrine.Blazy, Zaynah.Dargaye, Xavier.Leroy}@inria.fr Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-05-16 04:47:55 Procedural programming languages Data types C++ Logic in computer science Programming language semantics Pointer C ALGOL 68 Monad Software engineering Computing Programming language theory
994	Proof General Organize your proofs! User Manual for Proof General 4.2pre January 2012 proofgeneral.inf.ed.ac.uk Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2015-04-19 00:44:55 Functional languages Proof assistant Mathematical logic Theoretical computer science Emacs Coq Isabelle Formal verification Mathematical proof Software Automated theorem proving Formal methods
995	An Interactive Lecture Approach to Teaching Computer Science Susan H. Rodger1 Computer Science Department Duke University Durham, NC, [removed]email: [removed] Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 12:59:46 Theoretical computer science Computer science Compiler construction Applied mathematics Deterministic pushdown automaton Parsing table LL parser LR parser Pushdown automaton Automata theory Models of computation Formal languages
996	Left Recursion in Parsing Expression Grammars S´ergio Medeiros Department of Computer Science – UFS – Aracaju – Brazil Fabio Mascarenhas Department of Computer Science – UFRJ – Rio de Janeiro – Brazil Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-02-16 22:20:25 Computing Parsing expression grammar Top-down parsing Syntactic predicate Recursive descent parser Context-free grammar Left recursion Parsing Formal grammar Formal languages Software engineering Computer programming
997	On the Expressive Power of Cost Logics over Infinite Words? Denis Kuperberg1 , Michael Vanden Boom2 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Formal languages Logic Muller automaton Linear temporal logic Partition FO Alphabet First-order logic Star height Mathematics Automata theory Theoretical computer science
998	The CompCert C verified compiler Documentation and user’s manual Version 2.4 Xavier Leroy INRIA Paris-Rocquencourt September 17, 2014 Add to Reading List Source URL: compcert.inria.fr Language: English - Date: 2014-09-17 05:19:05 Compilers Functional languages Formal methods Logic in computer science Compcert Compiler correctness Compiler Xavier Leroy Coq Software Computing Compiler construction
999	Modules Types Integer! 1234 0xcafe 0177 0b100 10_000 cheat Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2014-10-15 13:53:57 Higher-order functions Procedural programming languages Map Formal languages Parsing Expr Attribute grammar Filter ALGOL 68 Computing Software engineering Computer programming
1000	Tobias Nipkow, Gerwin Klein Concrete Semantics with Isabelle/HOL April 8, 2015 Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:05 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic