Teaching multiple programming paradigms: a proposal for a paradigm general pseudocode
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
KCM: a knowledge crunching machine
ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
Constraint logic programming languages
Communications of the ACM
Journal of the ACM (JACM)
An interactive source commenter for Prolog programs
SIGDOC '90 Proceedings of the 8th annual international conference on Systems documentation
The Pan language-based editing system for integrated development
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
The physiology of PROLOG expert system inference engine
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
The Pan language-based editing system
ACM Transactions on Software Engineering and Methodology (TOSEM)
Computer-assisted microanalysis of parallel programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A plan-based approach to Prolog recursion
ACM SIGCSE Bulletin
Experimental evaluation of a generic abstract interpretation algorithm for PROLOG
ACM Transactions on Programming Languages and Systems (TOPLAS)
Combinations of abstract domains for logic programming
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type analysis of Prolog using type graphs
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Universal finiteness and satisfiability (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Computational situation theory
ACM SIGART Bulletin
On the completeness of object-creating database transformation languages
Journal of the ACM (JACM)
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Toward Constraint-Object-Oriented Development
IEEE Transactions on Software Engineering
Deriving backtracking monad transformers
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Social theory and agent architectures: prospective issues in rapid-discovery social science
Social Science Computer Review
Probabilistic inductive logic programming
Probabilistic inductive logic programming
Basic principles of learning Bayesian logic programs
Probabilistic inductive logic programming
Derived types in semantic association discovery
Journal of Intelligent Information Systems
| Hi-index | 0.02 |