Relevant bibliographies by topics / Monadic Interpreter

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Monadic Interpreter'

Author: Grafiati
Published: 29 March 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Monadic Interpreter.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Monadic Interpreter"

1

Watt, Conrad, Maja Trela, Peter Lammich, and Florian Märkl. "WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly." Proceedings of the ACM on Programming Languages 7, PLDI (2023): 100–123. http://dx.doi.org/10.1145/3591224.

Full text
Abstract:
We present WasmRef-Isabelle, a monadic interpreter for WebAssembly written in Isabelle/HOL and proven correct with respect to the WasmCert-Isabelle mechanisation of WebAssembly. WasmRef-Isabelle has been adopted and deployed as a fuzzing oracle in the continuous integration infrastructure of Wasmtime, a widely used WebAssembly implementation. Previous efforts to fuzz Wasmtime against WebAssembly's official OCaml reference interpreter were abandoned by Wasmtime's developers after the reference interpreter exhibited unacceptable performance characteristics, which its maintainers decided not to f
APA, Harvard, Vancouver, ISO, and other styles
2

Zakowski, Yannick, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, and Steve Zdancewic. "Modular, compositional, and executable formal semantics for LLVM IR." Proceedings of the ACM on Programming Languages 5, ICFP (2021): 1–30. http://dx.doi.org/10.1145/3473572.

Full text
Abstract:
This paper presents a novel formal semantics, mechanized in Coq, for a large, sequential subset of the LLVM IR. In contrast to previous approaches, which use relationally-specified operational semantics, this new semantics is based on monadic interpretation of interaction trees, a structure that provides a more compositional approach to defining language semantics while retaining the ability to extract an executable interpreter. Our semantics handles many of the LLVM IR's non-trivial language features and is constructed modularly in terms of event handlers, including those that deal with nonde
APA, Harvard, Vancouver, ISO, and other styles
3

Sergey, Ilya, Dominique Devriese, Matthew Might, et al. "Monadic abstract interpreters." ACM SIGPLAN Notices 48, no. 6 (2013): 399–410. http://dx.doi.org/10.1145/2499370.2491979.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Yoon, Irene, Yannick Zakowski, and Steve Zdancewic. "Formal reasoning about layered monadic interpreters." Proceedings of the ACM on Programming Languages 6, ICFP (2022): 254–82. http://dx.doi.org/10.1145/3547630.

Full text
Abstract:
Monadic computations built by interpreting, or handling , operations of a free monad are a compelling formalism for modeling language semantics and defining the behaviors of effectful systems. The resulting layered semantics offer the promise of modular reasoning principles based on the equational theory of the underlying monads. However, there are a number of obstacles to using such layered interpreters in practice. With more layers comes more boilerplate and glue code needed to define the monads and interpreters involved. That overhead is compounded by the need to define and justify the rela
APA, Harvard, Vancouver, ISO, and other styles
5

Michelland, Sébastien, Yannick Zakowski, and Laure Gonnord. "Abstract Interpreters: A Monadic Approach to Modular Verification." Proceedings of the ACM on Programming Languages 8, ICFP (2024): 602–29. http://dx.doi.org/10.1145/3674646.

Full text
Abstract:
We argue that monadic interpreters built as layers of interpretations stacked atop the free monad constitute a promising way to implement and verify abstract interpreters in dependently-typed theories such as the one underlying the Coq proof assistant. The approach enables modular proofs of soundness of the resulting interpreters. We provide generic abstract control flow combinators proven correct once and for all against their concrete counterpart. We demonstrate how to relate concrete handlers implementing effects to abstract variants of these handlers, essentially capturing the traditional
APA, Harvard, Vancouver, ISO, and other styles
6

Rabinovich, Alexander. "The full binary tree cannot be interpreted in a chain." Journal of Symbolic Logic 75, no. 4 (2010): 1489–98. http://dx.doi.org/10.2178/jsl/1286198158.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Quintanilla, Pablo. "Comprensión, imaginación y transformación." Areté 20, no. 1 (2008): 111–35. http://dx.doi.org/10.18800/arete.200801.004.

