Back to Results
First PageMeta Content
Computer programming / Constraint logic programming / Kaleidoscope / Constraint satisfaction problem / Cassowary / Constraint / Prolog / Satisfiability Modulo Theories / Constraint satisfaction / Constraint programming / Declarative programming / Software engineering


Journal of Object Technology Published by AITO — Association Internationale pour les Technologies Objets http://www.jot.fm/ Babelsberg: Specifying and Solving Constraints on Object Behavior
Add to Reading List

Document Date: 2014-08-21 12:43:43

Open Document

File Size: 1,04 MB

Share Result on Facebook

City

Ruby / Auckland / /

Company

Microsoft / /

Event

Product Issues / /

Facility

Hasso Plattner Institute / University of Washington / University of Potsdam / Z3 library / /

IndustryTerm

interactive graphical applications / weighted-sum-better solutions / possible solutions / graphical systems / configuration file management / locally-predicate-better solutions / finds solutions / /

OperatingSystem

Mac OS X / /

Organization

University of Potsdam / University of Washington / Hasso Plattner Institute / /

Person

Alan Borning / Tim Felgentreff / Robert Hirschfeld / /

/

Position

Editor / interpreter / programmer / /

Product

Kaleidoscope / be expressed using Kaleidoscope / program state / /

ProgrammingLanguage

Smalltalk / R / Python / Scala / /

Technology

virtual machine / CAD/CAM / simulation / DSL / GUI / /

URL

http /

SocialTag