Article

Free access

Performance specification using attributed grammars

Authors:

Ram Mandayam,

Ranga VemuriAuthors Info & Claims

DAC '93: Proceedings of the 30th international Design Automation Conference

Pages 661 - 667

https://doi.org/10.1145/157485.165085

Published: 01 July 1993 Publication History

PDF eReader

References

[1]

Barbacci, M.R.: "Instruction Set Processor Specifications for Simulation, Evaluation and Synthesis", in Proc. of the 16th Design Automation Conference, San Diego, CA, June 1979, pp 64-72.

Digital Library

Google Scholar

[2]

Barbacci, M.R: "Instruction Set Processor Specifications (ISPS)" The Notation and Its Applications" in IEEE Trans. on Computers, Vol C-30, 1, January 1981, pp 24-40.

Crossref

Google Scholar

[3]

Engelfriet, J. and File, G: "The formal Power of One- Visit Attribute Grammars" in Acta Informatica 16, 1981, pp 275-302.

Digital Library

Google Scholar

[4]

Engelfriet, J: "The Complexity of Languages Generated by Attribute Grammars" in SIAM Journal of Computing Vol. 15, No. 1, Feb. 1986, pp 70-82.

Digital Library

Google Scholar

[5]

IEEE: IEEE Standard VHDL Language Reference Manual, March 1988.

Google Scholar

[6]

Kastens,U. Hutt,B. and Zimmermann,E: "GAG: A Practical CompiJer Generator" LNCS #1~I (ed: Goos,G and Hartmanis,J.) Springer-Verlag, 1982.

Google Scholar

[7]

Kastens,U: "Ordered attribute grammars" in Acta Inf. 13, 3, 1980, pp 229-256

Digital Library

Google Scholar

[8]

Katayama,T.: "Translation of Attribute Grammars into Procedures " in A CM Trans. Program. Lang. Syst. 6, 3, July 1984, pp. 345-369.

Digital Library

Google Scholar

[9]

Kennedy, K. and Ramanathan,J: "A deterministic attribute grammar based on dynamic sequencing" in A CM Trans. Program. Lang. Syst. 1, 1 July 1979, pp 142-160

Digital Library

Google Scholar

[10]

Kennedy, K and Warren,S.K: "Automatic generation of efficient evaluators for attribute grammars" in Conference Record of the 3rd A CM Symposium on Principles of Programming Languages. ACM, New York, 1976, pp 32-49

Digital Library

Google Scholar

[11]

King,T: "An attribute system for the ELLA hardware design language" in Design Methodologies for VLSI and Computer architecture, ed: Edwards,D.A., Elsevier Science Publishers B.V. (North Holland)

Google Scholar

[12]

Morison,J.D., Peeling N.E., Thorp T.L.: "ELLA: A Hardware Description Language" Proc. IEEE In. ternational Conference on Circuits and Computers, New York, pp 604-607, Sep-Oct, 1982.

Google Scholar

[13]

The ELLA Language Reference Manual, Issue 3.0, Praxis Systems pie, 1986.

Google Scholar

[14]

Knuth, D.E: "Semantics of context-free languages" in Math. Syst. Theory ~, 2,June 1968, pp 127-145. Correction in ibid. 5, 1, Mar 1971, pp 95-96

Crossref

Google Scholar

[15]

Lewis,P.M., Rosenkrantz,D.J. and Stearns,R.E: "Attributed translations" J. Comput. Syst. Sci. 9, 3, Dec 1974, pp 279-307

Digital Library

Google Scholar

Cited By

View all

Chan JYang W(2002)An attribute-grammar framework for specifying the accessibility in Java programsComputer Languages, Systems and Structures10.1016/S0096-0551(01)00021-228:2(203-235)Online publication date: 1-Dec-2002
https://dl.acm.org/doi/10.1016/S0096-0551%2801%2900021-2
Walrath JVemuri RYoffa EDe Micheli GRabaey J(1997)Symbolic evaluation of performance models for tradeoff visualizationProceedings of the 34th annual Design Automation Conference10.1145/266021.266168(359-364)Online publication date: 13-Jun-1997
https://dl.acm.org/doi/10.1145/266021.266168
Walrath JVemuri R(1997)Symbolic Evaluation Of Performance Models For Tradeoff VisualizationProceedings of the 34th Design Automation Conference10.1109/DAC.1997.597173(359-364)Online publication date: 1997
https://doi.org/10.1109/DAC.1997.597173
Show More Cited By

Index Terms

Performance specification using attributed grammars

Recommendations

Ordered attributed grammars

Ordered attributed grammars are defined as a large subclass of semantically well-defined attributed grammars proposed by Knuth. An attributed grammar is ordered if for each symbol a partial order over the associated attributes can be given, such that in ...
Generalizing semantic rules of attribute grammars using logic programs
Semantic specification using two-level grammars: Blocks, procedures and parameters

Formal specifications are presented for the complete syntax and semantics of an ALGOL-like language fragment, using a recently introduced definitional technique employing two-level grammars (W-grammars). The fragment contains several important features ...

Comments

Information & Contributors

Information

Published In

DAC '93: Proceedings of the 30th international Design Automation Conference

July 1993

768 pages

ISBN:0897915771

DOI:10.1145/157485

Chairman:
Alfred E. Dunlop
AT&T Bell Labs., Murray Hill, NJ

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1993

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

DAC93

Sponsor:

EDAC
SIGDA
IEEE-CAS

DAC93: The 30th ACM/IEEE Design Automation Conference

June 14 - 18, 1993

Texas, Dallas, USA

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
178
Total Downloads

Downloads (Last 12 months)21
Downloads (Last 6 weeks)6

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chan JYang W(2002)An attribute-grammar framework for specifying the accessibility in Java programsComputer Languages, Systems and Structures10.1016/S0096-0551(01)00021-228:2(203-235)Online publication date: 1-Dec-2002
https://dl.acm.org/doi/10.1016/S0096-0551%2801%2900021-2
Walrath JVemuri RYoffa EDe Micheli GRabaey J(1997)Symbolic evaluation of performance models for tradeoff visualizationProceedings of the 34th annual Design Automation Conference10.1145/266021.266168(359-364)Online publication date: 13-Jun-1997
https://dl.acm.org/doi/10.1145/266021.266168
Walrath JVemuri R(1997)Symbolic Evaluation Of Performance Models For Tradeoff VisualizationProceedings of the 34th Design Automation Conference10.1109/DAC.1997.597173(359-364)Online publication date: 1997
https://doi.org/10.1109/DAC.1997.597173
Vemuri RMandayam RMeduri V(1996)Performance Modeling Using PDLComputer10.1109/2.48830029:4(44-53)Online publication date: 1-Apr-1996
https://dl.acm.org/doi/10.1109/2.488300
Bradley WVemuri R(1995)Performance verification using PDL and constraint satisfactionProceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair10.1109/ASPDAC.1995.486366(531-538)Online publication date: 1995
https://doi.org/10.1109/ASPDAC.1995.486366

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Ordered attributed grammars

Generalizing semantic rules of attribute grammars using logic programs

Semantic specification using two-level grammars: Blocks, procedures and parameters

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Ordered attributed grammars

Generalizing semantic rules of attribute grammars using logic programs

Semantic specification using two-level grammars: Blocks, procedures and parameters

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations