Relevant bibliographies by topics / Abstract interpreter

Contents

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

Academic literature on the topic 'Abstract interpreter'

Author: Grafiati
Published: 4 June 2021
Last updated: 12 February 2022

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 'Abstract 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 "Abstract interpreter"

1

Weeks, Stephen, Suresh Jagannathan, and James Philbin. "A concurrent abstract interpreter." LISP and Symbolic Computation 7, no. 2-3 (1994): 173–93. http://dx.doi.org/10.1007/bf01018693.

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

Krystallidou, Demi, Céline Van De Walle, Myriam Deveugele, Evangelia Dougali, Fien Mertens, Amélie Truwant, Ellen Van Praet, and Peter Pype. "Training “doctor-minded” interpreters and “interpreter-minded” doctors." Interpreting. International Journal of Research and Practice in Interpreting 20, no. 1 (April 26, 2018): 132–50. http://dx.doi.org/10.1075/intp.00005.kry.

Full text
Abstract:
Abstract In response to calls in the literature for more collaborative practice in interpreter training, this paper describes the design, implementation and part of the evaluation of an innovative joint training intervention for interpreting students (Master’s level) and 3rd- and 4th-year medical students at Ghent University. In order to assess the development of the students’ knowledge and skills, we employed self-efficacy questionnaires; the training intervention was evaluated in a debriefing session with trainers from both fields. A development in skills that involve direct interaction with the primary participants and address specific communicative goals was noted. Our initial evaluation suggests that interprofessional education and collaborative practice in interpreter training can create the conditions for interpreting students to develop a more insightful and reflective approach to their interpreting practice.
APA, Harvard, Vancouver, ISO, and other styles
3

Diamond-Falk, Kathryn, and Brian Youth. "Interpreter Use Training Through Simulation (Descriptive Abstract)." Academic Pediatrics 17, no. 5 (July 2017): e3. http://dx.doi.org/10.1016/j.acap.2017.04.031.

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

Hoffmann, Christoph M., Michael J. O'donnell, and Robert I. Strandh. "Implementation of an interpreter for abstract equations." Software: Practice and Experience 15, no. 12 (December 1985): 1185–204. http://dx.doi.org/10.1002/spe.4380151205.

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

Kalibera, Tomas, Petr Maj, Floreal Morandat, and Jan Vitek. "A fast abstract syntax tree interpreter for R." ACM SIGPLAN Notices 49, no. 7 (September 25, 2014): 89–102. http://dx.doi.org/10.1145/2674025.2576205.

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

Delizée, Anne, and Christine Michaux. "The negotiation of meaning in dialogue interpreting." Translation, Cognition & Behavior 2, no. 2 (September 6, 2019): 263–82. http://dx.doi.org/10.1075/tcb.00029.del.

Full text
Abstract:
Abstract The objective of this study is to contribute to a better understanding of the negotiation of meaning between the participants of a bilingual interpreter-mediated interaction by analysing the effects of the verbalization of the inferences by the interpreter. The conceptual tools of Relevance Theory were applied to three interpreted excerpts of Russian-French psychotherapeutic interactions. The results suggest that, by verbalizing inferences, the interpreter co-creates a shared cognitive environment, reinforces intra- and inter-discursive coherence, diminishes the cognitive efforts of the recipient, and encourages primary parties to cooperate. The analysis of the cognitive processes at work in the excerpts tends to show that what has so far been treated as the interpreter’s “additions” or “expanded renditions” enables the latter to exercise cooperative coordination of interaction, and could therefore be more precisely called collaborative renditions.
APA, Harvard, Vancouver, ISO, and other styles
7

Mellinger, Christopher D., and Thomas A. Hanson. "Interpreter traits and the relationship with technology and visibility." Community Interpreting, Translation, and Technology 13, no. 3 (November 9, 2018): 366–92. http://dx.doi.org/10.1075/tis.00021.mel.

