Declarative computation model

Part 1 of book "Concepts, techniques, and models of computer programming" provide with knowledge about: introduction to programming concepts; general computation models; declarative computation model; declarative programming techniques; declarative concurrency; message-passing concurrency;...

435p britaikridanik 05-07-2022 10 3   Download

What is the relationship between syntax, prosody and phonetics? This paper argues for a declarative constraint-based theory, in which each step in a derivation adds diverse constraints to a pool. Some of these describe well formed objects in the feature structure domain, in terms of both syntactic and prosodic features. Some characterise the relative prominence of constituents as a partial order over some discrete domain (playing the role of metrical grid). Some are simultaneous equations in the reals, whose solutions represent the pitch level of phonetic objects - high and low tones....

8p buncha_1 08-05-2013 46 1   Download

In this paper, we present a logic-based computational model for movement theory in Government and Binding Theory. For that purpose, we have designed a language called DISLOG. DISLOG stands for programming in logic with discontinuities and permits to express in a simple, concise and declarative way relations or constraints between non-contiguous elements in a structure. DISLOG is also weel adapted to model other types of linguistic phenomena like Quantifier Raising involving long-distance relations or constraints. ...

8p buncha_1 08-05-2013 35 1   Download

We present a notation for the declarative statement of morphological relationships and lexieal rules, based on the traditional notion of Word and Paradigm (cf Hockett 1954). The phenomenon of blocking arises from a generalized version of Kiparsky's (1973) Elsewhere Condition, stated in terms of ordering by subsumption over paradigms. Orthographic constraints on morphemic alternation are described by means of string equations (Siekmann 1975).

8p buncha_1 08-05-2013 42 1   Download

Recent developments in generation algorithms have enabled work in nnificafion-based computational linguistics to approach more closely the ideal of grammars as declarative statements of linguistic facts, neutral between analysis an0_synthesis, x-"~-oui this perspective, however, the situation is still far from perfect; all known methods of generation impose constraints on the grammars they assume.

7p bungio_1 03-05-2013 51 1   Download

Many phrase alignment models operate over the combinatorial space of bijective phrase alignments. We prove that finding an optimal alignment in this space is NP-hard, while computing alignment expectations is #P-hard. On the other hand, we show that the problem of finding an optimal alignment can be cast as an integer linear program, which provides a simple, declarative approach to Viterbi inference for phrase alignment models that is empirically quite efficient.

4p hongphan_1 15-04-2013 38 1   Download

Real world concepts can be modeled in a computer program The program is made of objects with certain properties and operations that the objects can perform It is not important how an object is implemented, but what it does Every object is responsible for carrying out a set of related tasks. A class can contain data declarations and method declarations

50p nguyenvanhabk1 04-09-2012 65 3   Download

Managing Time in Relational Databases shows how to make the rich information content of bi-temporal data available to business users, while simplifying the design, maintenance and retrieval of that data. Metadata declarations eliminate the need to directly model temporal data. Temporal data maintenance is isolated in code that can be invoked to update bi-temporal data in any database and from any application program, across the enterprise. Anyone who can write queries against conventional data will be able to write queries against the bi-temporal data structures described in this book....

490p suthebeo 17-07-2012 81 10   Download

Declarative Concurrency Mô hình khai báo của Chương 2 cho phép chúng ta viết nhiều chương trình và sử dụng các kỹ thuật lý luận mạnh mẽ vào chúng. Nhưng, như Phần 4.7 giải thích, có tồn tại các chương trình hữu ích mà không có thể được viết một cách dễ dàng hoặc có hiệu quả ở trong đó. Ví dụ, một số chương trình được viết như là một tập hợp các hoạt động thực thi độc lập. Những chương trình này được gọi là đồng thời....

115p hoatuongvihong 06-11-2011 65 6   Download

Declarative Programming Techniques Hãy xem xét bất kỳ hoạt động tính toán, tức là, một đoạn chương trình với các đầu vào và đầu ra. Chúng tôi cho rằng hoạt động được nếu khai báo bất cứ khi nào được gọi là với các đối số tương tự, nó sẽ trả về cùng một kết quả độc lập của bất kỳ nhà nước tính toán khác

124p hoatuongvihong 06-11-2011 76 6   Download

Declarative Computation Model Lập trình bao gồm ba điều: • Đầu tiên, một mô hình tính toán, mà là một hệ thống chính thức định nghĩa một ngôn ngữ và câu của ngôn ngữ (ví dụ, biểu thức và báo cáo) được thực hiện bởi một máy tính trừu tượng như thế nào. Đối với cuốn sách này, chúng ta quan tâm trong các mô hình tính toán hữu ích và trực quan cho các lập trình. Điều này sẽ trở nên rõ ràng hơn khi chúng ta xác định một trong những đầu tiên sau trong chương...

84p hoatuongvihong 06-11-2011 63 5   Download