Implementation of a polymorphic typechecking system /

Implementation of a polymorphic typechecking system /

Saved in:

书目详细资料
主要作者:	Sufian Idris
格式:	Thesis 图书
语言:	English
出版:	Manchester : Faculty of Science , University of Manchester, 1990
主题:	Systems programming (Computer Science) Programming (Electronic computers)
标签:	添加标签没有标签, 成为第一个标记此记录!

相似书籍

The implementation of BaLinda C and C++ for sun systems /
由: Wang, Qun
出版: (1997)

Extending a word processor for a literate programming system /
由: Lim, Peng Heng
出版: (1997)

The implementation of Balinda C++ on a linked PC system /
由: Wang, Haichen
出版: (1999)

The implementation of Balinda pascal on a multithreading system /
由: Lin, Wei
出版: (1995)

A parallel logic programming system based on BaLinda Lisp : an implementation of flat guarded horn clasues /
由: Li, Zhenpeng
出版: (1996)

A parallel lisp system /
由: Wong, Weng Fai
出版: (1991)

The implementation and optimization of an experimental LISP interpreter for a small computer /
由: Steele, David J.
出版: (1992)

A multimodal user database interface : the EZQuery system /
由: Quak, Wan Ling
出版: (1995)

An object-based concurrent language ABCL/1 on transputers /
由: Lai, Siet Leng
出版: (1992)

Design and implementation of a new compositional facility for concurrent processes /
由: Chen, Yanping
出版: (1995)

Development of a CAI authoring & rule-based shell system /
由: Yap, May Lin
出版: (1993)

Operating system multimedia presentation (OSMP) /
由: Ida Adyani Hamzah
出版: (2003)

A knowledge based system for machine tool replacement /
由: Mohd. Amin Abd. Majid
出版: (1993)

Prototype for program analysis /
由: Loo, Poh Kok
出版: (1995)

Object oriented testing : an automated testing tool for C++ classes : C++ class implementation, specification & testing system (CIST) /
由: Chong, Philip Yee Fatt
出版: (1995)

An approach to distributed functional programming /
由: Arun Kumar C. B.
出版: (1996)

Consistency techniques for linear arithmetic and functional constraints /
由: Zhang, Yuanlin
出版: (1998)

The implementation of BaLinda Fortran on multithread-based workstation /
由: Shi, Hao
出版: (1995)

A parallel distributed Javaspaces implementation of RSA public key factorization using quadratic sieve /
由: Lau, Khek Hooi
出版: (2003)

Design and emulation of a parallel data-driven lisp machine /
由: Yee, Jenn Jong
出版: (1992)

Towards an immersive online shopping interface using rich media and XML technology /
由: Suthan Panchadcharam
出版: (2006)

Design and implementation of an indexed file access method /
由: Chan, Kum Wing
出版: (1982)

A Java source code analyzer and visualizer for documentation and reuse of object oriented programming /
由: Bonakdar, Ali
出版: (2010)

Compilation and run-time environment of parallel Lisp on distributed systems /
由: Feng, Ming Dong
出版: (1994)

Effective query translation technique in Hausa cross-language information retrieval system /
由: Ibrahim, Muhamad Sani
出版: (2017)

An expert system for single processor computer system fault diagnosis /
由: Ting, Kai Ming
出版: (1991)

Development of a text to use case diagram tool /
由: Wan Hasnira Wan Husin
出版: (2007)

A transputer-based implementation for parallel LISP applications /
由: Feng, Ming Dong
出版: (1991)

Computerised sales and purchase system design for a small consultancy firm /
由: Mohammad Adam Bakar
出版: (1982)

Transparent persistence framework for multiple persistence mechanisms /
由: Jusic, Samir
出版: (2006)

Smart attendance system via facial recognition using Tensorflow Facenet model / Ahmad Muizzuddin Shahrel
由: Shahrel, Ahmad Muizzuddin
出版: (2020)

Penskedulan dan kawalan projek berdasarkan analisis rangkaian (pakej PROSCOS) /
由: Safie Mat Yatim
出版: (1987)

Multiprogramming on small computer /
由: Faust, Robert Samuel
出版: (1969)

Novices learning to understand programs : an analysis of the benefits of performing explicit transformation of program code into alternative, diagrammatic form /
由: Rukaini Haji Abdullah
出版: (2001)

Data model and query language for multimedia database /
由: Peng, Ying
出版: (1998)

Sigma - a bahasa Malaysia question - answering system /
由: Siti Salwah Salim
出版: (1989)

An entity-relationship based database management system /
由: Lee, Janice Mong Li
出版: (1992)

Evolutionary Programming (EP) based optimization technique for voltage stability improvement using reactive power dispatch / Mohd Idris Abdul Rahman
由: Abdul Rahman, Mohd Idris
出版: (2004)

Learning introductory programming using Game-Based Learning (GBL) tool /
由: Naline Shanmugam

A high-order logic for object-oriented logic programming /
由: Wee, Boon Tun
出版: (1998)

Services hosted by the Perpustakaan Sultan Abdul Samad, Universiti Putra Malaysia with Cooperation MySyL Group