Full text
Abstract:
La concepción clásica de la empatía sostiene que comprender al otro involucra la habilidad para identificarse con él imaginariamente. Hay varias versiones de esta tesis, pero el elemento común parece ser que, para que la comprensión sea posible, el intérprete debe tener la capacidad de simular los estados mentales del agente o de simular ser él, bajo condiciones contrafácticas. En este artículo, intentaré mostrar, en primer lugar, que esta concepción de la empatía ha estado usualmente comprometida con un modelo intencionalista, transposicional y monádico de lo mental. En segundo lugar, me prop
APA, Harvard, Vancouver, ISO, and other styles
8

Lifsches, Shmuel, and Saharon Shelah. "Peano arithmetic may not be interpretable in the monadic theory of linear orders." Journal of Symbolic Logic 62, no. 3 (1997): 848–72. http://dx.doi.org/10.2307/2275575.

Full text
Abstract:
AbstractGurevich and Shelah have shown that Peano Arithmetic cannot be interpreted in the monadic second-order theory of short chains (hence, in the monadic second-order theory of the real line). We will show here that it is consistent that the monadic second-order theory of no chain interprets Peano Arithmetic.
APA, Harvard, Vancouver, ISO, and other styles
9

Gurevich, Yuri, and Saharon Shelah. "On the strength of the interpretation method." Journal of Symbolic Logic 54, no. 2 (1989): 305–23. http://dx.doi.org/10.2307/2274850.

Full text
Abstract:
AbstractIn spite of the fact that true arithmetic reduces to the monadic second-order theory of the real line, Peano arithmetic cannot be interpreted in the monadic second-order theory of the real line.
APA, Harvard, Vancouver, ISO, and other styles
10

SCHWINGHAMMER, JAN. "Coherence of subsumption for monadic types." Journal of Functional Programming 19, no. 2 (2009): 157–72. http://dx.doi.org/10.1017/s0956796808006886.

Full text
Abstract:
AbstractOne approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A ≤ B are interpreted via conversion functions A → B. This paper shows how to extend the method to languages with computational effects, using Moggi's computational metalanguage.
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Monadic Interpreter"

1

Andrès, Léo. "Exécution symbolique pour tous ou Compilation d'OCaml vers WebAssembly." Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPASG127.

Full text
Abstract:
Les limitations de JavaScript en tant que langage par défaut du Web ont conduit au développement de WebAssembly (Wasm), un langage sûr, efficace et modulaire. Toutefois, compiler des langages à glaneur de cellules vers Wasm ne se fait pas sans peine, notamment du fait de la nécessité de réécrire le moteur d'exécution ou de la gestion des interactions avec le glaneur de cellules de l'hôte (le navigateur). Des extensions, dont WasmGC, ont été développées par les groupes de travail Wasm pour faciliter cette tâche.Nous présentons Wasocaml, le premier compilateur d'OCaml vers WasmGC. Ce projet conf
APA, Harvard, Vancouver, ISO, and other styles
2

Cimflová, Martina. "Role překladatelů a tlumočníků při dobývání Latinské Ameriky." Master's thesis, 2018. http://www.nusl.cz/ntk/nusl-373710.

Full text
Abstract:
This work is focused on the role of translators and interpreters in the first contact of the Spanish conquerors and the indigenous people of Latin America, and their influence in the conquest. Although they are often unheeded, translators and interpreters played a fundamental role while conquering the newly discovered continent. Meeting new cultures with completely different languages and ways of thinking was a great challenge for the conquerors, that's why we cannot forget about the translators' role during this era. This work is focused on the Inca culture in Peru and their first contact wit
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Monadic Interpreter"

1

Kienzle, Beverly Mayne Mayne. Hildegard of Bingen, Gospel Interpreter. The Rowman & Littlefield Publishing Group, 2020. https://doi.org/10.5040/9781978719538.

Full text
Abstract:
In Hildegard of Bingen, Gospel Interpreter, Beverly Mayne Kienzle presents and acquaints readers with Hildegard’s fifty-eight Homilies on the Gospels?a dazzling summa of her theology and the culmination of her visionary insight and scriptural knowledge. Part one probes how a twelfth-century woman became the only known female Gospel interpreter of the Middle Ages. It includes an examination of Hildegard’s epistemology?how she received her basic theological education and how she extended her knowledge through divine revelations and intellectual exchange with her monastic network. Part two expoun
APA, Harvard, Vancouver, ISO, and other styles
2