Full text
Abstract:
Abstract Research on technology and interpreting regularly investigates technology-mediated interpreting settings and contrasts various interpreting configurations to better understand how technology changes the interpreting task. This scholarship generally does not account for various personality or character attributes exhibited by interpreters, nor does it examine the actual adoption and usage of these tools. This article presents findings from a survey-based study that examines several interpreter-specific constructs, namely their self-perception of the interpreter’s role and communication apprehension, in conjunction with attitudes toward technology use and adoption. Findings suggest that community interpreters differ from their conference interpreting counterparts and that domain-specific differences emerge between medical and court interpreters with respect to their perceived role and their propensity to adopt new technologies.
APA, Harvard, Vancouver, ISO, and other styles
8

Alexieva, Bistra. "Interpreter Mediated TV Events." Target. International Journal of Translation Studies 11, no. 2 (December 31, 1999): 329–56. http://dx.doi.org/10.1075/target.11.2.08ale.

Full text
Abstract:
Abstract The major claims made here pertain to: (1) The dominant role of the Participants paremeter, where distinction is made between the "on-screen" and the "off-screen" casts, with the Interpreter acting as Mediator in two communicative channels; (2) The specificity of the TV product as a Polysemiotic Text, consisting of a variety of Language and Non-Language components, and the way it affects the Interpreter's performance; (3) The communicative goals of the two casts of Primary Participants and the strategies employed to attain them in a situation highly marked from a kinesthetic and proxemic point of view, which often leads to shifts in the Interpreter's output, and (4) The factors determining the choice of the optimum mode of Interpreting.
APA, Harvard, Vancouver, ISO, and other styles
9

Cheung, Andrew K. F. "Interpreters’ perceived characteristics and perception of quality in interpreting." Interpreting. International Journal of Research and Practice in Interpreting 22, no. 1 (April 10, 2020): 35–55. http://dx.doi.org/10.1075/intp.00033.che.

Full text
Abstract:
Abstract This study examined the link between listeners’ perceptions of the quality of interpretation and their beliefs about the interpreter. Two groups of Mandarin-speaking participants were shown a video of a speech by President Obama being interpreted into Mandarin Chinese by a non-native Mandarin-speaking interpreter. The participants in one group were shown a photo of a Chinese-looking man alongside the video and those in the other group were shown a photo of a non-Chinese-looking man. The quantitative results showed that those who believed they were listening to a non-Chinese interpreter judged the interpretation more positively than those who believed they were listening to a Chinese interpreter. The qualitative results showed that the participants in the non-Chinese condition attributed the non-native features of the interpretation to the interpreter’s being a foreigner, and that they naturally used the language competence of non-native speakers as the standard of comparison. In this case, the participants’ perceptions of quality could also be explained by the interpreter’s perceived association with a highly esteemed group in China, and his ability to interpret into Chinese generated a sense of national self-esteem among the participants. Overall, the findings show that factors other than the features identifiable in an interpretation can influence the perception of quality of interpretation.
APA, Harvard, Vancouver, ISO, and other styles
10

Della Greca, Marco. "Abstract: Maurice Merleau-Ponty as Interpreter of Paul Valéry." Chiasmi International 9 (2007): 330. http://dx.doi.org/10.5840/chiasmi2007954.

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

Dissertations / Theses on the topic "Abstract interpreter"

1

Bühler, David. "EVA, an Evolved Value Analysis for Frama-C : structuring an abstract interpreter through value and state abstractions." Thesis, Rennes 1, 2017. http://www.theses.fr/2017REN1S016/document.

