No description available.

Diss. Inaug. - Breslau. / Vita.

University, Diss., 1997--Athen.

No description available.

No description available.

Boston University. University Professors Program Senior theses. / PLEASE NOTE: Boston University Libraries did not receive an Authorization To Manage form for this thesis. It is therefore not openly accessible, though it may be available by request. If you are the author or principal advisor of this work and would like to request open access for it, please contact us at open-help@bu.edu. Thank you. / 2031-01-02

<p>Uppsatsen ingår i kursen Skapande svenska C, 30 hp, inom ämnet Litteraturvetenskap vid Umeå universitet</p>

In this thesis, I designed and implemented a virtual machine (VM) for a monomorphic variant of Athena, a type-omega denotational proof language (DPL). This machine attempts to maintain the minimum state required to evaluate Athena phrases. This thesis also includes the design and implementation of a compiler for monomorphic Athena that compiles to the VM. Finally, it includes details on my implementation of a read-eval-print loop that glues together the VM core and the compiler to provide a full, user-accessible interface to monomorphic Athena. The Athena VM provides the same basis for DPLs that the SECD machine does for pure, functional programming and the Warren Abstract Machine does for Prolog.

Thesis (Ph. D.)--Ohio State University, 2003. / Document formatted into pages; contains viii, 204 p.; contains ills., map. Includes bibliographical references (p. 193-204). Abstract available online via OhioLINK's ETD Center; full text release delayed at author's request until 2006 May 19.

Made available in DSpace on 2014-06-11T19:26:43Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-12-18Bitstream added on 2014-06-13T20:55:10Z : No. of bitstreams: 1 banhos_vtm_me_mar.pdf: 1422928 bytes, checksum: 977a0ea15880193aa3d5bf45c8985f1a (MD5) / Universidade Estadual Paulista (UNESP) / A pesquisa realiza um estudo acerca de um catálogo específico, o Athena, considerado um sistema de recuperação de informação estruturado e organizado. Nesse ambiente se tem como objetivo avaliar um conjunto de diretrizes de usabilidade e aplicá-las em sistemas de recuperação de informação na Web, levando em consideração aspectos relativos não só à usabilidade de sua interface, mas também à sua eficiência no processo de recuperação. O estudo se caracteriza como exploratório e descritivo-analítico. Para tanto, procurou-se inicialmente revisar a literatura nacional e internacional sobre recuperação de informação e usabilidade, em várias fontes informacionais, impressas e eletrônicas, como embasamento teórico do trabalho. Em segunda etapa, foi realizada uma análise heurística, e por último foram realizados testes de usabilidade com usuários em que se aplicaram dois procedimentos: um questionário semi-estruturado e um instrumento de observação. Após as análises quantitativa e qualitativa dos dados, o teste com os usuários possibilitou verificar o modo como eles interagem com a interface do Catálogo Athena e as formas de busca que costumam realizar em outras ferramentas disponíveis na Web. Também foi possível validar alguns apontamentos feitos na análise heurística, pois a maioria dos participantes da pesquisa revelou não ter qualquer experiência na utilização do Catálogo Athena. Verifica-se, nesta pesquisa, a importância de se aplicar os testes com usuários em ambientes de recuperação de informação, considerando-os como parte fundamental no desenvolvimento de qualquer sistema. / The research conducts a study about a specific catalog, the Athena, considered a system of retrieval of information structured and organized. In this environment you have to evaluate a set of guidelines for usability and apply them in systems for retrieval of information on the Web, taking into account aspects relating not only to the usability of its interface, but also its efficiency in the recovery process. The study is characterized as exploratory and descriptive and analytical. Thus, it was initially to review the national and international literature on recovery of information and usability in various informational sources, printed and electronic, as the theoretical work. In the second stage, was a heuristic analysis, and finally usability tests were carried out with users that were applied in two procedures: a semi-structured questionnaire and an instrument of observation. After the analysis of quantitative and qualitative data, the test allows users to determine how they interact with the interface of the Athena Catalog and the forms of search that usually take place in other tools available on the Web was also possible to validate some notes made in heuristic analysis, because the majority of the research has shown to have no experience in the use of Athena Catalog. This research shows the importance of applying the tests with users in environments of retrieval of information, considering them a vital part in the development of any system.