Emina Torlak
2025年1月6日 · Emina Torlak's homepage. Emina Torlak. Senior Principal Scientist at Amazon Web Services Affiliate Professor at University of Washington. CV; GitHub; LinkedIn; DBLP; …
Emina Torlak: CV - GitHub Pages
2025年1月6日 · Emina Torlak, Mana Taghdiri, Greg Dennis, and Joseph Near. Applications and Extensions of Alloy: Past, Present, and Future . Mathematical Structures in Computer Science, …
Rosette: About - GitHub Pages
2023年7月4日 · The Rosette Language. About; Download; Docs; Apps; Courses; Papers; About Rosette. Rosette is a solver-aided programming language that extends Racket with language …
Rosette: Papers - GitHub Pages
[6] Emina Torlak and Rastislav Bodik. Growing Solver-Aided Languages with Rosette. New Ideas, New Paradigms, and Reflections on Programming & Software (Onward!), 2013.
Kodkod: Publications - GitHub Pages
2023年7月4日 · Emina Torlak. A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications. Massachusetts Institute of Technology Ph.D. Thesis, …
IntExpression (Kodkod API) - emina.github.io
Emina Torlak; Method Summary. All Methods Static Methods Instance Methods Abstract Methods Concrete Methods ; Modifier and Type Method and Description; IntExpression: abs Returns an …
Kodkod: About - GitHub Pages
2023年7月4日 · About; Download; Docs; Applications; Publications; Thanks; About Kodkod. Kodkod is an efficient SAT-based constraint solver for first order logic with relations, transitive …
SumExpression (Kodkod API) - emina.github.io
Emina Torlak Specfields: intExpr: IntExpression decls: Decls children = 0->decls + 1->intExpr Invariants: all d: decls.children[int] | d.multiplicity = 1
Options (Kodkod API) - emina.github.io
Emina Torlak Specfields: solver: SATFactory // SAT solver factory to use reporter: Reporter // reporter to use symmetryBreaking: int // the amount of symmetry breaking to perform sharing: …
AbstractReporter (Kodkod API) - emina.github.io
Emina Torlak; Method Summary. All Methods Instance Methods Concrete Methods ; Modifier and Type Method and Description; void: detectedSymmetries (Set<IntSet> parts) Reports the …