Full text
Abstract:
Cette thèse propose un nouveau cadre pour la composition de domaines abstraits. L'idée principale en est l'organisation d'une sémantique abstraite suivant la distinction usuelle entre expressions et instructions, en cours dans la plupart des langages impératifs. La définition d'une sémantique abstraite peut alors se diviser entre abstractions de valeurs et abstractions d'états (ou domaine abstrait). Les abstractions de valeurs représentent les valeurs possibles d'une expression en un point donné, et assurent l'interprétation de la sémantique des expressions. Les abstractions d'états représentent les états machines qui peuvent se produire lors de l'exécution d'un programme, et permettent d'interpréter la sémantique des instructions. De ce choix de conception découle naturellement un élégant système de communication entre abstractions. Lors de l'interprétation d'une instruction, les abstractions d'états peuvent échanger des informations au moyen d'abstractions de valeurs, qui expriment des propriétés à propos des expressions. Les valeurs forment donc une interface de communication entre états abstraits, mais sont également des éléments canoniques de l'interprétation abstraite. Ils peuvent donc eux-même être combinés par les moyens existants de composition d'abstractions, permettant encore davantage d'interactions entre les composants des sémantiques abstraites. Cette thèse explore les possibilités offertes par cette nouvelle architecture des sémantiques abstraites. Nous décrivons en particulier des stratégies efficaces pour le calcul d'abstractions de valeurs précises à partir des propriétés inférées par les domaines, et nous illustrons les différentes possibilités d'interactions que ce système offre. L'architecture que nous proposons inclue également une collaboration directe des abstractions pour l'émission des alarmes qui signalent les erreurs possibles du programme analysé. Nous proposons également un mécanisme permettant d'interagir avec les composants d'une combinaison générique de types OCaml. Nous utilisons des GADT pour encoder la structure interne d'une combinaison, et construisons automatiquement les fonctions d'injection et de projection entre le produit et ses composants. Cette fonctionnalité permet d'établir une communication directe entre les différentes abstractions d'un interpréteur abstrait. Enfin, une dernière contribution de cette thèse est l'extension automatique de domaines abstraits à l'aide de prédicats logiques qui évitent les pertes d'information aux points de jonction. De fait, lorsque plusieurs chemins d'exécution se rejoignent, un domaine abstrait doit représenter les comportements possibles de chacun des chemins, ce qui engendre souvent des pertes de précision. Pour remédier à cette limitation, nous proposons de propager un ensemble d'états abstraits, munis chacun d'un prédicat qui indique sous quelle condition l'état est valable. Contrairement à d'autres approches, notre analyse ne maintient pas une stricte partition des états abstraits, car les prédicats utilisés ne sont pas mutuellement exclusifs. Cette particularité rend possible des optimisations cruciales pour le passage à l'échelle de cette technique, confirmée par nos résultats expérimentaux sur un programme industriel généré. L'ensemble du système de composition des abstractions proposé dans cette thèse a été mis en œuvre dans EVA, la nouvelle version de l'interpréteur abstrait de Frama-C. EVA a été spécifiquement conçu pour faciliter l'introduction de nouvelles abstractions et permettre des interactions riches entre ces abstractions. Grâce à son architecture modulaire et extensible, cinq nouveaux domaines abstraits ont pu être introduit dans l'analyseur en moins d'un an, améliorant ainsi tant ses capacités que sa précision
This thesis proposes a new framework for the combination of multiple domains in the abstract interpretation theory. Its core concept is the structuring of the abstract semantics by following the usual distinction between expressions and statements. This can be achieved by a convenient architecture where abstractions are separated in two layers: value abstractions, in charge of the expression semantics, and state abstractions —or abstract domains—, in charge of the statement semantics. This design leads naturally to an elegant communication system where the abstract domains, when interpreting a statement, interact and exchange information through value abstractions, that express properties about expressions. While the values form the communication interface between domains, they are also standard elements of the abstract interpretation framework. The communication system is thus embedded in the abstract semantics, and the usual tools of abstract interpretation apply naturally to value abstractions. For instance, different kinds of value abstractions can be composed through the existing methods of combination of abstractions, enabling even further interaction between the components of the abstract semantics. This thesis explores the possibilities offered by this framework. We discuss efficient strategies to compute precise value abstractions from the information inferred by abstract domains, and illustrate the means of communication between different state abstractions. Our architecture also features a direct collaboration for the emission of alarms that report the possible errors of a program. We also proposes a mechanism to enable interacting with the components of a modular combination of OCaml types. We use GADT to encode the inner shape of a combination, and automatically build injection and projection functions between a product of datatypes and its components. This allows direct communications between the abstractions of an abstract interpreter. Finally, a last contribution of this thesis is the automatic extension of abstract domains to track sets of disjunctive abstract states, each one being qualified with a predicate for which the state holds. This enhances the precision of an abstract semantics at join points, when several possible paths of a program execution meet. At these points, predicates preserve the information usually lost by the merge of abstract states. Unlike other approaches, the analysis does not maintain a strict partition of the abstract states, as the predicates we use are not mutually exclusive. This design enables some optimizations that are crucial for scalability, as confirmed by our experimental results on an industrial, generated program. The general system of abstractions combination has been implemented within EVA, the new version of the abstract interpreter provided by the Frama-C platform. Thus, Eva enjoys a modular and extensible architecture designed to facilitate the introduction of new abstractions and to enable rich interactions between them. Thanks to this work, five new domains from the literature have been implemented in less than a year, enhancing the scope and the precision of the analyzer
APA, Harvard, Vancouver, ISO, and other styles
2

