Search results for "syntax"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
97	Basim M. Kadhim, William M. Waite	Maptool - Supporting Modular Syntax Development.	CC	1996	DBLP DOI BibTeX RDF	parsing grammar, syntax development, syntax mapping, modularity, Abstract syntax, concrete syntax, tree construction
90	John Howse, Fernando Molina, John Taylor 0001, Sun-Joo Shin	Type-syntax and token-syntax in diagrammatic systems.	FOIS	2001	DBLP DOI BibTeX RDF	concrete and abstract syntax, formal methods, software specification, diagrammatic reasoning, visual formalisms
74	Martin Bravenboer, Éric Tanter, Eelco Visser	Declarative, formal, and extensible syntax definition for aspectJ.	OOPSLA	2006	DBLP DOI BibTeX RDF	generalized-LR parsing, grammar mixins, lexical syntax, scannerless parsing, syntax definition, syntax extension, aspectJ
70	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
65	Kevin Donnelly, Hongwei Xi	Combining higher-order abstract syntax with first-order abstract syntax in ATS.	MERLIN	2005	DBLP DOI BibTeX RDF	ATS/LF, theorem proving, dependent types, higher-order abstract syntax, ATS
64	Andrew Gacek	Relating nominal and higher-order abstract syntax specifications.	PPDP	2010	DBLP DOI BibTeX RDF	higher-order abstract syntax, proof search, nominal logic
64	Thomas Baar	Correctly defined concrete syntax.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Metamodeling, Visual languages, OCL, Triple-Graph-Grammars (TGGs), Concrete syntax
59	Martin Bravenboer, Eelco Visser	Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions.	OOPSLA	2004	DBLP DOI BibTeX RDF	MetaBorg, concrete object syntax, extensible syntax, syntax extension, domain-specific languages, rewriting, meta programming, embedded languages, SDF, stratego
59	Frédéric Fondement, Thomas Baar	Making Metamodels Aware of Concrete Syntax.	ECMDA-FA	2005	DBLP DOI BibTeX RDF	Concrete Syntax Description, UML, Metamodeling, Visual Languages, OCL, MOF
56	Sukyoung Ryu	Parsing Fortress syntax.	PPPJ	2009	DBLP DOI BibTeX RDF	parsing
56	Thomas Baar	Correctly Defined Concrete Syntax for Visual Modeling Languages.	MoDELS	2006	DBLP DOI BibTeX RDF
54	Marcelo P. Fiore	Second-Order and Dependently-Sorted Abstract Syntax.	LICS	2008	DBLP DOI BibTeX RDF	second-order syntax, dependently-sorted syntax, alpha-equivalence, metavariable, meta-substitution, categorical algebra, substitution, abstract syntax, variable binding
54	Akim Demaille, Roland Levillain, Benoît Sigoure	TWEAST: a simple and effective technique to implement concrete-syntax AST rewriting using partial parsing.	SAC	2009	DBLP DOI BibTeX RDF	C++, program transformation, parsing, compiler design, rewrite rules, concrete syntax
53	Frank DeRemer, Richard Jüllig	Tree-affix dendrogrammars for languages and compilers.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF	context-sensitive syntax, affix grammars, language specification, attribute grammars, compiler generation, abstract syntax, static semantics, concrete syntax, translator writing system
51	Milan Milanovic, Dragan Gasevic, Adrian Giurca, Gerd Wagner 0001, Sergey Lukichev, Vladan Devedzic	Bridging Concrete and Abstract Syntax of Web Rule Languages.	RR	2007	DBLP DOI BibTeX RDF
51	Zhenghua Pan	Relation between Semantic Completeness and Syntax Completeness on General Formal Systems.	SKG	2006	DBLP DOI BibTeX RDF
51	Dale Miller 0001	Abstract Syntax and Logic Programming.	RCLP	1991	DBLP DOI BibTeX RDF
50	John Howse, Fernando Molina, Sun-Joo Shin, John Taylor 0001	On Diagram Tokens and Types.	Diagrams	2002	DBLP DOI BibTeX RDF
49	Jim Alves-Foss, Deborah A. Frincke	Formal Grammar for Java.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
48	Pramod G. Joisha, Abhay Kanhere, Prithviraj Banerjee, U. Nagaraj Shenoy, Alok N. Choudhary	Handling context-sensitive syntactic issues in the design of a front-end for a MATLAB compiler.	ACM SIGAPL APL Quote Quad	2001	DBLP DOI BibTeX RDF	colon expressions, command-form function invocations, control constructs, single quote character, syntax analysis for MATLAB, assignments, matrices
47	David S. Wile	Abstract Syntax from Concrete Syntax.	ICSE	1997	DBLP DOI BibTeX RDF	reverse engineering, program transformation, domain-specific languages, grammars, object-oriented models, abstract syntax, concrete syntax
46	Jeroen Arnoldus, Jeanot Bijpost, Mark van den Brand	Repleo: a syntax-safe template engine.	GPCE	2007	DBLP DOI BibTeX RDF	ASF+SDF, concrete object syntax, repleo, syntax safety, code generators, templates, meta programming
46	Claus Brabrand, Anders Møller, Michael I. Schwartzbach	Dual Syntax for XML Languages.	DBPL	2005	DBLP DOI BibTeX RDF
46	Glenn Jennings, Esther Jennings	A discrete syntax for level-sensitive latched circuits having n clocks and m phases.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
46	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
46	Donald J. Bagert	On designing a language for exclusive use in a syntax directed programming environment.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
44	Jim Alves-Foss (eds.)	Formal Syntax and Semantics of Java	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
44	Egon Börger, Wolfram Schulte	A Programmer Friendly Modular Definition of the Semantics of Java.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
44	David von Oheimb, Tobias Nipkow	Machine-Checking the Java Specification: Proving Type-Safety.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
44	Don Syme	Proving Java Type Soundness.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
44	Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing	An Event-Based Structural Operational Semantics of Multi-Threaded Java.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
44	Sophia Drossopoulou, Susan Eisenbach	Describing the Semantics of Java and Proving Type Soundness.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
44	Zhenyu Qian	A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
44	Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen	A Programmer's Reduction Semantics for Classes and Mixins.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
44	Pieter H. Hartel, Michael J. Butler, Moshe Levy	The Operational Semantics of a Java Secure Processor.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
44	Jim Alves-Foss, Fong Shing Lam	Dynamic Denotational Semantics of Java.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
44	Andreas Maletti, Catalin Ionut Tîrnauca	Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms - Revisited.	CAI	2009	DBLP DOI BibTeX RDF	tree bimorphism, natural language processing, syntax-directed translation, regular tree language
44	Frédéric Fondement	Graphical Concrete Syntax Rendering with SVG.	ECMDA-FA	2008	DBLP DOI BibTeX RDF	Language Engineering, Graphical Concrete Syntax, XML, MDA, SVG, MDE, DOM
44	Tom Sgouros	What Is Context For? Syntax in a Non-Abstract World.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	semantics, information, syntax, Shannon
41	Song Mao, Praveer Mansukhani, George R. Thoma	Combining Static Classifiers and Class Syntax Models for Logical Entity Recognition in Scanned Historical Documents.	CVPR	2007	DBLP DOI BibTeX RDF
41	Eelco Visser	Meta-programming with Concrete Object Syntax.	GPCE	2002	DBLP DOI BibTeX RDF
41	Peter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong	Comprehension Syntax.	SIGMOD Rec.	1994	DBLP DOI BibTeX RDF
41	Robert A. Ballance, Jacob Butcher, Susan L. Graham	Grammatical Abstraction and Incremental Syntax Analysis in a Language-Based Editor.	PLDI	1988	DBLP DOI BibTeX RDF	Alvey Test Specifications and Quality Management Project
41	Jonathan Riehl	Assimilating MetaBorg: : embedding language tools in languages.	GPCE	2006	DBLP DOI BibTeX RDF	MetaBorg, concrete syntax macros, extensible syntax, staged multi-language programming, self application, SDF, stratego
41	Joyce Friedman	A computer system for transformational grammar.	Commun. ACM	1969	DBLP DOI BibTeX RDF	lexical insertion, natural language syntax, sentence generation, computational linguistics, syntax, language processing, language analysis, transformational grammar
40	Yong Xia 0006, Martin Glinz	Rigorous EBNF-based Definition for a Graphic Modeling Language.	APSEC	2003	DBLP DOI BibTeX RDF
39	Davy Van Deursen, Wesley De Neve, Davy De Schrijver, Rik Van de Walle	gBFlavor: a new tool for fast and automatic generation of generic bitstream syntax descriptions.	Multim. Tools Appl.	2008	DBLP DOI BibTeX RDF	Bitstream syntax descriptions, Description-driven content adaptation, MPEG-21 gBS Schema, Scalable video coding, Automatic code generation
39	Neil Ghani, Tarmo Uustalu, Makoto Hamana	Explicit substitutions and higher-order syntax.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Algebras, Monads, Abstract syntax, Explicit substitutions, Variable binding
39	Thomas J. Hubbell, David D. Langan, Thomas F. Hain	A voice-activated syntax-directed editor for manually disabled programmers.	ASSETS	2006	DBLP DOI BibTeX RDF	programming by voice, syntax directed, IDE, speech user interface
39	Robert Grimm 0001	Better extensibility through modular syntax.	PLDI	2006	DBLP DOI BibTeX RDF	extensible syntax, packrat parsing, parsing expression grammar, parser generator, module system
39	Adrian Giurca, Gerd Wagner 0001	Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML.	RuleML	2005	DBLP DOI BibTeX RDF	rule markup languages, RuleML, partial logic, semantics, abstract syntax
39	Clinton L. Jeffery	Generating LR syntax error messages from examples.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	LR parsers, Syntax error messages
39	Geoffrey Washburn, Stephanie Weirich	Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism.	ICFP	2003	DBLP DOI BibTeX RDF	modal type system, parametricity, higher-order abstract syntax, parametric polymorphism, catamorphism
39	Neil Ghani, Tarmo Uustalu	Explicit substitutions and higher-order syntax.	MERLIN	2003	DBLP DOI BibTeX RDF	algebras, monads, abstract syntax, explicit substitutions, variable binding
39	Murdoch Gabbay, Andrew M. Pitts	A New Approach to Abstract Syntax with Variable Binding.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Alpha-conversion, Permutation actions, Set theory, Abstract syntax, Structural induction
38	James Cheney	Toward a general theory of names: binding and scope.	MERLIN	2005	DBLP DOI BibTeX RDF	names, abstract syntax, scope, nominal logic
36	Jonathan J. Hull	Incorporating Language Syntax in Visual Text Recognition with a Statistical Model.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	language syntax, HMM, hidden Markov model, OCR, character recognition, document analysis, syntax, Text recognition, document recognition
36	James Dean Palmer	Ginger: implementing a new Lisp family syntax.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF
36	Holger Krahn, Bernhard Rumpe, Steven Völkel	Integrated Definition of Abstract and Concrete Syntax for Textual Languages.	MoDELS	2007	DBLP DOI BibTeX RDF
36	Yung-Shen Chang, Nai-Wei Lin	A Tool for Constructing Syntax-Directed Editors.	APSEC	2005	DBLP DOI BibTeX RDF
36	Bernd Fischer 0002, Eelco Visser	Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
36	Daniel Weise, Roger F. Crew	Programmable Syntax Macros.	PLDI	1993	DBLP DOI BibTeX RDF	C
36	Masao Kishore	New syntax for if- and case statements.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
36	Andrzej Blikle	Denotational Engineering or from Denotations to Syntax.	VDM Europe	1987	DBLP DOI BibTeX RDF
36	Daniel L. Moody	The "physics" of notations: a scientific approach to designing visual notations in software engineering.	ICSE (2)	2010	DBLP DOI BibTeX RDF	visual syntax, modelling, visualization, communication, analysis, diagrams, concrete syntax
36	Gerald W. Neufeld, Yueli Yang	The Design and Implementation of an ASN.1-C Compiler.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	abstract syntax notation one, ASN.1-C compiler, international standard specification, transfer-syntax, basic encoding rules, external data representation, ED library, CASN1, design, user interface, protocol, protocols, standards, C, implementation, encoding, program compilers, decoding, decoding
34	Steffen Mazanek, Mark Minas	Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors.	MoDELS	2009	DBLP DOI BibTeX RDF	Diagram editor, syntax-based assistance, graph parsing
34	Noam Zeilberger	Focusing and higher-order abstract syntax.	POPL	2008	DBLP DOI BibTeX RDF	pattern-matching, higher-order abstract syntax, focusing
34	Fanny Chevalier, David Auber, Alexandru C. Telea	Structural analysis and visualization of C++ code evolution using syntax trees.	IWPSE	2007	DBLP DOI BibTeX RDF	code structure evolution, software visualization, syntax trees
34	Gérard P. Huet	Shallow syntax analysis in Sanskrit guided by semantic nets constraints.	IWRIDL	2006	DBLP DOI BibTeX RDF	Sanskrit parser, natuaral language processing, computational linguistic, semantic net, syntax analysis
34	Conrad Plake, Jörg Hakenberg, Ulf Leser	Optimizing syntax patterns for discovering protein-protein interactions.	SAC	2005	DBLP DOI BibTeX RDF	syntax patterns, genetic algorithm, information extraction, protein-protein interactions
34	Norka B. Lucena, James Pease, Payman Yadollahpour, Steve J. Chapin	Syntax and Semantics-Preserving Application-Layer Protocol Steganography.	Information Hiding	2004	DBLP DOI BibTeX RDF	application protocols, semantics, steganography, syntax, SSH
34	Raymond McDowell, Dale Miller 0001	Reasoning with higher-order abstract syntax in a logical framework.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	induction, Definitions, logical frameworks, higher-order abstract syntax
34	Olivier Danvy, Morten Rhiger	A Simple Take on Typed Abstract Syntax in Haskell-like Languages.	FLOPS	2001	DBLP DOI BibTeX RDF	Type-directed partial evaluation, normalization functions, simply typed lambda-calculus, Haskell, higher-order abstract syntax
34	Stephen Morris, George Spanoudakis	UML: An Evaluation of the Visual Syntax of the Language.	HICSS	2001	DBLP DOI BibTeX RDF	graphic syntax, notational systems, notational schemes, UML, visual language, software modeling
34	Murdoch Gabbay, Andrew M. Pitts	A New Approach to Abstract Syntax Involving Binders.	LICS	1999	DBLP DOI BibTeX RDF	permutation models, set theory, binding, abstract syntax
34	Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi	Abstract Syntax and Variable Binding.	LICS	1999	DBLP DOI BibTeX RDF	categorical models and logics, type theory and type systems, semantics, lambda calculus, abstract syntax, universal algebra, variable binding
31	Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera	Typed transformations of typed abstract syntax.	TLDI	2009	DBLP DOI BibTeX RDF	typed transformations, type systems, meta-programming, gadt, common subexpression elimination
31	Florian Heidenreich, Jendrik Johannes, Sven Karol, Mirko Seifert, Christian Wende	Derivation and Refinement of Textual Syntax for Models.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
31	Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer	Polytypic Syntax Tree Operations.	IFL	2005	DBLP DOI BibTeX RDF
31	Mark Harman, Lin Hu 0005, Malcolm Munro, Xingyuan Zhang, David W. Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya	Syntax-Directed Amorphous Slicing.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	amorphous slicing, conditioned slicing, FermaT, transformation, WSL
31	Dale Miller 0001	Abstract Syntax for Variable Binders: An Overview.	Computational Logic	2000	DBLP DOI BibTeX RDF
31	Philip Wadler	A Syntax for Linear Logic.	MFPS	1993	DBLP DOI BibTeX RDF
31	Jean-Jacques Girardot, Florence Rollin	The syntax of APL, an old approach revisited.	APL	1987	DBLP DOI BibTeX RDF	APL
31	Marjorie P. Lietzke	A method of syntax-checking ALGOL 60.	Commun. ACM	1964	DBLP DOI BibTeX RDF	ALGOL
31	Joyce Friedman	Directed random generation of sentences.	Commun. ACM	1969	DBLP DOI BibTeX RDF	natural language syntax, sentence generation, computational linguistics, syntax, language processing, transformational grammar
31	Jerome A. Feldman, David Gries	Translator writing systems.	Commun. ACM	1968	DBLP DOI BibTeX RDF	compiler compiler-compiler, macroprocessor, meta-assembler, metacompiler, syntax-directed, semantics, generator, translator, syntax, parser, syntactic analysis, translator writing system
30	Nic Volanschi, Christian Rinderknecht	Unparsed patterns: easy user-extensibility of program manipulation tools.	PEPM	2008	DBLP DOI BibTeX RDF	unparsed patterns, pattern matching, source code
30	Matthias Erche, Michael Wagner 0006, Christian Hein	Mapping visual notations to MOF compliant models with QVT relations.	SAC	2007	DBLP DOI BibTeX RDF	QVT relations, model transformation, domain specific languages, visual languages, OCL
29	Nick Sheep Dalton, Paul Marshall, Ruth Conroy Dalton	Measuring environments for public displays: a space syntax approach.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	environment assessment, space syntax, ambient display
29	Hans-Jörg Tiede	Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Model theoretic syntax, Modal logic, Tree automata
29	Francisco J. Almeida-Martínez, Jaime Urquiza-Fuentes, J. Ángel Velázquez-Iturbide	VAST: visualization of abstract syntax trees within language processors courses.	SOFTVIS	2008	DBLP DOI BibTeX RDF	visualization, abstract syntax trees
29	Andrew Cyrus Smith	Handcrafted physical syntax elements for illetterate children: initial concepts.	IDC	2008	DBLP DOI BibTeX RDF	clay, illetterate, stone, interface, program, tangible, syntax, craft, sculpt
29	Antonio Sarasa Cabezuelo, Álvaro Navarro-Iborra, José Luis Sierra, Alfredo Fernández-Valmayor	Building a Syntax Directed Processing Environment for XML Documents by Combining SAX and JavaCC.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	XML Pipelines, XML Processing, SAX, Syntax-directed Translation, Javacc
29	Evtim Papushev, Stoyan Bonev	A tale of three LR(1) syntax analyzers.	CompSysTech	2007	DBLP DOI BibTeX RDF	bottom up parsing strategy, control table generator, syntax analysis
29	Magnus Steinby, Catalin Ionut Tîrnauca	Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms.	CIAA	2007	DBLP DOI BibTeX RDF	tree bimorphisms, natural language processing, syntax-directed translations, regular tree languages
29	Luis A. Plana, Doug A. Edwards, Sam Taylor, Luis A. Tarazona, Andrew Bardsley	Performance-driven syntax-directed synthesis of asynchronous processors.	CASES	2007	DBLP DOI BibTeX RDF	handshake components, syntax-directed synthesis, asynchronous circuits
29	Ines Viskic, Rainer Dömer	A Flexible, Syntax Independent Representation (SIR) for System Level Design Models.	DSD	2006	DBLP DOI BibTeX RDF	syntax and semantics, simulation, modeling, evaluation, data structure, system level design, model representation
29	Peter J. van der Spek, Nico Plat, Cornelis Pronk	Syntax error repair for a Java-based parser generator.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	burke-fisher, error repair, follow set, syntax error, Java, compiler, compiler generator, JavaCC
29	Iulian Neamtiu, Jeffrey S. Foster, Michael Hicks 0001	Understanding source code evolution using abstract syntax tree matching.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	software evolution, source code analysis, abstract syntax trees