Global ETD Search

191	A survey of data type specification methods Fan, Shiowjy January 2010 (has links) Typescript (photocopy). / Digitized by Kansas Correctional Industries Data structures (Computer science)
192	Informal verification of correctness of the scanner module of an interpreter program Jones, James Noel January 2010 (has links) Digitized by Kansas Correctional Industries INTERP-700 (Computer program language)
193	The design of an interdata implementation of the U. S. Navy MINI- COBOL Anderson-Rovia, Terry Wayne January 2010 (has links) Digitized by Kansas Correctional Industries Compiling (Electronic computers) Minicomputers
194	GASP IIP : a modified version of GASP IIA Krishnaswamy, Rajagopalan January 2010 (has links) Digitized by Kansas Correctional Industries GASP (Computer program language)
195	Parameterized types for GOO Knight, James, 1979- January 2002 (has links) Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002. / Includes bibliographical references (p. 65-66). / An often-useful addition to many programming languages is a generic type or parameterized type system. I have added support for a parameterized type system to the programming language "GOO". Besides the standard functionality, I have allowed the programmer to express some unique relationships between parameterized types that are generally inexpressible in a standard type system, in order to make the system applicable to a wider variety of situations. I have also added a unification system to the method dispatch in GOO in order to allow the relationship between the types of multiple arguments in a method signature to be expressed. / by James Knight. / M.Eng.
196	A new pedagogical approach to teaching problem solving Carroll, Susan Margaret January 2011 (has links) Typescript (photocopy). / Digitized by Kansas Correctional Industries Computer programming Computer programs
197	INTERP-700 : documentation of a student-designed interactive interpreter Mitrione, Michael Frank January 2010 (has links) Digitized by Kansas Correctional Industries INTERP-700 (Computer program language)
198	Software adaptativo: método de projeto, representação gráfica e implementação de linguagem de programação. / Adaptive software: project method, graphical representation and programming language implementation. Salvador Ramos Bernardino da Silva 02 September 2011 (has links) Linguagem para programação adaptativa se apresenta como um tema relativo às tecnologias adaptativas que suscita muitas pesquisas, até que venha a se constituir em mais uma ferramenta disponível ao programador. Nessa perspectiva, esta dissertação apresenta uma linguagem de alto nível, básica, que permita a geração de código adaptativo, bem como os requisitos e características de uma linguagem dessa natureza, recomendações sobre como projetar um software nessa linguagem e a representação gráfica do mesmo, o respectivo compilador e o ambiente de run-time no qual os programas serão executados. Apresenta, ainda, um exemplo de um programa fonte escrito na linguagem proposta. / Programming Languages for coding adaptive programs constitute a very rich research subject in the field of adaptive technology. It aims to offer a tool for programmers to express adaptive programs in a user-friendly, high-level, machine- readable, abstract notation. This MSc thesis presents the specification of requirements and desirable attributes for high-level languages allowing the automatic generation of adaptive code, and recommends a design methodology for conceiving and implementing adaptive programs using such languages as well. A graphical notation is suggested for that purpose, a compiler and a run-time environment are also considered and described. An example is given of the design and semi-formal specification of an adaptive software with the help of the suggested graphical notation, and finally the corresponding source program is encoded in the proposed language and executed. Adaptatividade Linguagem de programação Programação adaptativa Adaptive programs Adaptivity Programming languages
199	Implementation of extended graphic primitives Yee, Maxine F January 2010 (has links) Typescript (photocopy). / Digitized by Kansas Correctional Industries Computer graphics
200	A graphics support system for communicating processes programming Sanders, Richard Gary January 2011 (has links) Typescript (photocopy). / Digitized by Kansas Correctional Industries Computer programming--Management

Search results