Blažek, Martin. "Interaktivní interpret jazyka C." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2008. http://www.nusl.cz/ntk/nusl-235978.

Full text
Abstract:
This master's thesis deals with implementation of ISO C99 language interpreter. The goal of this thesis is to provide support of education in C language programming and fast algorithm prototyping. It enables students to create own C programs and to experiment with language constructions without compiling. User interface includes editor and simple debugger. The interpreter is implemented in a novel grammar development environment written in Java language - ANTLRWorks which includes ANTLR language tool.
APA, Harvard, Vancouver, ISO, and other styles
3

Samimi, Sadeh Ardalan. "Extending an In-Browser C Interpreter With an Abstracted Model of theMemory." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-447656.

Full text
Abstract:
Traditionally, computer science concepts have been taught using blackboards. In recent years, however, online learning platforms have become an alternative fore ducators as a way of illustrating complicated concepts. This thesis describes the extension of one such platform, Codecast, with the purpose to provide educators at Uppsala University with a tool that can teach students an abstracted model of the memory of a C program. An evaluation performed on second year students indicates that the tool can be beneficial when trying to illustrate memory related concepts.They showed a better understanding of memory pointers than their peers, and were also more inclined to focus on low level details of the memory. However, as the evaluation was small and limited in scope, a more in-depth study is required to determine whether tools such as these can help the students' understanding of this subject.
APA, Harvard, Vancouver, ISO, and other styles
4

Bairro, Emilene Oliveira de. "Entre o real e o abstrato : materializa??o do projeto ?tico-pol?tico profissional do assistente social." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2016. http://tede2.pucrs.br/tede2/handle/tede/6584.