Heim, Maria. The “Completely Pleasing” Exegesis on the Vinaya. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190906658.003.0006.

Full text
Abstract:
This chapter argues that Buddhaghosa understood the Vinaya as demonstrating the unfolding nature of the Buddha’s omniscient ken because it shows how he was able to anticipate the future. It does so through a close reading of the opening of the Vinaya Piṭaka, the account of an occasion that took place at Verañjā, as it is interpreted in the Samantapāsādikā. The Vinaya rules, in Buddhaghosa’s reading, show how the Buddha created a monastic law code that could address immediate circumstances and foresee the future. It also argues for the importance of the narrative frames of the monastic rules, a
APA, Harvard, Vancouver, ISO, and other styles
3

Fay, Jessica. ‘My second Self when I am gone’. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198816201.003.0004.

Full text
Abstract:
This chapter traces the cumulative influence of Wordsworth’s reading of a series of topographical and antiquarian studies on the poetry and prose he produced between 1807 and 1810. These sources contain extensive details about medieval monastic life in the north of England and describe how powerful coenobitic communities shaped the cultural and geographical landscapes they inhabited. The chapter shows how knowledge of the civic operation of the monastic world influenced Wordsworth’s thinking about primogeniture, living legacy, memorialization, and familial and democratic representation. It exp
APA, Harvard, Vancouver, ISO, and other styles
4

Fay, Jessica. Pastoral Reclusion and The Excursion. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198816201.003.0005.

Full text
Abstract:
In light of the knowledge of monastic history he developed in the years preceding publication of The Excursion (1814), this chapter considers the implications of Wordsworth’s presentation of himself—in that poem’s Preface—as a recluse in retirement at work on a poetic ‘gothic Church’. It also offers a new interpretation of The Excursion as a generic experiment in the pastoral mode. Given the poem’s focus on the relative virtues and dangers of reclusion, this chapter suggests that monasticism provided the framework for Wordsworth’s critique of certain pastoral conceits that had become outworn i
APA, Harvard, Vancouver, ISO, and other styles
5

Ives, Christopher. Ethics in Zen. Edited by Daniel Cozort and James Mark Shields. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780198746140.013.16.

Full text
Abstract:
Ethics in Zen feature core components of broader Buddhist ethics: precepts, monastic codes, compassion, skill in means, and the bodhisattva ideal. Zen approaches to practice and awakening as well as such influences as Confucianism have coloured how Zen thinkers in East Asia have interpreted and practised these components. As a result, such constructs as the Five Precepts play a role in traditional Zen that differs from how they have functioned in other strands of Buddhism. Recently, in response to war, gender discrimination, and environmental degradation, Zen thinkers have been reinterpreting
APA, Harvard, Vancouver, ISO, and other styles
6

Brown, David. Anselm. Edited by William J. Abraham and Frederick D. Aquino. Oxford University Press, 2017. http://dx.doi.org/10.1093/oxfordhb/9780199662241.013.1.

Full text
Abstract:
Anselm’s acceptance of three sources for knowledge of God (in reason, the teaching authority of the Bible and church, and experience) is used to try to overcome the conventional opposition between philosophers and theologians on how Anselm should be interpreted. In particular, due note is taken of aesthetic aspects to his search for understanding and also the various ways in which these might contribute to the holding of his three epistemic sources in creative tension and all within an ideal of monastic contemplation. This aesthetic perspective is explored well beyond its customary location in
APA, Harvard, Vancouver, ISO, and other styles
7

Arthur, Richard T. W. Composition and Division. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198812869.003.0002.

Full text
Abstract:
This chapter explores the question of what Leibniz means by “actual parts”. Most interpreters have taken them to be the monads, but this contradicts Leibniz’s claims that his simple substances are not parts of bodies. It is shown that Leibniz takes these parts to be the discrete, extended parts into which bodies are divided by their internal motions, in contrast to the potential parts of an undivided continuum. These actual parts are not composed of substances, in contrast to physical monadologies like Wolff’s. Since each such part is a body that is further divided, bodies are all pluralities,
APA, Harvard, Vancouver, ISO, and other styles
8

Antović, Mihailo. Waging War against Oneself. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190636647.003.0015.

Full text
Abstract:
This article analyses the metaphor of “battle against oneself” in the monastic textbook Unseen Warfare, which provides advice for the spiritual advancement of Orthodox Christians, saying the path of the good life consists in renunciation of worldly desires, thoughts, and actions, depicted as a battle that the monk must wage against himself. In terms of cognitive science, the change of focus of attention (from outside towards inside) may be taken as another indicator of the shift in how humans perceive morality—from external norms towards inner motivation. This can be interpreted as another unr
APA, Harvard, Vancouver, ISO, and other styles
9

Bitel, Lisa M. Otherworld. Oxford University PressNew York, 2024. http://dx.doi.org/10.1093/oso/9780197600610.001.0001.

Full text
Abstract:
Abstract Otherworld offers a lively translation and retelling of little-known, anonymous stories composed over a thousand years ago in the monastic libraries of Ireland. In poetry and prose, the tales tell us what happens when human and supernatural lovers cross the boundaries between our world and the magical Otherworld (síd) and its creatures (áes síde). Set in a lost time of heroes, demigods, and warrior queens, these stories inspired some of the earliest fairy tales of Europe, but they are sexier, funnier, and bloodier than better-known medieval myths and romances. While retelling the tale
APA, Harvard, Vancouver, ISO, and other styles
10

Richman, Paula, and Rustom Bharucha, eds. Performing the Ramayana Tradition. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780197552506.001.0001.

Full text
Abstract:
Performing the Ramayana Tradition: Enactments, Interpretations, and Arguments, edited by Ramayana scholar Paula Richman and Rustom Bharucha, scholar of Theater and Performance Studies, examines diverse retellings of the Ramayana narrative as interpreted and embodied through a spectrum of performances. Unlike previous publications, this book is neither a monograph on a single performance tradition nor a general overview of Indian theater. Instead, it provides context-specific analyses of selected case studies that explore contemporary enactments of performance traditions and the narratives from
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Monadic Interpreter"

1

Johnsson, Thomas. "Fold-Unfold Transformations on State Monadic Interpreters." In Functional Programming, Glasgow 1994. Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3573-9_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lermusiaux, Pierre, and Benoît Montagu. "Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation." In Programming Languages and Systems. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57267-8_15.

Full text
Abstract:
AbstractException handling is a key feature in modern programming languages. Exceptions can be used to deal with errors, or as a means to control the flow of execution of a program. Since they might unexpectedly terminate a program, unhandled exceptions are a serious safety concern. We propose a static analysis to detect uncaught exceptions in functional programs, that is defined as an abstract interpreter. It computes a description of the values potentially returned by a program using a novel abstract domain, that can express inductively defined sets of values. Simultaneously, the analysis infers the possibly raised exceptions, by computing in the abstract exception monad. This abstract interpreter has been implemented as an effective static analyser for a large subset of programs, that supports mutable data types, the module system, and dynamically extensible data types such as the exception type. The analyser has been evaluated on several hundreds of programs.
APA, Harvard, Vancouver, ISO, and other styles
3

"Origen and Early Monastic Interpreters." In Beyond Mary or Martha. SBL Press, 2019. http://dx.doi.org/10.2307/j.ctvr43m14.6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Florio, Salvatore, and Øystein Linnebo. "Plurals and Second-Order Logic." In The Many and the One. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780198791522.003.0006.

Full text
Abstract:
While plural logic can be interpreted in monadic second-order logic, the full system of second-order logic cannot be interpreted in plural logic. This means it is formally possible to eliminate plural logic in favor of monadic second-order logic. However, a number of philosophical considerations militate against such an elimination. The conclusion of this chapter echoes that of the preceding ones: although the two systems can occasionally be used for similar purposes, the notions they represent are different and must be kept apart.
APA, Harvard, Vancouver, ISO, and other styles
5

Antognazza, Maria Rosa. "9. Monads, corporeal substances, and bodies." In Leibniz: A Very Short Introduction. Oxford University Press, 2016. http://dx.doi.org/10.1093/actrade/9780198718642.003.0009.

Full text
Abstract:
‘Monads, corporeal substances, and bodies’ explores the relationship between monads and the extended bodies of the physical world. How Leibniz conceives bodies in his mature metaphysics is one of the most discussed issues in recent decades. In particular, specialists debate whether Leibniz’s metaphysical model allows for genuine corporeal substances. Leibniz writes repeatedly about corporeal substances: the question is how these writings should be interpreted. Are corporeal substances quasi-Aristotelian substances, irreducible to monads, and hence the primary substances of a competing metaphysical model? The problem is that Leibniz never provided a Summa of his philosophy or metaphysics so it is not known whether he had a final settled view.
APA, Harvard, Vancouver, ISO, and other styles
6

Neil, Bronwen. "The Trouble with Dreams." In Dreams and Divination from Byzantium to Baghdad, 400-1000 CE. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198871149.003.0005.

Full text
Abstract:
This chapter is concerned with eastern monastic teachings on the meaning and significance of revelatory dreams, and the contemporaneous Talmudic tradition from Persia. The monastic sayings of the Byzantine East were focused on ascetics and were used predominantly as a guide for other ascetics. Eastern Christian monastics—men as well as women—and their lay followers, regularly received visions. In the first part of the chapter, the eastern monastic tradition of Byzantium is illustrated by various ascetic treatises from Evagrius, the Sayings of the Desert Fathers (and Mothers), and monastic writings from east and west Syria. The second part surveys late antique Jewish approaches to divination in dreams and the activity of the soul, examining the intersection of dream interpretation and rabbinic life in the Babylonian Talmud. A strong belief in the democratic nature of dream interpretation is evident here, especially in The Book of Blessings (Berakoth), according to which prophetic dreams were available to everyone, and professional interpreters were not needed to understand them. The third part contrasts these with early Islamic hadith on dreams and their interpretation.
APA, Harvard, Vancouver, ISO, and other styles
7

Dunnington, Kent. "Becoming Humble." In Humility, Pride, and Christian Virtue Theory. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198818397.003.0007.

Full text
Abstract:
Monastic directives to humility have been dismissed by most contemporary theorists as remnants of a lamentable past. But, if radical Christian humility as envisioned by the early monastic tradition is a legitimate view of humility, there should be something to learn from their many directives. This chapter interprets monastic wisdom about the pursuit of humility, showing how ascetic practices are consistent with the claim that humility is a gift of grace. It argues that the monastics were right to think that genuine Christian humility is unattainable apart from experiences of humiliation. Ascetic regimes can promote humility by training practitioners to go on loving in the midst of humiliations that sabotage their quests for personal importance. Such practices “position” devotees to be recipients of supernatural love, which enables persons to go on without falling back on proper pride as a source of moral energy.
APA, Harvard, Vancouver, ISO, and other styles
8

Robinson, Howard. "Two Suggestive Berkeleian Arguments." In Perception and Idealism. Oxford University PressOxford, 2022. http://dx.doi.org/10.1093/oso/9780192845566.003.0011.

Full text
Abstract:
Abstract The present chapter looks at two suggestive intuitions that can be found in Berkeley’s writings, one that appeals to empiricists, the other has had rather more take up from objective idealists in the Hegelian tradition. Both lines of argument are suggestive rather than demonstrative. The one with empiricist appeal is expressed in Berkeley’s claim that ‘an idea can be like nothing but an idea’ (Principles, Pt I, $8), which might be interpreted, in context, as ‘qualities are essentially features or modes of experience’, so that attributing monadic properties of a qualitative sort to mind-independent objects is a kind of category mistake, rather like saying they are thoughtful or bored or intelligent. The more rationalist one is what has been called ‘Berkeley’s Master Argument’. Berkeley’s statement of it is that we ‘cannot conceive of the unperceived’ (Pr. I, $22ff.), but this can be given a more sophisticated interpretation, namely that we cannot form a conception of the world that does not involve attributing to it features that are essentially projections of our modes of thought.
APA, Harvard, Vancouver, ISO, and other styles
9

Dailey, E. T. "Veil of Veils, Holy of Holies." In Radegund. Oxford University PressNew York, 2023. http://dx.doi.org/10.1093/oso/9780197656105.003.0007.

