2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PL2011★ 1 cited
Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language
János Csorba, Zsolt Zombori, Péter Szeredi
We describe an application of Prolog: a type checking tool for the Q functional language. Q is a terse vector processing language, a descendant of APL, which is getting more and mo…
cs.PL2007★ 2 cited
Optimizing Queries in a Logic-based Information Integration System
András Gyorgy Békés, Péter Szeredi
The SINTAGMA information integration system is an infrastructure for accessing several different information sources together. Besides providing a uniform interface to the informat…