Full text
Abstract:
Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-04-13T16:41:32Z No. of bitstreams: 1 DIS_EMILENE_OLIVEIRA_DE_BAIRRO_COMPLETO.pdf: 2611059 bytes, checksum: 812b3cd118654b75cb8e761d10ec995f (MD5)
Made available in DSpace on 2016-04-13T16:41:32Z (GMT). No. of bitstreams: 1 DIS_EMILENE_OLIVEIRA_DE_BAIRRO_COMPLETO.pdf: 2611059 bytes, checksum: 812b3cd118654b75cb8e761d10ec995f (MD5) Previous issue date: 2016-01-29
This dissertation deals about the materialization of the Professional Project Ethical-Political (PEPP) of the social workers, and searches for an answer to the following research problem: How does the PEPP is materialized on the daily social workers? interventions? This dissertation aims to analyze the way in which social workers materialize the Professional Project in order to contribute for the debate of the professional category and stimulate a reflective professional practice. To this end, we recreate the historical process of the profession in Brazil, since its genesis until the theoretical-methodological maturation, which is based on the Marx's Critical Social Theory. This recreation allowed us to understand the formation and setting of PEPP, based on the Laws of the Profession Regulamentation, the Professional Ethical Code, and on the ABEPSS?s guidelines. The Dialectical-Critical method is present in every part of the creation of this work, along with the contribution of categories such as totality, historicity, and contradiction to the obtention and analysis of the phenomena in the concrete reality. To achieve the study goals, we made a qualitative research collecting empirical data and making a bibliographical and documental analysis on the course of Specialization in Social Intervention with Families from the Faculty of Social Work of PUCRS, since we understand that this is a place with the permanent promotion of education. In the evaluation of the social workers? answers to the questions of the instrument, we notice, through content analysis, that there are possibilities for the PEPP materialization once the professional actions agree with the social and political direction of the profession, which has as main goals the human emancipation and the social transformation. We highlight that PEPP is a theme that needs more discussion in the knowledge production of the Brazilian Social Work due to its importance to the understanding of the profession as well as the real possibilities that it allows the professional to achieve by materializing the project within the limits imposed by the capitalist society.
A presente disserta??o versa sobre a materializa??o do Projeto ?tico-Pol?tico Profissional (PEPP) dos/as assistentes sociais e busca resposta para o seguinte problema de pesquisa: Como ? materializado o PEPP no cotidiano interventivo dos (as) assistentes sociais? Seu objetivo ? analisar como os assistentes sociais materializam o Projeto Profissional, com intuito de contribuir para o debate da categoria profissional e estimular uma pr?xis profissional reflexiva. Para tanto, foi reconstitu?do o processo hist?rico de constru??o da profiss?o no Brasil, desde a sua g?nese at? o amadurecimento te?rico-metodol?gico, alicer?ado na Teoria Social Cr?tica de Marx. Essa reconstitui??o permitiu o entendimento da forma??o e da consolida??o do PEPP, alicer?ado nos pilares da Lei de Regulamenta??o da Profiss?o, no C?digo de ?tica Profissional e nas Diretrizes da ABEPSS. O M?todo Dial?tico-Cr?tico ? transversal a toda a produ??o deste trabalho, com a contribui??o das categorias totalidade, historicidade e contradi??o, para apreens?o e an?lise dos fen?menos na realidade concreta. Para alcan?ar os objetivos do estudo realizou-se uma pesquisa qualitativa que, al?m da an?lise bibliogr?fica e documental coletou dados emp?ricos, no curso de Especializa??o em Interven??o Social com Fam?lias da Faculdade de Servi?o Social da PUCRS, por entender que esse ? um espa?o de fomento a educa??o permanente. Na avalia??o das respostas dos assistentes sociais ?s quest?es do instrumento, constatou-se atrav?s da an?lise de conte?do que existem possibilidades de materializa??o do PEPP, desde que as a??es profissionais estejam em conson?ncia com a dire??o social e pol?tica da profiss?o, que tem como horizonte a emancipa??o humana e a transforma??o social. Evidencia-se, ainda, que o PEPP ? um tema que carece de maior discuss?o na produ??o do conhecimento do Servi?o Social brasileiro, tendo em vista sua import?ncia para a compreens?o da profiss?o e as possibilidades reais de materializa??o do projeto pelo profissional dentro dos limites impostos pela sociedade capitalista.
APA, Harvard, Vancouver, ISO, and other styles
5

Kuang, Chen Po, and 陳柏光. "An Experimental Creation of Digital Life Evolution and Abstract Vision—To interpret the visualization of divine comedy through the computer animation." Thesis, 2007. http://ndltd.ncl.edu.tw/handle/24996735802826615070.

