Composing meanings as programs
نویسندگان
چکیده
Wemodel semantic interpretation operationally : constituents interact as their combination in discourse evolves from state to state. The states are recursive data structures and evolve from step to step by context-sensitive rewriting. These notions of context and order let us explain inverse-scope quantifiers and their polarity sensitivity as metalinguistic quotation of the wider scope.
منابع مشابه
Compositional Invariant Generation via Linear Recurrence Analysis
This paper presents a new method for automatically generating numerical invariants for imperative programs. Given a program, our procedure computes a binary input/output relation on program states which over-approximates the behaviour of the program. It is compositional in the sense that it operates by decomposing the program into parts, computing an abstract meaning of each part, and then comp...
متن کاملComposing a Web of Audio Applications
The Web offers a great opportunity to share, deploy and use programs without installation difficulties. In this article we explore the idea of freely combining/composing real-time audio applications deployed on the Web using Faust audio DSP language.
متن کاملfor the Handbook of Pragmatics, Horn & Ward (eds
1. Context, Semantics, and Pragmatics The linguistic subfields of semantics and pragmatics are both concerned with the study of meaning. We might say that semantics studies what Grice (1967) called the TIMELESS MEANING of a linguistic expression φ —the basic meanings of the words in φ composed as a function of the syntactic structure of φ. Formal semantics, especially since the seminal work of ...
متن کاملComposing Active Services in NetScript
NetScript is a high-level programming language and environment for developing active network services and protocols. Programs written in NetScript can be deployed in nodes of an active network to dynamically extend their functions as needed. This paper presents an overview of NetScript and describes the three forms of composition that it supports: 1) composing active elements to form new protoc...
متن کاملComposing transformations for instrumentation and incrementalization of real applications
This paper describes powerful transformations for instrumenting and incrementalizing real applications, and composition of transformation rules for improving both the transformed programs and the application of transformation rules. The example transformations for instrumentation are for ranking peers in BitTorrent. The example transformations for incrementalization are for optimizing the instr...
متن کامل