Search results: Found 31

Listing 11 - 20 of 31 << page
of 4
>>
Sort by
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

Author:
ISBN: 9783731505464 Year: Pages: XIV, 231 p. DOI: 10.5445/KSP/1000056002 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:57
License:

Loading...
Export citation

Choose an application

Abstract

In order to solve a long-standing problem with list fusion, a new compiler transformation, “Call Arity” is developed and implemented in the Haskell compiler GHC. It is formally proven to not degrade program performance; the proof is machine-checked using the interactive theorem prover Isabelle. To that end, a formalization of Launchbury’s Natural Semantics for Lazy Evaluation is modelled in Isabelle, including a correctness and adequacy proof.

Specification and verification of object-oriented software components

Author:
ISBN: 3866440421 Year: Pages: XVIII, 248 p. DOI: 10.5445/KSP/1000004542 Language: GERMAN
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components.It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.

Modeling the Pāṇinian System of Sanskrit Grammar

Author:
ISBN: 9783946054535 9783946054542 9783946054559 Year: Pages: 168 DOI: 10.17885/heiup.294.395 Language: English
Publisher: Heidelberg University Publishing (heiUP)
Subject: Linguistics
Added to DOAB on : 2019-08-14 11:21:03
License:

Loading...
Export citation

Choose an application

Abstract

The present work is a study of the Aṣṭādhyāyī of Pāṇini from a new perspective. It attempts to explore the Pāṇinian system of Sanskrit grammar from a formal point of view and investigate the possibilities of representing it in a logical, explicit and consistent manner. It puts forward an appropriate framework for such a representation. Differing from the formulation of Aṣṭādhyāyī, which is composed in an artificial yet natural language and is meant to be employed by individuals who are acquainted both with the Sanskrit language and the techniques of grammar, the present rendering aims for a non-verbal representation in terms of mathematical categories and logical relations which can be implemented in an algorithmic manner. The formal framework suggested in this work would facilitate adequate tools for postulating and evaluating hypotheses about the grammatical system. Moreover, it would furnish the basis for a computer implementation of the grammar. Both these aspects are objects of enquiry in the field of theoretical studies on Pāṇini as well as the emerging discipline of Sanskrit computational linguistics. This book takes on the ground-work in these areas.

Práticas de Caridade e Assistência em Évora (1650-1750)

Author:
ISBN: 9791036514043 Year: DOI: 10.4000/books.cidehus.4574 Language: Portuguese
Publisher: Publicações do Cidehus
Subject: Social Sciences
Added to DOAB on : 2019-12-06 13:15:27
License: OpenEdition Licence for Books

Loading...
Export citation

Choose an application

Abstract

Práticas de caridade e assistência em Évora (1650-1750) organiza-se a partir de duas perspetivas de análise: a primeira centra-se nas instituições de assistência, nos seus administradores e nas suas opções enquanto distribuidores de recursos. A segunda desloca-se para a comunidade, procurando as famílias e/ou os indivíduos que, em algum momento da sua vida, foram considerados pobres, ou se apresentaram como tal e, nessa condição, beneficiaram de apoio formal. Como suporte a ambas, procede-se a uma análise de índole comparativa, colocando a realidade de Évora no contexto nacional e europeu, com o objetivo de encontrar resposta às questões que guiaram toda a investigação: que significava ser pobre em Évora, no período moderno? Quem eram os pobres e quantos eram? Que tipo de apoio lhes era concedido e que significado tinha nas suas vidas? Como se relacionaram os pobres com as instituições que os assistiam?

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Author:
Book Series: Theoretical Computer Science and General Issues Series ISBN: 9783319898834 9783319898841 Year: Volume: 10801 Pages: 1058 DOI: https://doi.org/10.1007/978-3-319-89884-1 Language: English
Publisher: Springer Nature Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-29 15:05:43
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319899626 9783319899633 Year: Volume: 10806 Pages: 465 DOI: https://doi.org/10.1007/978-3-319-89963-3 Language: English
Publisher: Springer Nature Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-07-19 14:26:47
License:

Loading...
Export citation

Choose an application

Abstract

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.

Advances in the study of Siouan languages and linguistics

Authors: ---
Book Series: Studies in Diversity Linguistics ISBN: 9783946234371 9783946234388 Year: Pages: 501 DOI: 10.26530/OAPEN_611691 Language: English
Publisher: Language Science Press
Subject: Linguistics
Added to DOAB on : 2016-05-25 14:58:43
License:

Loading...
Export citation

Choose an application

Abstract

" The Siouan family comprises some twenty languages, historically spoken across a broad swath of the central North American plains and woodlands, as well as in parts of the southeastern United States. In spite of its geographical extent and diversity, and the size and importance of several Siouan-speaking tribes, this family has received relatively little attention in the linguistic literature and many of the individual Siouan languages are severely understudied. This volume aims to make work on Siouan languages more broadly available and to encourage deeper investigation of the myriad typological, theoretical, descriptive, and pedagogical issues they raise. The 17 chapters in this volume present a broad range of current Siouan research, focusing on various Siouan languages, from a variety of linguistic perspectives: historical-genetic, philological, applied, descriptive, formal/generative, and comparative/typological. The editors' preface summarizes characteristic features of the Siouan family, including head-final and ""verb-centered"" syntax, a complex system of verbal affixes including applicatives and subject-possessives, head-internal relative clauses, gendered speech markers, stop-systems including ejectives, and a preference for certain prosodic and phonotactic patterns. The volume is dedicated to the memory of Professor Robert L. Rankin, a towering figure in Siouan linguistics throughout his long career, who passed away in February of 2014. "

The Impact of Formal and Informal Institutions on Economic Growth

Author:
Book Series: Hohenheimer volkswirtschaftliche Schriften ISBN: 9783631616161 Year: Pages: 250 Language: English
Publisher: Peter Lang International Academic Publishing Group
Subject: Economics --- Political Science --- Sociology
Added to DOAB on : 2019-01-15 13:33:00
License:

Loading...
Export citation

Choose an application

Abstract

Regarding the Arab region, GDP per capita virtually stagnated for more than 20 years from 1980. During the same period, GDP per capita in the world’s highly industrialized states further increased and the gap between the Middle East and North Africa (MENA) and the highly developed countries widened. However, the differences between Arab countries and the Western states exist not only economically. The countries also differ regarding their political, legal, and social systems. This work explains the differences in development on the basis of institutional economics. In addition to a general theoretical part, an empirical analysis demonstrates the effects of institutions on income, and a historical case study explains the divergent development paths of the Arab region and selected advanced economies.

Micro, Small, and Medium Enterprises in Vietnam

Authors: ---
ISBN: 9780198851189 Year: Pages: 304 DOI: 10.1093/oso/9780198851189.001.0001 Language: English
Publisher: Oxford University Press Grant: UNU WIDER
Subject: Economics --- Manufactures
Added to DOAB on : 2020-07-30 23:58:27
License:

Loading...
Export citation

Choose an application

Abstract

This volume provides a comprehensive analytic contribution to a crucial topic within development economics based on 15 years of continued data collection and research efforts. It brings together nine up-to-date studies on SME development in a coherent framework to help persuade national and international policy makers (including donors) of the need to take the international call for a data revolution seriously, not only in rhetoric, but also in concrete plans and budget allocations, and in the necessary sustained action at country level. More specifically, the volume: Provides an in-depth evaluation of the development of private sector formal and informal manufacturing SMEs in a developing country—Vietnam in this case—over the past decade, combining a unique primary source of panel data with the best analytical tools available. Generates a comprehensive understanding of the impact of business risks, credit access, and institutional characteristics, on the one hand, and government policies on SME growth performance at the enterprise level, on the other, including the importance of working conditions, informality, and union membership. Serves as a lens through which other countries, and the international development community at large, may wish to approach the massive task of pursuing a meaningful data revolution as an integral element of the SDG development agenda. Makes available a comprehensive set of materials and studies of use to academics, students, and development practitioners interested in an integrated approach to the study of economic growth, private sector development, and the microeconomic analysis of SME development in a fascinating developing country.

Marie Luise Gotheins "Geschichte der Gartenkunst"

Author:
ISBN: 9783947732456 Year: Pages: 340 DOI: 10.17885/heiup.627 Language: German
Publisher: Heidelberg University Publishing (heiUP)
Subject: Architecture
Added to DOAB on : 2020-12-22 00:12:18
License:

Loading...
Export citation

Choose an application

Abstract

Listing 11 - 20 of 31 << page
of 4
>>
Sort by