Full text
Abstract:
碩士
實踐大學
時尚與媒體設計研究所
95
Abstract The creation of this work is influenced by the literature piece of Dante (The Divine Comedy) - Heaven, Purgatory (Land Of Buddha) and Hell three aspects of boundaries. Through the Divine comedy, I deeply realized the evolution of life and tried to re-interpret the common point of renaissance's art and human being’s evolution. The literature focuses on analyzing the relationship of the development of culture and that of motion pictures and animation. In addition, one can also use the study of philosophy and aesthetics to analyze the meaning of the image.Through the history of the motion graphic and the experimental animation, to find and analyze the veining of the artist’s style. Rethought life itself from the angle of the birth and the evolution of digitization. This creation of experimental animation base on three aspect of boundaries, (Dante's literature work), by means of contents of literature visual imagination and symbol of meaning and take advantage of (Dant's literature work) character tensity to experiment and analyze thus come out innovation way to communicate evolution of life. By this way, thus come out basic constructor of this creation that combined of unit of cell and chromosome with visual effect. Fully utilize advantage of modern technology as well as beauty of classic literature to recast basic factor of human life. Furthermore with various aspects of blended emotional, interact that results in deformation and shape evolution. Also can be seen are that author fully utilize apply computer animation skill to challenge what author have done before and come out with exceptionally beauty of visual effect. The results of this creation: With symbolized visual language that transform refined of traditional literature by means of computer animation-combined the beauty of literature through abstract visual that come out with new prototype of creation work. Furthermore to research how computer animation technical and creation work can be coordinated well.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Abstract interpreter"

1

Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

1956-, Sannella D., and Tarlecki Andrzej, eds. Recent trends in data type specification: 5th Workshop on Specification of Abstract Data Types : Gullane, Scotland, September 1-4, 1987 : Selected papers. Berlin: Springer-Verlag, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Andrey, Rybalchenko, and SpringerLink (Online service), eds. Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bridge, Paul, David Smith, and Erko Stackebrandt, eds. Trends in the systematics of bacteria and fungi. Wallingford: CABI, 2021. http://dx.doi.org/10.1079/9781789244984.0000.

Full text
Abstract:
Abstract There are fundamental differences between the current levels of genomic and proteomic knowledge for bacteria and fungi. With multiple growth forms and over 100,000 known species, the fungi probably present a more complex situation, but genomic studies are hindered by the lack of reliable reference data for many species. As activities such as environmental sampling, and genomic and proteomic profiling, become more important in extending our understanding of ecosystems, there is an increasing imperative for researchers in microbial systematics to develop the methods and concepts required to interpret the information being generated. This volume presents a collection of chapters that provide some insights into how current methods and resources are being used in microbial systematics, together with some thoughts and suggestions about how both methodologies and concepts may develop in the future.
APA, Harvard, Vancouver, ISO, and other styles
5

Pfenning, Frank. Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

International Conference on Concurrency Theory (4th 1993 Hildesheim, Germany). CONCUR '93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 1993 : proceedings. Berlin: Springer-Verlag, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Wolff, Burkhart. Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Jensen, Kurt. Transactions on Petri Nets and Other Models of Concurrency VI. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Federico, Massaioli, Müller Matthias S, Rorro Marco, and SpringerLink (Online service), eds. OpenMP in a Heterogeneous World: 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

service), SpringerLink (Online, ed. Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Abstract interpreter"

1

Cachera, David, and David Pichardie. "A Certified Denotational Abstract Interpreter." In Interactive Theorem Proving, 9–24. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14052-5_3.

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

Gori, Roberta, and Giorgio Levi. "Properties of a Type Abstract Interpreter." In Lecture Notes in Computer Science, 132–45. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36384-x_13.

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

Fiore, Franco, and Fosca Giannotti. "An Abstract Interpreter for the specification language LOTOS." In Formal Description Techniques VII, 309–23. Boston, MA: Springer US, 1995. http://dx.doi.org/10.1007/978-0-387-34878-0_25.

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

Lerchner, Harald. "An Abstract State Machine Interpreter for S-BPM." In S-BPM in the Wild, 219–33. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17542-3_13.

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

Hymans, Charles. "Design and Implementation of an Abstract Interpreter for VHDL." In Lecture Notes in Computer Science, 263–69. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-39724-3_23.

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

Mansur, Muhammad Numair, Benjamin Mariano, Maria Christakis, Jorge A. Navas, and Valentin Wüstholz. "Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios." In Computer Aided Verification, 777–800. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_36.

Full text
Abstract:
AbstractIn recent years, there has been significant progress in the development and industrial adoption of static analyzers, specifically of abstract interpreters. Such analyzers typically provide a large, if not huge, number of configurable options controlling the analysis precision and performance. A major hurdle in integrating them in the software-development life cycle is tuning their options to custom usage scenarios, such as a particular code base or certain resource constraints.In this paper, we propose a technique that automatically tailors an abstract interpreter to the code under analysis and any given resource constraints. We implement this technique in a framework, tAIlor, which we use to perform an extensive evaluation on real-world benchmarks. Our experiments show that the configurations generated by tAIlor are vastly better than the default analysis options, vary significantly depending on the code under analysis, and most remain tailored to several subsequent code versions.
APA, Harvard, Vancouver, ISO, and other styles
7

Goubault, Eric, Matthieu Martel, and Sylvie Putot. "Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter." In Programming Languages and Systems, 209–12. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45927-8_15.

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

Cheatham, Thomas, Haiming Gao, and Dan Stefanescu. "A suite of analysis tools based on a general purpose abstract interpreter." In Lecture Notes in Computer Science, 188–202. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-57877-3_13.

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

Bornat, Richard, Jaap Boender, Florian Kammueller, Guillaume Poly, and Rajagopal Nagarajan. "Describing and Simulating Concurrent Quantum Systems." In Tools and Algorithms for the Construction and Analysis of Systems, 271–77. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45237-7_16.

Full text
Abstract:
Abstract We present a programming language for describing and analysing concurrent quantum systems. We have an interpreter for programs in the language, using a symbolic rather than a numeric calculator, and we give its performance on examples from quantum communication and cryptography.
APA, Harvard, Vancouver, ISO, and other styles
10

Might, Matthew. "Abstract Interpreters for Free." In Static Analysis, 407–21. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15769-1_25.

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

Conference papers on the topic "Abstract interpreter"

1

Dewey, Kyle, Vineeth Kashyap, and Ben Hardekopf. "A parallel abstract interpreter for JavaScript." In 2015 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). IEEE, 2015. http://dx.doi.org/10.1109/cgo.2015.7054185.

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

