Searching for "Boolean Constraints for Binding-Time Analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Boolean constraints for binding-time analysis
by Kevin Glynn, Peter J. Stuckey, Martin Sulzmann — 2001 — In Programs as Data Objects II, number 2053 in Lecture Notes in Computer Science
… Boolean Constraints for Binding-Time Analysis Kevin Glynn, Peter J. Stuckey, Martin Sulzmann…
Cited by 7 (1 self) – Add To MetaCart

Type Inference with Structural Subtyping: A faithful formalization of an efficient constraint
by Vincent Simonet, Inria Rocquencourt — 2003
…'s work about type qualifiers [25, 26] and the introduction of boolean constraints for binding-time…
Cited by 13 (4 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB