Search

Filter

Filter

Refine to these subject areas:

  • Select All | Select None

Advanced Filters »

Filter

  • Advanced Filters:

  • to

  • Specific Data Sources:

    All Edit

    Select All  |  Select None

Reset filters

Hide

Planned Downtime - beginning Feb 10, 6PM PST until Feb 11, 6AM PST

On February 10th at 6PM PST, we're performing system upgrades at DeepDyve. We'll be down for 12 hours, during which time our site will be unavailable. Thanks for your patience and support.

← Back to Search Results

Journals ACM SIGPLAN Notices Volume 25 Issue 5

DIVERSE EXECUTABLE SEMANTICS DEFINITIONS IN NUS L AND AN IMPLEMENTATION OF FUNCTIONAL TYPE S Xinjie Jian g Dept . of Mathematic s Nanjing Normal Universit y Nanjing, CHIN A Yongsen Xu Dept . of Computer Scienc e Nanjing Universit y Nanjing, CHIN A ABSTRACT Several different semantics definitions of a sample language, SAL, ar e given, all in NUSL . Their differences and similarities, and mor e generally, different approaches to the definition of programmin g languages are discussed . The implementation of functional types i s explored . 1 . INTRODUCTION There are several approaches to the definition of programmin g languages, among them are the operational and denotational semantics . An operational semantics specifies a language by defining an interprete r for the abstract syntax of the language, thus an operational definitio n is executable, at least, theoretically . The denotational semantics of a language defines what each grammatical unit denotes in some well-define d mathematical model . The meaning of a particular syntactic construct i s defined in terms of the meanings of its immediate subcomponents [Sto y 77] . The algebraic approach to abstract data types [Goguen 78] is als o employed to define

Loading next page...

If you're having problem loading pages
Try our single-page mode to load one page at a time

End of preview. The entire article is 14 pages. To view the full-text, please rent this article to continue.

/lp/association-for-computing-machinery/diverse-executable-semantics-definitions-in-nusl-and-an-implementation-UgS55rDmyH
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%

Learn more

Bookmark

Diverse executable semantics definitions in NUSL and an implementation of functional types

Jiang, Xinjie; Xu, Yongsen
ACM SIGPLAN Notices , Volume 25 (5)
Association for Computing Machinery – May 1, 1990

More Info

More Like This Article

View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct

Browse: Subject Areas | Journals | Publishers

Sign Up for a DeepDyve Account

Bookmark an Article

To bookmark an article, please log in first, or sign up for a DeepDyve account if you don't already have one.

OK

Subscribe to Journal Email Alerts

To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don't already have one.

OK

Thank you for renting with DeepDyve

Your PayPal account has been charged $2.99. You now have access to the full text of this article. A rental receipt has also been sent to your email address.

Your credit card has been charged $2.99. You now have access to the full text of this article. A rental receipt has also been sent to your email address.

OK

New! You can now keep track of new articles from ACM SIGPLAN Notices on your personalized homepage! Learn more

PDF Download — Not Available

Thanks for your interest in purchasing the PDF. Your request has been noted and we will work with our publisher partner to discuss enabling this feature.

In the meantime, you can get the PDF by visiting the publisher site.

Thank you for purchasing with DeepDyve

Your PayPal account has been charged $.

Your credit card has been charged $.

You can now download this article. A purchase receipt has also been sent to your email address.

Download This Article or I'm done with my download

Print Page — Not Available

Thanks for your interest in printing individual pages. Your request has been noted and we will work with our publisher partner to discuss enabling this feature.

In the meantime, you can get the PDF by visiting the publisher site.

Thank you for printing with DeepDyve

Your PayPal account has been charged $0.

Your credit card has been charged $0.

You can now print this article. A purchase receipt has also been sent to your email address.

Print the Selected Pages or I'm done with my printing

Please refresh to generate a new download link

Your article download link has expired. Please refresh this page to obtain a new download link and try again.

Follow a Journal

To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don't already have one.

OK