Arceri, Vincenzo, and Isabella Mastroeni. "A sound abstract interpreter for dynamic code." In SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3341105.3373964.

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

Kalibera, Tomas, Petr Maj, Floreal Morandat, and Jan Vitek. "A fast abstract syntax tree interpreter for R." In the 10th ACM SIGPLAN/SIGOPS international conference. New York, New York, USA: ACM Press, 2014. http://dx.doi.org/10.1145/2576195.2576205.

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

Gupta, Prateek, Sverre Steen, and Adil Rasheed. "Big Data Analytics As a Tool to Monitor Hydrodynamic Performance of a Ship." In ASME 2019 38th International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/omae2019-95815.

Full text
Abstract:
Abstract A modern ship is fitted with numerous sensors and Data Acquisition Systems (DAQs) each of which can be viewed as a data collection source node. These source nodes transfer data to one another and to one or many centralized systems. The centralized systems or data interpreter nodes can be physically located onboard the vessel or onshore at the shipping data control center. The main purpose of a data interpreter node is to assimilate the collected data and present or relay it in a concise manner. The interpreted data can further be visualized and used as an integral part of a monitoring and decision support system. This paper presents a simple data processing framework based on big data analytics. The framework uses Principal Component Analysis (PCA) as a tool to process data gathered through in-service measurements onboard a ship during various operational conditions. Weather hindcast data is obtained from various sources to account for environmental loads on the ship. The proposed framework reduces the dimensionality of high dimensional data and determines the correlation between data variables. The accuracy of the model is evaluated based on the data recorded during the voyage of a ship.
APA, Harvard, Vancouver, ISO, and other styles
5

McCormack, Jay, and Jonathan Cagan. "Enabling the Use of Shape Grammars: Shape Grammar Interpretation Through General Shape Recognition." In ASME 2000 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2000. http://dx.doi.org/10.1115/detc2000/dtm-14555.

