We present a language to specify syntax guided synthesis (SyGuS) problems. Syntax guidance is a prominent theme in contemporary program synthesis approaches, and SyGuS was first described in [1]. This paper describes concretely the input format of a SyGuS solver.

This article discusses the content, context and publication of two collections imperial judgments compiled by Roman jurist Paul, Decretorum libri tres Imperialium sententiarum in cognitionibus prolatarum sex. Based on a legal contextual analysis 37 cases surviving Justinian’s Digest, it is argued that these works served political purpose should mainly be regarded as contribution to rhetoric pro...

ezzel-din manasereh is one of the contemporary and prominent poets of palestine whose newly comments in the realm of palestine and resistance poem have endued him with a special place in contemporary literature due to his modern delineation in critique. traditional characters and in particular mythical and folk female characters in ezzel-din’s poem have great vibrancy which inspire the poet und...

the comparison of arabic literature and persian literature is the comparison between two similar literatures though the impact of persian literature on arabic literature is more profound. hossein mojib almesri, the poet under discussion in this paper has been influenced by persian literature specifically in two areas: symbolism and poetic forms. this paper is an attempt to discuss cultural inte...

ahmad matar is the prominent iraqi poet and a committed character of this age who in the contemporary arab world enjoys great fame. since the holy qur'an and religious texts, are the inspiring references to all arab poets, ahmed matar is no exception. the borrowing of qura'nic verses and contents in his poetry is due to his understanding and his wisdom in a unique manner. this article intends t...

as the problem of sex reassignment is one of new problems raised in modern time on the one hand and this principle that juristic judgments and legal rules are subject to goods and evils as well as temporal and spatial necessities is an undeniable principle on the other, contemporary jurists have declared their opinions on that problem using dynamic jurisprudence in such a way that even one sing...