Search results for "loop-checks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
40	Malay K. Ganai, Aarti Gupta	Efficient BMC for Multi-Clock Systems with Clocked Specifications.	ASP-DAC	2007	DBLP DOI BibTeX RDF	OpenCores multiclock system benchmarks, clocked specifications, multiphased clocks, level-sensitive latches, SAT-based bounded model checking, synchronous multiclock systems, clocked LTL properties, clock modeling schemes, clock constraints, loop-checks, gated clocks
24	Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You	Loop checks for logic programs with functions.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
24	Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa	Redundancy Elimination and Loop Checks for Logic Programs	Inf. Comput.	1995	DBLP DOI BibTeX RDF
24	Filomena Ferrucci, Vincenzo Loia, Giuliano Pacini, Maria I. Sessa	A Sleeper-based Prolog Interpreter with Loop Checks.	GULP-PRODE (2)	1994	DBLP BibTeX RDF
24	Roland N. Bol	Generalizing Completeness Results for Loop Checks in Logic Programming.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
24	Roland N. Bol	Towards More Efficient Loop Checks.	NACLP	1990	DBLP BibTeX RDF
10	Gilberto Filé, Sabina Rossi	Static Analysis of Prolog with Cut.	LPAR	1993	DBLP DOI BibTeX RDF
10	Chandrabose Aravindan, Phan Minh Dung	Partial Deduction of Logic Programs wrt Well-Founded Semantics.	ALP	1992	DBLP DOI BibTeX RDF	well-founded negation, program transformation, Partial deduction