Full text
Abstract:
Abstract Shape grammars have recently shown promise in engineering applications. The need to efficiently implement such grammars, rather than hard code them, in a way that supports creativity through shape emergence has still remained an ongoing research challenge. This paper introduces a shape grammar interpreter that supports parametric shape recognition, and thereby shape emergence. The approach divides shapes into hierarchies of subshapes based on specified geometric relationships within the shape. A default hierarchy based on geometric relations often found in engineering and architectural designs is presented as an efficient example of one appropriate hierarchy. A classic shape grammar demonstrates the interpreter’s shape recognition and generation abilities.
APA, Harvard, Vancouver, ISO, and other styles
6

Sergey, Ilya, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, and Frank Piessens. "Monadic abstract interpreters." In the 34th ACM SIGPLAN conference. New York, New York, USA: ACM Press, 2013. http://dx.doi.org/10.1145/2491956.2491979.

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

Gulwani, Sumit, and Ashish Tiwari. "Combining abstract interpreters." In the 2006 ACM SIGPLAN conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1133981.1134026.

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

Mikkelsen, Madalyn, Michayal Mathew, Patrick Walgren, Brent Bielefeldt, Pedro B. C. Leal, Darren Hartl, and Andres Arrieta. "Morphing Airfoil Design via L-System Generated Topology Optimization." In ASME 2019 Conference on Smart Materials, Adaptive Structures and Intelligent Systems. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/smasis2019-5695.

Full text
Abstract:
Abstract Morphing airfoils present an effective approach to managing the different requirements in each segment of a mission profile (e.g., takeoff/landing, cruise, and active maneuvering). In this work, an approach to morphing airfoil design that couples aerodynamic performance and internal structural configuration is detailed. The internal structural topology is formulated using a Lindenmayer System (L-System) coupled with a graph-based interpreter known as Spatial Interpretation for Development of Reconfigurable Structures (SPIDRS). The L-System encodes design variables that are interpreted via SPIDRS graphical operations and governs the development of the internal configuration (composed of elastic structural members and actuators). The global optimization uses a weakly coupled fluid-structure interaction (FSI) scheme for a first-order estimation of the aeroelastic loads that are critical for airfoil aerodynamic performance and structural integrity. Each airfoil is evaluated in two states: a standard non-actuated state to determine performance in standard operating conditions (e.g., cruise) and a high lift state, where internal shape memory alloy actuators are deformed to create a high lift configuration for the airfoil (e.g., takeoff/landing). Evaluating the aerodynamic performance of airfoils in these two states results in a series of potential solutions that best manage the tradeoff between aerodynamic metrics for both evaluated cases.
APA, Harvard, Vancouver, ISO, and other styles
9

Lee, Chung-Ching. "On the Generation Synthesis of Movable Octahedral 6R Mechanisms." In ASME 1996 Design Engineering Technical Conferences and Computers in Engineering Conference. American Society of Mechanical Engineers, 1996. http://dx.doi.org/10.1115/96-detc/mech-1576.

Full text
Abstract:
Abstract The geometric characteristics of three well-known movable octahedral 6R mechanisms are described and then, by matrix algebra method, we derive their general displacement closed-form solutions for further investigation and analysis. Based on the fundamentals of three dimensional analytical coordinate geometry, a systematic approach is offered to generate the configuration of movable octahedral 6R mechanism with the help of computer graphics. In addition, a user-friendly computer aided program implementing the process of generation synthesis can be developed in Autolisp, a Lisp language interpreter within autoCAD. The numerical results for every generation and their constrained motion are confirmed by the derived analytical solutions. The physical models of these synthesized mechanisms are also built respectively.
APA, Harvard, Vancouver, ISO, and other styles
10

Sterling, Leon. "Meta-interpreters for expert systems (abstract)." In the 1986 ACM fourteenth annual conference. New York, New York, USA: ACM Press, 1986. http://dx.doi.org/10.1145/324634.325305.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Abstract interpreter' for particular source types:
Journal articles Books
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