Full text
Abstract:
Abstract This chapter reconstructs the practices within the convent of Holy Cross, where Radegund lived as a bride of Christ, a description that Radegund and her community applied to her in a manner different from that of other nuns. The status acquired a metaphysical quality that united Radegund’s role as an earthly queen with her pursuit of otherworldly sanctity, resulting in a view that she was in some sense the queen of heaven. The chapter details the manner in which Radegund interpreted the Rule of Caesarius, through which she granted herself exemptions that might not be expected from a simple reading of the Rule. Indeed, Radegund ran her convent as both a monastic space and as something approaching a royal court, in reflection of her own status as an avowed woman and a queen. This chapter also discusses Radegund’s most extreme acts of asceticism and self-mortification. She modelled Holy Cross on her understanding of the Church of the Holy Sepulchre and the Temple of Jerusalem. Her oratory of the Cross reproduced Golgotha and the Crucifixion; her monastic cell reproduced the Tomb of Christ. She retreated to her cell during Lent and emerged reborn at Easter.
APA, Harvard, Vancouver, ISO, and other styles
10

Cronin, Glenn. "Russians, Greeks, and Slavs." In Disenchanted Wanderer. Cornell University Press, 2021. http://dx.doi.org/10.7591/cornell/9781501760181.003.0006.

Full text
Abstract:
This chapter turns to the critical watershed in Leontiev's life: his existential crisis on his sickbed in Salonika. Following his physical recovery and what he styled his “inner rebirth” and “violent conversion to personal Orthodoxy,” Konstantin Nikolaevich Leontiev spent a year in the Orthodox monastic community on Mount Athos seeking ordination as a monk. As he was aware, this was a particularly bad moment for a serving Russian diplomat to be there. This was because it was at the height of a passionate religious dispute between the Greeks and Bulgars, which meant that his presence on the Holy Mountain was bound to be interpreted by the former as Pan-Slavist intrigue. Indeed, it caused a furore in the Greek Press in Constantinople.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Monadic Interpreter"

1

Sergey, Ilya, Dominique Devriese, Matthew Might, et al. "Monadic abstract interpreters." In the 34th ACM SIGPLAN conference. ACM Press, 2013. http://dx.doi.org/10.1145/2491956.2491979.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Chappe, Nicolas, Ludovic Henrio, and Yannick Zakowski. "Monadic Interpreters for Concurrent Memory Models." In CPP '25: 14th ACM SIGPLAN International Conference on Certified Programs and Proofs. ACM, 2025. https://doi.org/10.1145/3703595.3705890.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Steele, Guy L. "Building interpreters by composing monads." In the 21st ACM SIGPLAN-SIGACT symposium. ACM Press, 1994. http://dx.doi.org/10.1145/174675.178068.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Liang, Sheng, Paul Hudak, and Mark Jones. "Monad transformers and modular interpreters." In the 22nd ACM SIGPLAN-SIGACT symposium. ACM Press, 1995. http://dx.doi.org/10.1145/199448.199528.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Monadic Interpreter"

1

Borgwardt, Stefan, and Barbara Morawska. Finding Finite Herbrand Models. Technische Universität Dresden, 2011. http://dx.doi.org/10.25368/2022.182.

Full text
Abstract:
We show that finding finite Herbrand models for a restricted class of first-order clauses is ExpTime-complete. A Herbrand model is called finite if it interprets all predicates by finite subsets of the Herbrand universe. The restricted class of clauses consists of anti-Horn clauses with monadic predicates and terms constructed over unary function symbols and constants. The decision procedure can be used as a new goal-oriented algorithm to solve linear language equations and unification problems in the description logic FL₀. The new algorithm has only worst-case exponential runtime, in contrast
APA, Harvard, Vancouver, ISO, and other styles
2

Baader, Franz. A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.139.

Full text
Abstract:
In two previous papers we have investigates the problem of computing the least common subsumer (lcs) and the most specific concept (msc) for the description logic EL in the presence of terminological cycles that are interpreted with descriptive semantics, which is the usual first-order semantics for description logics. In this setting, neither the lcs nor the msc needs to exist. We were able to characterize the cases in which the lcs/msc exists, but it was not clear whether this characterization yields decidability of the existence problem. In the present paper, we develop a common graph-theor
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography