Article

Natural Semantics

Author:

Gilles KahnAuthors Info & Claims

STACS '87: Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science

Pages 22 - 39

Published: 19 February 1987 Publication History

Abstract

No abstract available.

Cited By

View all

Pombrio JKrishnamurthi S(2018)Inferring type rules for syntactic sugarACM SIGPLAN Notices10.1145/3296979.319239853:4(812-825)Online publication date: 11-Jun-2018
https://dl.acm.org/doi/10.1145/3296979.3192398
Pombrio JKrishnamurthi SFoster JGrossman D(2018)Inferring type rules for syntactic sugarProceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3192366.3192398(812-825)Online publication date: 11-Jun-2018
https://dl.acm.org/doi/10.1145/3192366.3192398
Dabrowski FHaddad HWainwright RChbeir R(2018)Textual alignment in SPMD programsProceedings of the 33rd Annual ACM Symposium on Applied Computing10.1145/3167132.3167254(1046-1053)Online publication date: 9-Apr-2018
https://dl.acm.org/doi/10.1145/3167132.3167254
Show More Cited By

Natural Semantics
1. Information systems
  1. Data management systems
2. Theory of computation
  1. Semantics and reasoning

Recommendations

ASMs versus natural semantics: a comparison with new insights
ASM'03: Proceedings of the abstract state machines 10th international conference on Advances in theory and practice

We compare three specification frameworks for the operational semantics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, big-step and small-step semantics, with respect to two criteria: the range of ...
Natural Language, Mixed-initiative Personal Assistant Agents
IMCOM '18: Proceedings of the 12th International Conference on Ubiquitous Information Management and Communication

The increasing popularity and use of personal voice assistant technologies, such as Siri and Google Now, is driving and expanding progress toward the long-term and lofty goal of using artificial intelligence to build human-computer dialog systems ...
Template semantics: a parameterized approach to semantics-based model compilation

Comments

Information & Contributors

Information

Published In

STACS '87: Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science

February 1987

479 pages

ISBN:354017219X

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 19 February 1987

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

28
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Pombrio JKrishnamurthi S(2018)Inferring type rules for syntactic sugarACM SIGPLAN Notices10.1145/3296979.319239853:4(812-825)Online publication date: 11-Jun-2018
https://dl.acm.org/doi/10.1145/3296979.3192398
Pombrio JKrishnamurthi SFoster JGrossman D(2018)Inferring type rules for syntactic sugarProceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3192366.3192398(812-825)Online publication date: 11-Jun-2018
https://dl.acm.org/doi/10.1145/3192366.3192398
Dabrowski FHaddad HWainwright RChbeir R(2018)Textual alignment in SPMD programsProceedings of the 33rd Annual ACM Symposium on Applied Computing10.1145/3167132.3167254(1046-1053)Online publication date: 9-Apr-2018
https://dl.acm.org/doi/10.1145/3167132.3167254
Chihani ZMiller DRenaud F(2017)A Semantic Framework for Proof EvidenceJournal of Automated Reasoning10.1007/s10817-016-9380-659:3(287-330)Online publication date: 1-Oct-2017
https://dl.acm.org/doi/10.1007/s10817-016-9380-6
Erdweg SBračevac OKuci EKrebs MMezini M(2015)A co-contextual formulation of type rules and its application to incremental type checkingACM SIGPLAN Notices10.1145/2858965.281427750:10(880-897)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2858965.2814277
Erdweg SBračevac OKuci EKrebs MMezini MAldrich JEugster P(2015)A co-contextual formulation of type rules and its application to incremental type checkingProceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications10.1145/2814270.2814277(880-897)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2814270.2814277
Midtgaard JRamsey NLarsen BPeña RSchrijvers T(2013)Engineering definitional interpretersProceedings of the 15th Symposium on Principles and Practice of Declarative Programming10.1145/2505879.2505894(121-132)Online publication date: 16-Sep-2013
https://dl.acm.org/doi/10.1145/2505879.2505894
García-Pérez ÁNogueira PAlbert EMu S(2013)A syntactic and functional correspondence between reduction semantics and reduction-free full normalisersProceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation10.1145/2426890.2426911(107-116)Online publication date: 21-Jan-2013
https://dl.acm.org/doi/10.1145/2426890.2426911
Crolard TPolonowski EValarcher P(2009)Extending the loop language with higher-order procedural variablesACM Transactions on Computational Logic10.1145/1555746.155575010:4(1-37)Online publication date: 14-Aug-2009
https://dl.acm.org/doi/10.1145/1555746.1555750
Park SHwang S(2009)A logical account of uncertain databases based on linear logicProceedings of the 12th International Conference on Database Theory10.1145/1514894.1514912(141-148)Online publication date: 23-Mar-2009
https://dl.acm.org/doi/10.1145/1514894.1514912
Show More Cited By

View Options

View options

Get Access

Login options

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

Abstract

Cited By

Recommendations

ASMs versus natural semantics: a comparison with new insights

Natural Language, Mixed-initiative Personal Assistant Agents

Template semantics: a parameterized approach to semantics-based model compilation

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations