Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
YACC in SASL—an exercise in functional programming
Software—Practice & Experience
Executable semantic descriptions
Software—Practice & Experience
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Compiling circular attribute grammars into Prolog
IBM Journal of Research and Development
Implementing a user interface as a system of attributes
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Automatic Compiler Production: The Front End
IEEE Transactions on Software Engineering
Crafting a compiler
Attribute grammars as a functional programming paradigm
Proc. of a conference on Functional programming languages and computer architecture
Attribute grammar inversion and source-to-source translation
Attribute grammar inversion and source-to-source translation
The design of a language processor generator
Software—Practice & Experience
Attribute grammars: definitions, systems and bibliography
Attribute grammars: definitions, systems and bibliography
Attribute grammar based programming and its environment
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Attribute (re)evaluation in OPTRAN
Acta Informatica
The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
Using data partitioning to implement a parallel assembler
PPEALS '88 Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems
Realistic compiler generation
Generation of Compiler Symbol Processing Mechanisms from Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel compilation for a parallel machine
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Higher order attribute grammars
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Syntactic Pattern Recognition of the ECG
IEEE Transactions on Pattern Analysis and Machine Intelligence
Efficient evaluation of circular attribute grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lazy recursive descent parsing for modular language implementation
Software—Practice & Experience
The Computer Journal - Special issue on procedural programming
Programming languages: concepts and constructs
Programming languages: concepts and constructs
Programming language concepts and paradigms
Programming language concepts and paradigms
Proceedings of the international conference on Attribute grammars and their applications
WAGA Proceedings of the international conference on Attribute grammars and their applications
The genesis of attribute grammars
WAGA Proceedings of the international conference on Attribute grammars and their applications
Parallel attribute evaluation: structure of evaluators and detection of parallelism
WAGA Proceedings of the international conference on Attribute grammars and their applications
WAGA Proceedings of the international conference on Attribute grammars and their applications
WAGA Proceedings of the international conference on Attribute grammars and their applications
The OLGA attribute grammar description language: design, implementation and evaluation
WAGA Proceedings of the international conference on Attribute grammars and their applications
The elegant compiler generator system
WAGA Proceedings of the international conference on Attribute grammars and their applications
Use of attribute grammars in compiler construction
WAGA Proceedings of the international conference on Attribute grammars and their applications
Attribute grammar specification for a natural language understanding interface
WAGA Proceedings of the international conference on Attribute grammars and their applications
Concurrent incremental attribute evaluation
WAGA Proceedings of the international conference on Attribute grammars and their applications
Lex & yacc
An error—recovering form of DCGs
Acta Cybernetica
Incremental Generation of Parsers
IEEE Transactions on Software Engineering
The Pan language-based editing system for integrated development
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Automatic language implementation
Automatic language implementation
High-level tools for language implementation
Journal of Systems and Software
An abstract data type for name analysis
Acta Informatica
Programming language syntax and semantics
Programming language syntax and semantics
Automating Visual Language Generation
IEEE Transactions on Software Engineering
Software development by LL(1) syntax description
Software development by LL(1) syntax description
Attribute grammars are useful for combinatorics
Theoretical Computer Science - Selected papers of the 2nd workshop on algebraic and computer-theoretic aspects of formal power series
An investigation into concurrent semantic analysis
Software—Practice & Experience
Constructing programs as executable attribute grammars
The Computer Journal - Special issue on models and architectures
The use of program dependence graphs in software engineering
ICSE '92 Proceedings of the 14th international conference on Software engineering
Composable attribute grammars: support for modularity in translator design and implementation
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
A grammatical view of logic programming
A grammatical view of logic programming
Software—Practice & Experience
Programming pearls: little languages
Communications of the ACM
Journal of the ACM (JACM)
Semantic evaluation from left to right
Communications of the ACM
The intrinsically exponential complexity of the circularity problem for attribute grammars
Communications of the ACM
A syntax directed compiler for ALGOL 60
Communications of the ACM
Report on the algorithmic language ALGOL 60
Communications of the ACM
Strongly non-circular attribute grammars and their recursive evaluation
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
A specification language for one-pass semantic analysis
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Hierarchical VLSI design systems based on attribute grammars
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An Attribute Grammar for the Semantic Analysis of ADA
An Attribute Grammar for the Semantic Analysis of ADA
Object Oriented Software Development Environments: The Mjolner Approach
Object Oriented Software Development Environments: The Mjolner Approach
A semantics-directed compiler generator
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Programming Methodology in Compiler Construction
A Programming Methodology in Compiler Construction
Prospects for an Engineering Discipline of Software
IEEE Software
A Survey of Parallel Attribute Evaluation Methods
Proceedings on Attribute Grammars, Applications and Systems
Internals and Externals of the FNC-2 Attribute Grammar System
Proceedings on Attribute Grammars, Applications and Systems
Object-Orientation in Attribute Grammars
Proceedings on Attribute Grammars, Applications and Systems
Attribute Grammars and Logic Programs: A Comparison of Concepts
Proceedings on Attribute Grammars, Applications and Systems
Attributed Grammars as a Specification Method
Proceedings on Attribute Grammars, Applications and Systems
Natural Language Communication with Computers
LL- and LR-Attributed Grammars
Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI
Transforming denotational semantics into practical attribute grammars
Semantics-Directed Compiler Generation, Proceedings of a Workshop
Software Engineering Aspects in Language Implementation
Proceedings of the 2nd CCHSC Workshop on Compiler Compilers and High Speed Compilation
A Compiler Generator for Attributive Evaluation During LR Parsing
Proceedings of the 2nd CCHSC Workshop on Compiler Compilers and High Speed Compilation
An Overview of Door Attribute Grammars
CC '94 Proceedings of the 5th International Conference on Compiler Construction
Proceedings on Attribute Grammars, Applications and Systems
Attribute grammars and data-flow languages
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
LINGUIST-86: Yet another translator writing system based on attribute grammars
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
A truly generative semantics-directed compiler generator
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Automatic generation of efficient evaluators for attribute grammars
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Modeling and Implementation of Visibility in Programming Languages
Modeling and Implementation of Visibility in Programming Languages
Parallel evaluation in attribute grammar-based systems
Parallel evaluation in attribute grammar-based systems
Combining CFG and recursive functions to get a new language
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Static caching for incremental computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
A natural-language speech interface constructed entirely as a set of executable specifications
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Incorporating multi-pass attribute grammars for the high-level synthesis of ASICs
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
A Classification of Noncircular Attribute Grammars Based on the Look-Ahead Behavior
IEEE Transactions on Software Engineering
Implementation of multiple attribute grammar inheritance in the tool LISA
ACM SIGPLAN Notices
On Concept-Based Definition of Domain-Specific Languages
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Refinement and Property Checking in High-Level Synthesis using Attribute Grammars
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Design Tools for Application Specific Embedded Processors
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Speech web: a web of natural-language speech applications
Eighteenth national conference on Artificial intelligence
Constructing SDEs with the IPSEN meta environment
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Generating spreadsheet-like tools from strong attribute grammars
Proceedings of the 2nd international conference on Generative programming and component engineering
A hardware extension of the RISC microprocessor for Attribute Grammar evaluation
Proceedings of the 2004 ACM symposium on Applied computing
Extracting grammar from programs: evolutionary approach
ACM SIGPLAN Notices
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Environment behavior models for scenario generation and testing automation
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Implementing Metcast in Scheme
Higher-Order and Symbolic Computation
Building Verification Condition Generators by Compositional Extensions
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
The compiler course in today's curriculum: three strategies
Proceedings of the 37th SIGCSE technical symposium on Computer science education
Realization of natural language interfaces using lazy functional programming
ACM Computing Surveys (CSUR)
Building Verification Condition Generators by Compositional Extension
Electronic Notes in Theoretical Computer Science (ENTCS)
Xoc, an extension-oriented compiler for systems programming
Proceedings of the 13th international conference on Architectural support for programming languages and operating systems
A survey of linguistic structures for application-level fault tolerance
ACM Computing Surveys (CSUR)
AspectT: aspect-oriented test case instantiation
Proceedings of the 7th international conference on Aspect-oriented software development
Language Parametric Module Management for IDEs
Electronic Notes in Theoretical Computer Science (ENTCS)
An environment for supporting active learning in courses on language processing
Proceedings of the 13th annual conference on Innovation and technology in computer science education
Language support for model-driven software development
Science of Computer Programming
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
AN UNSUPERVISED INCREMENTAL LEARNING ALGORITHM FOR DOMAIN-SPECIFIC LANGUAGE DEVELOPMENT
Applied Artificial Intelligence
Using abstract models for the generation of test data with a complex structure
Programming and Computing Software
Efficient reconfigurable embedded parsers
Computer Languages, Systems and Structures
Processor Description Languages
Processor Description Languages
DeFacto: Language-Parametric Fact Extraction from Source Code
Software Language Engineering
Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming
CC '09 Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Language engineering techniques for the development of e-learning applications
Journal of Network and Computer Applications
A Formal Method for Rapid SoC Prototyping
RSP '09 Proceedings of the 2009 IEEE/IFIP International Symposium on Rapid System Prototyping
Software architecture built from behavior models
ACM SIGSOFT Software Engineering Notes
A platform for the automatic generation of attribute evaluation hardware systems
Computer Languages, Systems and Structures
Language-Driven, Technology-Enhanced Instructional Systems Design
EC-TEL '09 Proceedings of the 4th European Conference on Technology Enhanced Learning: Learning in the Synergy of Multiple Disciplines
Inferring Context-Free Grammars for Domain-Specific Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
ICWE'03 Proceedings of the 2003 international conference on Web engineering
Automatic generation of computeranimation: using AI for movie animation
Automatic generation of computeranimation: using AI for movie animation
Protocol normalization using attribute grammars
ESORICS'09 Proceedings of the 14th European conference on Research in computer security
A Pure Object-Oriented Embedding of Attribute Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
Quickchecking refactoring tools
Proceedings of the 9th ACM SIGPLAN workshop on Erlang
Grammar inference technology applications in software engineering
ICGI'10 Proceedings of the 10th international colloquium conference on Grammatical inference: theoretical results and applications
Automatic generation of model traversals from metamodel definitions
Proceedings of the 48th Annual Southeast Regional Conference
XPath whole query optimization
Proceedings of the VLDB Endowment
Engineering web services with attribute grammars: a case study
ACM SIGSOFT Software Engineering Notes
On the complexity of regular-grammars with integer attributes
Journal of Computer and System Sciences
A program transformation for returning states in functional-logic programs
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Abstract syntax driven language development: defining language semantics through aspects
Proceedings of the International Workshop on Formalization of Modeling Languages
An introductory tutorial on JastAdd attribute grammars
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Lightweight language processing in Kiama
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers
Electronic Notes in Theoretical Computer Science (ENTCS)
Delayed semantic actions in Yakker
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
Action semantics for defining dynamic semantics of modeling languages
Proceedings of the Third Workshop on Behavioural Modelling
A compositional method for reliability analysis of workflows affected by multiple failure modes
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
EuroGP'11 Proceedings of the 14th European conference on Genetic programming
Design and implementation of domain-specific language easytime
Computer Languages, Systems and Structures
A demonstration-based approach for designing domain-specific modeling languages
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Evolution and reuse of language specifications for DSLs (ERLS)
ECOOP'04 Proceedings of the 2004 international conference on Object-Oriented Technology
Type-driven automatic quotation of concrete object code in meta programs
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
A memetic grammar inference algorithm for language learning
Applied Soft Computing
Lazy combinators for executable specifications of general attribute grammars
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Mappings make data processing go 'round
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
A finest partitioning algorithm for attribute grammars
Computer Languages
Incremental programming language development
Computer Languages, Systems and Structures
An attribute-grammar framework for specifying the accessibility in Java programs
Computer Languages, Systems and Structures
Towards well-formed fragment composition with reference attribute grammars
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Shortcut fusion rules for the derivation of circular and higher-order programs
Higher-Order and Symbolic Computation
Journal of Systems Architecture: the EUROMICRO Journal
Unsupervised grammar inference using the minimum description length principle
MLDM'12 Proceedings of the 8th international conference on Machine Learning and Data Mining in Pattern Recognition
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Computer Standards & Interfaces
Proceedings of the 18th ACM conference on Innovation and technology in computer science education
Programming macro tree transducers
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming
A pure embedding of attribute grammars
Science of Computer Programming
A process model for the generative production of interactive simulations in engineering education
Proceedings of the First International Conference on Technological Ecosystem for Enhancing Multiculturality
DropsBox: the Dresden Open Software Toolbox
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
Attribute grammars are a formalism for specifying programming languages. They have been applied to a great number of systems automatically producing language implementations from their specifications. The systems and their specification languages can be evaluated and classified according to their level of application support, linguistic characteristics, and degree of automation.A survey of attribute grammar-based specification languages is given. The modern advanced specification languages extend the core attribute grammar model with concepts and primitives from established programming paradigms. The main ideas behind the developed attribute grammar paradigms are discussed, and representative specification languages are presented with a common example grammar. The presentation is founded on mapping elements of attribute grammars to their counterparts in programming languages. This methodology of integrating two problem-solving disciplines together is explored with a classification of the paradigms into structured, modular, object-oriented, logic, and functional attribute grammars. The taxonomy is complemented by introducing approaches based on an implicit parallel or incremental attribute evaluation paradigm.