Bibliografías temáticas / Monadic Interpreter

Índice

  1. Artículos de revistas
  2. Tesis
  3. Libros
  4. Capítulos de libros
  5. Actas de conferencias
  6. Informes

Literatura académica sobre el tema "Monadic Interpreter"

Autor: Grafiati
Publicado: 29 de marzo de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Monadic Interpreter".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.

Tesis sobre el tema "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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.

Libros sobre el tema "Monadic Interpreter"

1

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Resumen
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,
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.

Capítulos de libros sobre el tema "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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
‘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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Informes sobre el tema "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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía