Yacc (Yet Another Compiler-Compiler) is a computer program for the Unix operating system developed by Stephen C. Johnson. It is a Look Ahead Left-to-Right (LALR) parser generator, generating a parser, the part of a compiler that tries to make syntactic sense of the source code, specifically a LALR parser, based on an analytic grammar written in a notation similar to Backus–Naur Form (BNF).[1] Yacc is supplied as a standard utility on BSD and AT&T Unix.[2] GNU-based Linux distributions include Bison, a forward-compatible Yacc replacement.

References in zbMATH (referenced in 67 articles )

Showing results 1 to 20 of 67.
Sorted by year (citations)

1 2 3 4 next

  1. Chihani, Zakaria; Miller, Dale; Renaud, Fabien: A semantic framework for proof evidence (2017)
  2. van Delft, Andre; Kmetyuk, Anatoliy: Declarative programming with algebra (2016)
  3. van der Hoeven, Joris: Towards semantic mathematical editing (2015)
  4. Aït-Kaci, Hassan: An abstract, reusable, and extensible programming language design architecture (2013)
  5. Kuhn, Tobias: A principled approach to grammars for controlled natural languages and predictive editors (2013)
  6. Cervelle, Julien; Forax, Rémi; Loyauté, Gautier; Roussel, Gilles: Banzai+Tatoo: using cutting-edge parsers for implementing high-performance servers (2012) ioport
  7. Mattingley, Jacob; Boyd, Stephen: CVXGEN: a code generator for embedded convex optimization (2012)
  8. Angelov, Krasimir; Bringert, Björn; Ranta, Aarne: PGF: A portable run-time format for type-theoretical grammars (2010) ioport
  9. Darwin, Ian: Annabot: a static verifier for Java annotation usage (2010) ioport
  10. Denny, Joel E.; Malloy, Brian A.: The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolution (2010)
  11. Schmitz, Sylvain: An experimental ambiguity detection tool (2010)
  12. van Wyk, Eric; Bodin, Derek; Gao, Jimin; Krishnan, Lijesh: Silver: an extensible attribute grammar system (2010)
  13. Andreozzi, S.; Ciancarini, P.; Montesi, D.; Moretti, R.; Pardi, S.: Implementation and performance analysis of XMatch: a language for quality-based selection of grid services (2009) ioport
  14. Jandhyala, Ramana C.; Krishnamoorthy, Mukkai; Nagy, George; Padmanabhan, Raghav; Seth, Sharad; Silversmith, William: From tessellations to table interpretation (2009)
  15. Janoušek, Jan; Melichar, Bořivoj: On regular tree languages and deterministic pushdown automata (2009)
  16. Di Penta, Massimiliano; Lombardi, Pierpaolo; Taneja, Kunal; Troiano, Luigi: Search-based inference of dialect grammars (2008) ioport
  17. Muller, Pierre-Alain; Fondement, Frédéric; Fleurey, Franck; Hassenforder, Michel; Schnekenburger, Rémi; Gérard, Sébastien; Jézéquel, Jean-Marc: Model-driven analysis and synthesis of textual concrete syntax (2008) ioport
  18. Van Deursen, Davy; De Neve, Wesley; De Schrijver, Davy; Van de Walle, Rik: Gbflavor: a new tool for fast and automatic generation of generic bitstream syntax descriptions (2008) ioport
  19. Hickey, Jason; Nogin, Aleksey: Formal compiler construction in a logical framework (2006)
  20. Mikhelev, V. M.: Specific features of the control structure in the programming language MARKIZ (2005)

1 2 3 4 next