Filters








70,847 Hits in 4.5 sec

Syntax and Semantics for Operations with Scopes

Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff
2018 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18  
with so-called scoped operations.  ...  and their connection with semantics, mainly in the context of programming languages.  ...  Acknowledgments The authors would like to thank Marcelo Fiore for enlightening discussions, and the anonymous reviewers for their constructive comments regarding presentation.  ... 
doi:10.1145/3209108.3209166 dblp:conf/lics/PirogSWJ18 fatcat:ugfepo5cijdk5fent4av4srnra

The Calculus of Responsibility and Commitment [chapter]

Carl Pollard
2011 Lecture Notes in Computer Science  
Ackowledgments For helpful discussion and comments on earlier stages of this work, I am grateful to Chris Barker  ...  an operator with such a scope, but rather, for a variable bound by such an operator.  ...  Thus a judgment like (17) , is an operator type with binding type A, continuation type (or scope type) B, and result type C.  ... 
doi:10.1007/978-3-642-19211-1_11 fatcat:joh4b3supvgd7le74gla5yt3ou

Priming methods in semantics and pragmatics

Mora Maldonado, Benjamin Spector, Emmanuel Chemla
2017 Behavioral and Brain Sciences  
We argue that this method extends nicely beyond syntax to theories of meaning. Priming, however, should still be seen as only one of the tools available for linguistic data collection.  ...  Since semantic operations can be primed (cf. above), the inverse-scope operation (whatever it is, under any account) might in principle be primed.  ...  to account for inverse scope interpretations.  ... 
doi:10.1017/s0140525x17000516 pmid:29342731 fatcat:mb6ju6vktrapbjfjdlfo2dj3ra

Effect handlers in scope

Nicolas Wu, Tom Schrijvers, Ralf Hinze
2014 SIGPLAN notices  
They provide a lightweight and orthogonal technique to define and compose the syntax and semantics of different effects.  ...  This paper presents two different ways to capture scoped constructs in syntax, and shows how to achieve different semantics by reordering handlers.  ...  Acknowledgments This work has been funded by EPSRC grant number EP/J010995/1 on Unifying Theories of Generic Programming, and by the Flemish Fund for Scientific Research (FWO).  ... 
doi:10.1145/2775050.2633358 fatcat:sh65svwuxfdqzlpp4wzbtfxj64

Effect handlers in scope

Nicolas Wu, Tom Schrijvers, Ralf Hinze
2014 Proceedings of the 2014 ACM SIGPLAN symposium on Haskell - Haskell '14  
They provide a lightweight and orthogonal technique to define and compose the syntax and semantics of different effects.  ...  This paper presents two different ways to capture scoped constructs in syntax, and shows how to achieve different semantics by reordering handlers.  ...  Acknowledgments This work has been funded by EPSRC grant number EP/J010995/1 on Unifying Theories of Generic Programming, and by the Flemish Fund for Scientific Research (FWO).  ... 
doi:10.1145/2633357.2633358 dblp:conf/haskell/WuSH14 fatcat:eialadszfbf5fcvndcmrdhilmi

List of Figures [chapter]

2021 Instruments and Related Concepts at the Syntax-Semantics Interface  
The relation between lexical semantics, a-and f-structure . . 91 25 Lexical entry for go into (conceptual semantics ) . . . . . . . . . . . . . . 97 26 Thematic tier and action tier . . . . . . . . .  ...  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 328 60 Linking to syntax for Todd destroyed the ship with Michael 331 61 Linking to syntax for Edward ran to the  ... 
doi:10.1515/9783110720365-002 fatcat:eoc6mnpnpzekjf7ice4gcjhgg4

Implementation of AADL Interpreter Based on K

Fan Zhang, Weining Su, Yang Gang, Tianfang Wang
2015 International Journal of Hybrid Information Technology  
AADL lacks formal semantics which are essential for real-time embedded systems with high safety requirements.  ...  In this paper, we design and implementation the AADL Interpreter based on K semantics framework, and this lays a solid foundation for formal analysis and verification of AADL model.  ...  We gratefully acknowledge the financial and technical support from the committee of NSFC. We also wish to thank the anonymous reviewers for their constructive comments.  ... 
doi:10.14257/ijhit.2015.8.4.20 fatcat:iqk72hburzfxfn57nz7yc6qdny

Covert Movement in Logical Grammar [chapter]

