Program construction in Martin-Lof's theory of types

Program construction in Martin-Lof's theory of types

Bibliographic Details
Main Author:	Khamiss, A-A. M.
Published:	University of Essex 1986
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.373210

Similar Items

Mechanization of program construction in Martin-Loef's theory of types
by: Ireland, Andrew
Published: (1989)

Investigations into Martin-Löf type theory as a programming logic
by: Chisholm, Paul
Published: (1988)

Theories of translation correctness for concurrent programming languages
by: Millington, M.
Published: (1985)

Constraint programming in user interface construction
by: Samual, John Francis
Published: (1996)

Inductive types in functional programming
by: Grimley, Allan
Published: (1990)

Type assignment in programming languages
by: Damas, Luis
Published: (1984)

A theory of state-based parallel programming
by: Qiwen, Xu
Published: (1992)

Typed concurrent programs : specification and verification
by: Nagarajan, R.
Published: (1999)

A theory of program correctness with three valued logic
by: Jervis, Clive Andrew
Published: (1988)

Logic program development based on typed moded schemata and data types
by: Marakakis, Emmanouil I.
Published: (1997)

Applications of meta-programming to the construction of software products from generic configurations
by: Singleton, Paul
Published: (1992)

Towards a uniform graphical representation of program construction, debugging and testing process
by: Halewood, Keith
Published: (1991)

Automation of program design
by: Godinho, A. M. de A. L.
Published: (1982)

Towards an intelligent debugging system for Pascal programs : on the theory and algorithms of plan recognition in Rich's plan calculus
by: Lutz, Rudi
Published: (1993)

Structured programming aid
by: Guimaraes Rodrigues, A. J. M.
Published: (1980)

Graphical creation of structured programs
by: Romero, M. B. A.
Published: (1985)

Functional programming techniques
by: Hill, Stephen A.
Published: (1989)

Inheritance relationships for disciplined software construction
by: Gardner, Tracy A.
Published: (1999)

The application of visual programming to courseware authoring
by: Bell, Michael A.
Published: (1995)

PED : A tree-oriented editor for programs
by: Lomax, A.
Published: (1983)

The suitability of high-level languages for systems programming
by: Burgess, A.
Published: (1981)

Modularity and code generation in an extended programming language
by: Rowlands, J. A. S.
Published: (1988)

A combined representation for the maintenance of C programs
by: Kinloch, David A.
Published: (1995)

Aspects of functional programming applied to scientific computing
by: Revitt, A. P.
Published: (1993)

A theory of fuzzy systems
by: De Glas, M.
Published: (1981)

Functional programming with side-effects
by: Josephs, M. B.
Published: (1986)

Database tools for multi-language program support environments
by: Mariani, J. A.
Published: (1983)

An analysis of the impact of functional programming techniques on genetic programming
by: Yu, Gwoing Tina
Published: (2000)

MC : A concurrent programming language for distributed computer systems
by: Rizk, A.
Published: (1986)

The design and implementation of programming languages
by: Hughes, R. J. M.
Published: (1983)

Octree construction for imaging
by: Millar, Richard James
Published: (1989)

A database programming language : definition, implementation and correctness proofs
by: Welsh, A.
Published: (1984)

Speech recognition by microprocessor using Walsh analysis and dynamic programming
by: Lee, P. A.
Published: (1983)

The application of visual programming techniques to the low-level programming process
by: Beaumont, Mark Alexander Edward
Published: (1999)

Findings a basis for matching programming languages to programming tasks
by: Petre, Marian
Published: (1989)

The effect of program structure on program behaviour in virtual memory systems
by: Scott, Colin T.
Published: (1980)

Support logic programming and its implementation in Prolog
by: Monk, M. R. M.
Published: (1989)

Programming in temporal logic
by: Hale, Roger William Stephen
Published: (1988)

Relations, graphs and programs
by: Ravelo, Jesus N.
Published: (1998)

Agents in logic programming
by: Quintero, Jacinto Alfonso Davila
Published: (1997)