Advancing declarative programming

Advancing declarative programming

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

Bibliographic Details
Main Author:	Milicevic, Aleksandar, Ph. D. Massachusetts Institute of Technology
Other Authors:	Daniel N. Jackson.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2015
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/99835

Similar Items

Executable specifications for Java programs
by: Milicevic, Aleksandar, Ph. D. Massachusetts Institute of Technology
Published: (2011)

Unifying Execution of Imperative and Declarative Code
by: Milicevic, Aleksandar, et al.
Published: (2012)

Declarative configuration applied to course scheduling
by: Yeung, Vincent S. (Vincent Shu Hang)
Published: (2007)

Declarative symbolic pure-logic model checking
by: Shlyakhter, Ilya, 1975-
Published: (2006)

Generation of policy-rich websites from declarative models
by: Chang, Felix Sheng-Ho
Published: (2009)

Declarative assembly of web applications from predefined concepts
by: Perez De Rosso, Santiago(Santiago Nicolas)
Published: (2020)

Generating structurally complex tests from declarative constraints
by: Khurshid, Sarfraz, 1972-
Published: (2006)

A static analysis to detect coupling and conflicts in declarative specifications
by: Schechter, Ian R. (Ian Robert), 1977-
Published: (2014)

Advanced modeling of planarization processes for integrated circuit fabrication
by: Fan, Wei, Ph. D. Massachusetts Institute of Technology
Published: (2013)

Advanced silicon photonic microcavities for routing, detection and lasing applications
by: Su, Zhan, Ph. D. Massachusetts Institute of Technology
Published: (2017)

Time-based circuits for communication systems in advanced CMOS technology
by: Park, Min, Ph. D. Massachusetts Institute of Technology
Published: (2010)

Harvesting and summarizing user-generated content for advanced speech-based human-computer interaction
by: Liu, Jingjing, Ph. D. Massachusetts Institute of Technology
Published: (2012)

Malay declarative sentence: Visualization and sentence correction
by: Muhamad Noor, Yusnita, et al.
Published: (2012)

Advanced modeling ,control, and design of an electromechanical engine value drive system with a limited-angle actuator
by: Qiu, Yihui, Ph. D. Massachusetts Institute of Technology
Published: (2009)

Advances in the endoscopic management of esophageal neoplasia using ultrahigh speed endoscopic optical coherence tomography
by: Lee, Hsiang-Chieh, Ph. D. Massachusetts Institute of Technology
Published: (2017)

Cairo declaration of human rights: viability as an Islamic alternative declaration
by: Haneef, Sayed Sikandar Shah
Published: (2013)

Cairo declaration of human rights: viability as an Islamic alternative declaration
by: Haneef, Sayed Sikandar Shah
Published: (2013)

Preventing information leaks with policy-agnostic programming
by: Yang, Jean, Ph. D. Massachusetts Institute of Technology
Published: (2016)

Verification of correctness properties of programs that read input files
by: Kim, Deokhwan,Ph. D.Massachusetts Institute of Technology.
Published: (2020)

LAMBDA: The Ultimate Declarative
by: Steele, Guy Lewis, Jr.
Published: (2004)

Investigation of multiple-input single-output power conversion for advanced solar cell systems
by: Martynov, Konstantin,M. Eng.Massachusetts Institute of Technology.
Published: (2018)

Covert culture of the word "Men" in the declaration of independence
by: , BUANA, Tito Ali, et al.
Published: (2010)

The Declarative operating system model
by: , BAALBERGEN, Erik Harald, et al.
Published: (1992)

Optimizations in stream programming for multimedia applications
by: Wong, Eric, M. Eng. Massachusetts Institute of Technology
Published: (2014)

Visualizing remixes in an online programming community
by: Liu, Di, M. Eng. Massachusetts Institute of Technology
Published: (2014)

A programming language for precision--cost tradeoffs
by: Steele, Matthew D., M. Eng. (Matthew David). Massachusetts Institute of Technology
Published: (2010)

Advanced photoanodes for photoassisted water electrolysis
by: Engel, Johanna, Ph. D. Massachusetts Institute of Technology
Published: (2014)

Structured Grammatical Evolution applied to program synthesis
by: Zhang, Andrew H.,M. Eng.Massachusetts Institute of Technology.
Published: (2019)

Real-time collaboration for a block-based programming environment
by: Li, Denis, M. Eng. Massachusetts Institute of Technology
Published: (2018)

The South China Sea Declaration: A Chinese Perspective
by: Zhai Kun, et al.
Published: (2016)

ASEAN human rights declaration : a pragmatic compromise
by: Ng, Joel
Published: (2013)

Conflict-of-interest, copyright and other declarations
by: Peh, W.C.G., et al.
Published: (2010)

Bluefish: Composing Diagrams with Declarative Relations
by: Pollock, Josh, et al.
Published: (2024)

A declarative approach to business rules in contracts : courteous logic programs in XML
by: Grosof, Benjamin N., et al.
Published: (2009)

Abstraction systems for translating and customizing a blocks-based programming language
by: Wu, David,M. Eng.Massachusetts Institute of Technology.
Published: (2019)

Model-based, event-driven programming paradigm for interactive web applications
by: Milicevic, Aleksandar, et al.
Published: (2014)

Advanced materials, process, and designs for silicon photonic integration
by: Sun, Rong, Ph. D. Massachusetts Institute of Technology
Published: (2009)

An improved scalable mixed-level approach to dynamic analysis of C and C++ programs
by: Rudd, Robert Andrew, M. Eng. Massachusetts Institute of Technology
Published: (2011)

Stability analysis of the boiling water reactor : methods and advanced designs
by: Hu, Rui, Ph. D. Massachusetts Institute of Technology
Published: (2011)

Preventing Arithmetic Overflows in Alloy
by: Milicevic, Aleksandar, et al.
Published: (2014)