Carl Pollard
2011 Lecture Notes in Computer Science  
If A, B, and C are types, then O[A, B, C], usually abbreviated (following Shan 2004) to A C B , is an operator semantic type with binding type A, scope type B, and result type C. 13 (6) Basic Semantic  ...  Syntax, Semantics, and their Interface For present purposes, we take a CVG to consist of three things: (1) a syntax, (2) a semantics, and (3) a syntax-semantics interface (hereafter, interface simpliciter  ... 
doi:10.1007/978-3-642-21490-5_2 fatcat:4wuroemcobgphp53jr5fs7dh6m

A Declarative Extension of Parsing Expression Grammars for Recognizing Most Programming Languages

Tetsuro Matsumura, Kimio Kuramitsu
2016 Journal of Information Processing  
Parsing Expression Grammars are a popular foundation for describing syntax. Unfortunately, several syntax of programming languages are still hard to recognize with pure PEGs.  ...  This paper demonstrates that the use of Nez Extensions can realize many practical programming languages, such as C, C#, Ruby, and Python, which involve PEG-hard syntax.  ...  Acknowledgments The authors thank the IPSJ PRO102 and PRO103 attendees for their feedback and discussions.  ... 
doi:10.2197/ipsjjip.24.256 fatcat:qpt2344p7rdphkg5bjsujbu6cu

Deriving syntax-semantics mappings: node linking, type shifting and scope ambiguity

Dennis Ryan Storoshenko, Robert Frank
2012 International Workshop on Tree Adjoining Grammars and Related Formalisms  
By introducing to the system a set of temporal variables, we show how this operation can also be used to account for the scope interactions of clausal embedding.  ...  We then move on to consider additional cases of multiple clausal embedding and coordination.  ...  Acknowledgments The authors would like to thank the reviewers for their many helpful comments and questions which have improved the quality of this paper, particularly forcing us to reconcile both our  ... 
dblp:conf/tag/StoroshenkoF12 fatcat:zkbgspeuazamvpgstbirokalli

A declarative extension of parsing expression grammars for recognizing most programming languages [article]

Tetsuro Matsumura, Kimio Kuramitsu
2015 arXiv   pre-print
Parsing Expression Grammars are a popular foundation for describing syntax. Unfortunately, several syntax of programming languages are still hard to recognize with pure PEGs.  ...  This paper demonstrates that the use of Nez Extensions can realize many practical programming languages, such as C, C\#, Ruby, and Python, which involve PEG-hard syntax.  ...  Acknowledgments The authors thank the IPSJ PRO102 and PRO103 attendees for their feedback and discussions.  ... 
arXiv:1511.08414v1 fatcat:vo26wb6ydzdofg5gcl5nolx4ma

XPL: A language for modular homogeneous language embedding

Tony Clark
2015 Science of Computer Programming  
SLE languages offer features for constructing and processing syntax and defining the semantics of language features.  ...  Modularity is a desirable SLE property for which there is no generally agreed approach. This article analyses the current tools for SLE and identifies the key features that are common.  ...  The authors make a distinction between languages with one-pass and multi-pass macro systems and those with macro binding scopes.  ... 
doi:10.1016/j.scico.2014.08.005 fatcat:myllnxij3zdrlguxh3f6dslska

A Categorial Framework for Composition in Multiple Linguistic Domains [article]

Cem Bozsahin, Elvan Gocmen
1995 arXiv   pre-print
This paper describes a computational framework for a grammar architecture in which different linguistic domains such as morphology, syntax, and semantics are treated not as separate components but compositional  ...  Word and phrase formation are modeled as uniform processes contributing to the derivation of the semantic form.  ...  Semantic composition is also affected by the interplay of morphology and syntax, for instance the change in the scope of modifiers and genitive suffixes, or valency and thematic role change in causatives  ... 
arXiv:cmp-lg/9506025v1 fatcat:qadnarcg3bb7tb6itudm3tc5xq

Structured Handling of Scoped Effects

Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe Van Den Berg, Tom Schrijvers
2022 Zenodo  
for handling scoped operations.  ...  However, the family of operations that delimit scopes are not algebraic and are usually modelled as handlers, thus preventing them from being used freely in conjunction with algebraic operations.  ...  Acknowledgements This work is supported by EPSRC grant number EP/S028129/1 on 'Scoped Contextual Operations and Effects', by FWO project G095917N, and KU Leuven project C14/20/079.  ... 
doi:10.5281/zenodo.5914133 fatcat:kxxhpxq7vbeu3kno4lolorhmga

:{unav)

Pauline Jacobson
2012 Linguistics and Philosophy  
Compositional systems with infixation operations are one way to account for quantifier scopes.  ...  The central insight, though, is that the semantic scope is of course linked to the point in the semantic composition at which the wh-word is introduced in the syntax, and so it follows that it has scope  ... 
doi:10.1023/a:1020851413268 fatcat:u2hxhbkon5fxhhpzatejwtvhtu
« Previous Showing results 1 — 15 out of 70,847 results