Article

Algebraic Denotational Semantics Using Parameterized Abstract Modules

Authors:

Joseph A. Goguen,

Kamran Parsaye-GhomiAuthors Info & Claims

Proceedings of the International Colloquium on Formalization of Programming Concepts

Pages 292 - 309

Published: 19 April 1981 Publication History

Abstract

No abstract available.

Cited By

View all

Meseguer JRoşu G(2011)The rewriting logic semantics projectProceedings of the 18th international conference on Fundamentals of computation theory10.5555/2034214.2034215(1-37)Online publication date: 22-Aug-2011
https://dl.acm.org/doi/10.5555/2034214.2034215
Şerbănuţă TRoşu GMeseguer J(2009)A rewriting logic approach to operational semanticsInformation and Computation10.1016/j.ic.2008.03.026207:2(305-340)Online publication date: 1-Feb-2009
https://dl.acm.org/doi/10.1016/j.ic.2008.03.026
Meseguer JRou G(2007)The rewriting logic semantics projectTheoretical Computer Science10.1016/j.tcs.2006.12.018373:3(213-237)Online publication date: 30-Mar-2007
https://dl.acm.org/doi/10.1016/j.tcs.2006.12.018
Show More Cited By

Algebraic Denotational Semantics Using Parameterized Abstract Modules

Recommendations

From Algebraic Semantics to Denotational Semantics for Verilog
ICECCS '06: Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems

This paper considers how the algebraic semantics for Verilog relates with its denotational semantics. Our approach is to derive the denotational semantics from the algebraic semantics. We first present the algebraic laws for Verilog. Every program can ...
A denotational semantics implementation system
The denotational semantics of programming languages

This paper is a tutorial introduction to the theory of programming language semantics developed by D. Scott and C. Strachey. The application of the theory to formal language specification is demonstrated and other applications are surveyed. The first ...

Comments

Information & Contributors

Information

Published In

Proceedings of the International Colloquium on Formalization of Programming Concepts

April 1981

478 pages

ISBN:3540106995

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 19 April 1981

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 06 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Meseguer JRoşu G(2011)The rewriting logic semantics projectProceedings of the 18th international conference on Fundamentals of computation theory10.5555/2034214.2034215(1-37)Online publication date: 22-Aug-2011
https://dl.acm.org/doi/10.5555/2034214.2034215
Şerbănuţă TRoşu GMeseguer J(2009)A rewriting logic approach to operational semanticsInformation and Computation10.1016/j.ic.2008.03.026207:2(305-340)Online publication date: 1-Feb-2009
https://dl.acm.org/doi/10.1016/j.ic.2008.03.026
Meseguer JRou G(2007)The rewriting logic semantics projectTheoretical Computer Science10.1016/j.tcs.2006.12.018373:3(213-237)Online publication date: 30-Mar-2007
https://dl.acm.org/doi/10.1016/j.tcs.2006.12.018
Meseguer JRoşu G(2006)The Rewriting Logic Semantics ProjectElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2005.10.027156:1(27-56)Online publication date: 1-May-2006
https://dl.acm.org/doi/10.1016/j.entcs.2005.10.027
Zhang YXu B(2004)A survey of semantic description frameworks for programming languagesACM SIGPLAN Notices10.1145/981009.98101339:3(14-30)Online publication date: 1-Mar-2004
https://dl.acm.org/doi/10.1145/981009.981013
Jiang XXu Y(1990)Diverse executable semantics definitions in NUSL and an implementation of functional typesACM SIGPLAN Notices10.1145/382080.38263125:5(39-52)Online publication date: 1-May-1990
https://dl.acm.org/doi/10.1145/382080.382631
Futatsugi KGoguen JJouannaud JMeseguer JVan Deusen MGalil ZReid B(1985)Principles of OBJ2Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages10.1145/318593.318610(52-66)Online publication date: 1-Jan-1985
https://dl.acm.org/doi/10.1145/318593.318610
Futatsugi KOkada KOhno YBasili VEnomoto HKobayashi KYeh R(1982)A hierarchical structuring method for functional software systemsProceedings of the 6th international conference on Software engineering10.5555/800254.807782(393-402)Online publication date: 13-Sep-1982
https://dl.acm.org/doi/10.5555/800254.807782
Goguen JMeseguer JBranstad MZelkowitz MSquires S(1982)Rapid prototypingProceedings of the workshop on Rapid prototyping10.1145/1006259.1006273(75-84)Online publication date: 19-Apr-1982
https://dl.acm.org/doi/10.1145/1006259.1006273
Goguen JMeseguer J(1982)Rapid prototypingACM SIGSOFT Software Engineering Notes10.1145/1006258.10062737:5(75-84)Online publication date: 19-Apr-1982
https://dl.acm.org/doi/10.1145/1006258.1006273
Show More Cited By

Abstract

Cited By

Recommendations

From Algebraic Semantics to Denotational Semantics for Verilog

A denotational semantics implementation system

The denotational semantics of programming languages

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations