The definition and implementation of a computer programming language based on constraints

The definition and implementation of a computer programming language based on constraints

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 1980

Bibliographic Details
Main Author:	Steele, Guy L., 1954-
Other Authors:	Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science.
Format:	Thesis
Published:	Massachusetts Institute of Technology 2005
Subjects:	Electrical Engineering and Computer Science. Programming languages (Electronic computers) Programming languages (Electronic computers) fast
Online Access:	http://hdl.handle.net/1721.1/15890

Similar Items

PYTHON CRASH COURSE : A HANDS-ON, PROJECT-BASED INTRODUCTION TO PROGRAMMING /
by: Matthes, Eric, author 655432
Published: ([202)

Scratch 3 : The Practical Guide To Create Games Using Block Programming /
by: San, Hirako, author 655426
Published: (2024)

JavaScript : The Definitive Guide /
by: Flanagan, David, author 374729, et al.
Published: (2020)

Python for Security and Networking : Leverage Python modules and tools in securing your network and applications /
by: Ortega, José Manuel, author 656338, et al.
Published: (2018)

Mastering Large Language Models with Python /
by: R, Raj Arun, author 656129, et al.
Published: (2024)

Marketing Research with R and Python /
by: Lam, Howard Pong-Yuen, author 656302, et al.
Published: (2023)

Termination and semantics of probabilistic lambda calculus
by: Kenyon-Roberts, A
Published: (2024)

Reorganization and documentation of a motor unit decomposition program
by: Creigh, John Lock.
Published: (2025)

Levels, layers, and planes : the framework of a system of knowledge representation semantics
by: Smith, Brian Cantwell.
Published: (2025)

Towards formal verification of Bayesian inference in probabilistic programming via guaranteed bounds
by: Zaiser, F
Published: (2024)

BASIC Molecular Spectroscopy /
by: Gorry, P. A., author 223459
Published: (1985)

Design and implementation of an e-learning platform for interactive teaching and learning
by: Tjeng, Natalia Sabrina Arifin
Published: (2015)

Development of a software system for monitoring of home based rehabilitation
by: Celetaria, Charmaine Elaiza Alimboyoguen
Published: (2018)

Optimal virtual machine migration
by: Ng, Li Ting.
Published: (2013)

Easy CCTV
by: Zeng, Glenn Zhaosong
Published: (2015)

360 Immersive VR website for experiencing Singapore
by: Tan, Don Charlton Keat Peng
Published: (2017)

Vein matching enhancement
by: Song, Daphne Liting
Published: (2014)

Analysis of the Projective Re-Normalization method on semidefinite programming feasibility problems
by: Yeung, Sai Hei
Published: (2008)

QR code security authentication attendance system (part I)
by: Chew, Amanda Li Xin
Published: (2023)

A code transformation framework for linear algebra operations targeting multiple platforms
by: Tan, Wen Jun
Published: (2014)

SQL Query Design Patterns and Best Practices : A practical guide to writing readable and maintainable SQL queries using its design patterns /
by: Hughes, Steve, author 656330, et al.
Published: (2023)

Wordstar in Action : Practical Examples for Instant Use /
by: McMullan, Randall, author 223050
Published: (1985)

A dynamic program for minimum cost ship routing under uncertainty
by: Chen, H. (Henry)
Published: (2005)

Cyclic scheduling analysis of single-arm cluster tools with wafer residency time constraint and chamber cleaning operations
by: Yang, FaJun, et al.
Published: (2020)

Mediating effects of satisfaction in the relationship between motivation factors and continuous viewing intentions towards Chinese documentary programs
by: Mengyu, Li
Published: (2023)

A fast approximate solution to the electrical power generation rescheduling and load shedding problem
by: Chan, Sherman Man.
Published: (2024)

The design of integrated distributed amplifiers
by: McHarg, Jeffrey Clay.
Published: (2024)

15.053 Introduction to Optimization, Spring 2002
by: Orlin, James B., 1953-
Published: (2002)

Activity based costing approach to systems development and implementation.
by: Ooi, Ginny Huey Jiun.
Published: (2010)

The strategic choice between "standardization" and "differentiation" in R&D
by: Adachi, Satoru
Published: (2007)

The efficacy of clickers in second language classroom - promoting interaction in Korean as a foreign language
by: Ryoo, Agnes Hye Jin
Published: (2020)

The absurd, exile and the beginning of ethics
by: Yong, Ade Wernmei
Published: (2021)

Non-iterative division circuit design with accuracy and performance trade-off based on mixed integer linear programming approach
by: Wu, Lei, et al.
Published: (2022)

The formulation of expectations in dynamic systems
by: Low, Gilbert W.
Published: (2009)

Coordination of lower limb movement utilizing the agonist-antagonist myoneural interface
by: Shu, Tony(Data scientist)
Published: (2020)

Body driven cognition : writing to the body to influence the mind
by: Jain, Abhinandan(Cognitive data scientist)
Published: (2021)

Wonderland : constructionist science learning in mixed reality
by: Khan, Mina(Cognitive data scientist)Massachusetts Institute of Technology.
Published: (2019)

Design and control of a Two-Degree-of-Freedom powered ankle-foot prosthesis
by: Hsieh, Tsung-Han(Sensing technology scientist)
Published: (2020)

The Chinese expansion and language coexistence in Modern China
by: LaPolla, Randy J.
Published: (2022)

Spaces (B): 3D art adventure game design and development
by: Zhu, Xiaoyi
Published: (2016)