Search results for "BNF"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	Paul B. Mann	A translational BNF grammar notation (TBNF).	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	LALR, LL, LR, intermediate code, language recognition, grammar, syntax, parser, parser generator, compiler compiler, AST, BNF, grammarware, EBNF
87	Lieh-Ming Wu, Kuochen Wang, Chuang-Yi Chiu	A BNF-based automatic test program generator for compatible microprocessor verification.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	Advanced microprocessor, compatibility verification, top-down recursive descent parsing method, coverage, automatic program generator, BNF
75	Teodor Rus	Parsing Languages by Pattern Matching.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	BNF-rule, program parsing, specification mechanism, algorithm, complexity, compiler, programming language, pattern matching, language, Algebraic model, program evaluation
56	Alaa Zreik	Semantic trajectory analysis for the prediction of the physical state of the collections at the BnF. (Analyse de trajectoires sémantiques pour la prédiction de l'état physique des collections à la BnF).		2023	RDF
49	Luca Breveglieri, Stefano Crespi-Reghizzi, Alessandra Cherubini	Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars.	FCT	1999	DBLP DOI BibTeX RDF
43	M. D. Derk	Towards a simpler method of operational semantics for language definition.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	operational semantics, binding, BNF
43	Robert Balzer, David J. Farber	APAREL - A parse-request language.	Commun. ACM	1969	DBLP DOI BibTeX RDF	string processing, pattern matching, translator, syntax, symbol manipulation, text processing, parser, BNF, PL/I
42	Sergey V. Zelenov, Sophia A. Zelenova	Automated Generation of Positive and Negative Tests for Parsers.	FATES	2005	DBLP DOI BibTeX RDF	specification-based test generation, coverage criterion, compiler testing, positive tests, negative tests, BNF grammar, formal language, mutation testing, parser
42	Philip J. Morrow, Danny Crookes	Using Prolog to implement a compiler for a parallel image processing language.	ICIP	1995	DBLP DOI BibTeX RDF	parallel image processing language, BNF syntax definition, image processing, compiler, parallel architectures, parallel architectures, PROLOG, programming languages, program compilers, parallel languages, software portability, software portability, abstract model, implementation language
33	Zhou Yanming, Qu Mingbin Mingbin	A Run-time Adaptive and Code-size Efficient XML Parser.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF
33	Serge Abiteboul, Gregory Cobena, Julien Masanès, Gerald Sedrati	A First Experience in Archiving the French Web.	ECDL	2002	DBLP DOI BibTeX RDF
33	Mourad Mechkour	EMIR2: An Extended Model for Image Representation and Retrieval	DEXA	1995	DBLP DOI BibTeX RDF	Image Retrieval, Conceptual Graphs, Image model
33	Jon Bondy	Uninitialized Modula-2 Abstract Object Instances, Yet Again.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	Modula-2
33	Jean-Jacques Girardot, Florence Rollin	The syntax of APL, an old approach revisited.	APL	1987	DBLP DOI BibTeX RDF	APL
28	Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti	Fast GLR parsers for extended BNF grammars and transition networks.	J. Comput. Lang.	2021	DBLP DOI BibTeX RDF
28	Luis Fernando de Mingo López, Nuria Gómez Blas, Clemencio Morales Lucas	Ant colony systems optimization applied to BNF grammars rule derivation (ACORD algorithm).	Soft Comput.	2020	DBLP DOI BibTeX RDF
28	Luis Fernando de Mingo López, Nuria Gómez Blas, Angel Castellanos Peñuela, Juan Castellanos Peñuela	Swarm Intelligence Models: Ant Colony Systems Applied to BNF Grammars Rule Derivation.	Int. J. Found. Comput. Sci.	2020	DBLP DOI BibTeX RDF
28	Wladyslaw Skarbek	Symbolic Tensor Neural Networks for Digital Media - from Tensor Processing via BNF Graph Rules to CREAMS Applications.	Fundam. Informaticae	2019	DBLP DOI BibTeX RDF
28	Dee Quinlan, Joe B. Wells, Fairouz Kamareddine	BNF-Style Notation as It Is Actually Used.	CICM	2019	DBLP DOI BibTeX RDF
28	Wladyslaw Skarbek	Symbolic Tensor Neural Networks for Digital Media - from Tensor Processing via BNF Graph Rules to CREAMS Applications.	CoRR	2018	DBLP BibTeX RDF
28	Luis Fernando de Mingo López, Nuria Gómez Blas, Juan Castellanos Peñuela, Alberto Arteta Albert	ACORD: Ant Colony Optimization and BNF Grammar Rule Derivation.	Enjoying Natural Computing	2018	DBLP DOI BibTeX RDF
28	Bertrand Caron, Jordan de la Houssaye, Thomas Ledoux, Sébastien Peyrard, Stéphane Reecht, Jean-Philippe Tramoni	ARK is in the Air: ARKs Trending in the French-speaking Area and the BnF’s Role in the ARK Story.	iPRES	2018	DBLP BibTeX RDF
28	Haihua Xu, Van Hai Do, Xiong Xiao, Engsiong Chng	A comparative study of BNF and DNN multilingual training on cross-lingual low-resource speech recognition.	INTERSPEECH	2015	DBLP DOI BibTeX RDF
28	Bertrand Caron, Thomas Ledoux, Stéphane Reecht, Jean-Philippe Tramoni	Experiment, Document & Decide: a Collaborative Approach to Preservation Planning at the BnF.	iPRES	2015	DBLP BibTeX RDF
28	Roman R. Redziejowski	More About Converting BNF to PEG.	Fundam. Informaticae	2014	DBLP DOI BibTeX RDF
28	Sébastien Peyrard, John A. Kunze, Jean-Philippe Tramoni	The ARK Identifier Scheme: Lessons Learnt at the BnF and Questions Yet Unanswered.	Dublin Core Conference	2014	DBLP BibTeX RDF
28	Agnès Simon, Romain Wenz, Vincent Michel, Adrien Di Mascio	Publishing Bibliographic Records on the Web of Data: Opportunities for the BnF (French National Library).	ESWC	2013	DBLP DOI BibTeX RDF
28	Romain Wenz	The 'intellectual network': linking writers in the data.bnf.fr project.	WOD	2013	DBLP DOI BibTeX RDF
28	Hong Zhu 0002	An institution theory of formal meta-modelling in graphically extended BNF.	Frontiers Comput. Sci. China	2012	DBLP DOI BibTeX RDF
28	Vadim Zaytsev	BNF was here: what have we done about the unnecessary diversity of notation for syntactic definitions.	SAC	2012	DBLP DOI BibTeX RDF
28	Rasha S. Abdul-Wahab	Genotype-phenotype with BNF mapping: An automatic approach of producing a computer program.	EAIS	2012	DBLP DOI BibTeX RDF
28	Hong Zhu 0002	On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic.	TASE	2010	DBLP DOI BibTeX RDF
28	Dave Crocker, Paul Overell	Augmented BNF for Syntax Specifications: ABNF.	RFC	2008	DBLP DOI BibTeX RDF
28	Dave Crocker, Paul Overell	Augmented BNF for Syntax Specifications: ABNF.	RFC	2005	DBLP DOI BibTeX RDF
28	Markus Forsberg, Aarne Ranta	BNF converter.	Haskell	2004	DBLP DOI BibTeX RDF
28	Howard Katz	Implementing the XQuery grammar: From BNF to parse tree to backend data structures.	Extreme Markup Languages®	2002	DBLP BibTeX RDF
28	Bob Carpenter, Sol Lerner, Roberto Pieraccini	Optimizing BNF grammars through source transformations.	INTERSPEECH	2000	DBLP DOI BibTeX RDF
28	Kurt Svensson	Index in BNF Grammars (Short Comment).	ACM SIGPLAN Notices	1998	DBLP BibTeX RDF
28	Dave Crocker, Paul Overell	Augmented BNF for Syntax Specifications: ABNF.	RFC	1997	DBLP DOI BibTeX RDF
28	Petri Mäenpää	Semantical BNF.	TYPES	1996	DBLP DOI BibTeX RDF
28	Henry F. Ledgard	A human engineered variant of BNF.	ACM SIGPLAN Notices	1980	DBLP DOI BibTeX RDF
28	Henry F. Ledgard	Production Systems: or Can We Do Better than BNF?	Commun. ACM	1974	DBLP DOI BibTeX RDF
28	Henry F. Ledgard	Production systems - or can we do better than BNF?	ACM SIGPLAN Notices	1973	DBLP DOI BibTeX RDF
28	Gordon Whitney	An extended BNF for specifying the syntax of declarations.	AFIPS Spring Joint Computing Conference	1969	DBLP DOI BibTeX RDF
28	Franklin L. Deremer	Generating parsers for BNF grammars.	AFIPS Spring Joint Computing Conference	1969	DBLP DOI BibTeX RDF
27	David Langan, Leo F. Denton, Dawn McKinney	Affective objectives in a programming languages course.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	affective objectives, parameter passing, syntax diagrams, programming languages, value, memory models, internalization, BNF
27	Bryan Ford	Parsing expression grammars: a recognition-based syntactic foundation.	POPL	2004	DBLP DOI BibTeX RDF	GTDPL, TDPL, packrat parsing, parsing expression grammars, scannerless parsing, syntactic predicates, unified grammars, regular expressions, context-free grammars, lexical analysis, BNF
16	Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota	Encoding a process algebra using the Event B method.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Event B method, User tasks validation, Human-computer interaction, Refinements, Process algebra
16	Axel-Tobias Schreiner, James E. Heliotis	A discipline of tree processing.	PPPJ	2009	DBLP DOI BibTeX RDF	tree manipulation, parser generators
16	Chunjiang Zhao 0001, Hua-Rui Wu 0001	Study on the Agricultural Knowledge Representation Model Based on Fuzzy Production Rules.	ICIC (1)	2009	DBLP DOI BibTeX RDF	Agricultural intelligent system, Agricultural knowledge, Fuzzy production rules, Knowledge representation model
16	William B. Langdon, Joanna Rowsell, Andrew P. Harrison	Creating regular expressions as mRNA motifs with GP to predict human exon splitting.	GECCO	2009	DBLP DOI BibTeX RDF	HDONA, affymetrix genechip, alternative splicing of homosapiens exons, biological interpretation of computer generated motifs, gene expression and regulation, integration of genetic programming into bioinformatics, genetic algorithms, genetic programming, bioinformatics, regular expression, grammar, microarray analysis, alternative splicing, strongly typed genetic programming
16	Sadia Noreen, Shafaq Murtaza, M. Zubair Shafiq, Muddassar Farooq	Using Formal Grammar and Genetic Operators to Evolve Malware.	RAID	2009	DBLP DOI BibTeX RDF
16	William B. Langdon, Andrew P. Harrison	Evolving Regular Expressions for GeneChip Probe Performance Prediction.	PPSN	2008	DBLP DOI BibTeX RDF
16	Flavio De Paoli, Matteo Palmonari, Marco Comerio, Andrea Maurino	A Meta-model for Non-functional Property Descriptions of Web Services.	ICWS	2008	DBLP DOI BibTeX RDF
16	Wu Bei, Xingyuan Chen, Yongliang Wang, Dai Xiangdong, Peng Jun	Network System Model-Based Multi-level Policy Generation and Representation.	CSSE (2)	2008	DBLP DOI BibTeX RDF
16	Steffen Mazanek, Mark Minas	Functional-Logic Graph Parser Combinators.	RTA	2008	DBLP DOI BibTeX RDF
16	Phan Thien Son, Lan Du 0002, Huidong Jin 0001, Olivier Y. de Vel, Nianjun Liu, Terry Caelli	A Simple WordNet-Ontology Based Email Retrieval System for Digital Forensics.	ISI Workshops	2008	DBLP DOI BibTeX RDF
16	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Core Maude Grammar.	All About Maude	2007	DBLP DOI BibTeX RDF
16	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Syntax and Basic Parsing.	All About Maude	2007	DBLP DOI BibTeX RDF
16	Anneke Kleppe	Towards the Generation of a Text-Based IDE from a Language Metamodel.	ECMDA-FA	2007	DBLP DOI BibTeX RDF	text-based languages, compilers, generation, domain specific languages, metamodeling, parsing, IDE
16	Axel-Tobias Schreiner, James E. Heliotis	oops: discovering LL(1) through objects.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	parser generators
16	Degui Guo, Sheng-Jun Wang	Precedence Grammar and Its Transformation.	SERA	2006	DBLP DOI BibTeX RDF	Precedence Grammar, Grammar Transformer, Super Grammar
16	Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel 0001, Pierluigi San Pietro	A scalable formal method for design and automatic checking of user interfaces.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	applications of model checking, Human-computer interaction (HCI), GUI design
16	G. Alan Creak	Parsing by numbers and asparagus.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF
16	Kyoung Min Kim, Sungsoo Lim, Sung-Bae Cho	User Adaptive Answers Generation for Conversational Agent Using Genetic Programming.	IDEAL	2004	DBLP DOI BibTeX RDF
16	Joachim Fischer, Michael Piefel, Markus Scheidgen	A Metamodel for SDL-2000 in the Context of Metamodelling ULF.	SAM	2004	DBLP DOI BibTeX RDF
16	Shu Xiao, Sheng Li, Xiangrong Wang, Lijun Deng	Fault-oriented Software Robustness Assessment for Multicast Protocols.	NCA	2003	DBLP DOI BibTeX RDF
16	Michael Janzen, Yang Xiang 0004	Probabilistic Reasoning for Meal Planning in Intelligent Fridges.	AI	2003	DBLP DOI BibTeX RDF
16	William G. Griswold	Teaching Software Engineering in a Compiler Project Course.	ACM J. Educ. Resour. Comput.	2002	DBLP DOI BibTeX RDF	compiler course, software engineering
16	Michael O'Neill 0001, Conor Ryan, Maarten Keijzer, Mike Cattolico	Crossover in Grammatical Evolution: The Search Continues.	EuroGP	2001	DBLP DOI BibTeX RDF
16	Roman Gumzej, Matjaz Colnaric, Domen Verber, Wolfgang A. Halang	Towards Standard-Based Specification and Design of Embedded Real-Time Systems.	EUROMICRO	1998	DBLP DOI BibTeX RDF
16	Vassilka Kirova, Wilhelm R. Rossak	ASPECT - An Architecture SPECification Technique: A Report on Work in Progress.	ECBS	1996	DBLP DOI BibTeX RDF	Software architecture, complex systems, systems engineering
16	Drasko M. Sotirovski, Philippe Kruchten	Handling Irregular Grammars in Ada.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Ada, Parsing
16	Mikael Pettersson, Peter Fritzson	DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications.	ICCL	1992	DBLP DOI BibTeX RDF
16	Jan Heering, P. R. H. Hendriks, Paul Klint, J. Rekers	The syntax definition formalism SDF - reference manual.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
16	Abdullah Uz Tansel, M. Erol Arkun, Gultekin Özsoyoglu	Time-by-Example Query Language for Historical Databases.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	triple-valued attributes, Time-by-Example, historical relational databases, Summary-Table-by-Example, historical relations, relational databases, query languages, graphical query language
16	Weidong Dang	Formal Specification of Interactive Languages Using Definite Clause Grammars.	PLILP	1988	DBLP DOI BibTeX RDF
16	Carl K. Chang, Tsang Ming Jiang, Mikio Aoyama	A specification language for real-time distributed systems.	ICCL	1988	DBLP DOI BibTeX RDF
16	Dines Bjørner	Programming in the META-Language: A Tutorial.	The Vienna Development Method: The Meta-Language	1978	DBLP DOI BibTeX RDF
16	Gerhard Barth	Mastering Contextsensitivity in Programming Languages.	MFCS	1978	DBLP DOI BibTeX RDF
16	Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman	Deterministic Parsing of Ambiguous Grammars.	POPL	1973	DBLP DOI BibTeX RDF
16	Kenneth E. Iverson	A method of syntax specification.	Commun. ACM	1964	DBLP DOI BibTeX RDF
16	Peter Zilahy Ingerman	General language translation schemata.	Commun. ACM	1962	DBLP DOI BibTeX RDF	Backus normal forms, mechanical languages, syntax-oriented compilers, semiotics, language translation