Multi-pass execution of functional logic programs
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Expressiveness of structured document query languages based on attribute grammars
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Automated generation of electronic procedures: procedure constraint grammars
Decision Support Systems - Special issue: Formal modeling and electronic commerce
Static and Dynamic Slicing of Constraint Logic Programs
Automated Software Engineering
On proving left termination of constraint logic programs
ACM Transactions on Computational Logic (TOCL)
Learning semantic functions of attribute grammars
Nordic Journal of Computing
Proving Correctness and Completeness of Normal Programs - A Declarative Approach
Proceedings of the 17th International Conference on Logic Programming
Using Constraints in Local Proofs for CLP Debugging
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Well-Typed Logic Programs Are not Wrong
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Refinement and Property Checking in High-Level Synthesis using Attribute Grammars
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Logic Programming and Co-inductive Definitions
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
A hardware extension of the RISC microprocessor for Attribute Grammar evaluation
Proceedings of the 2004 ACM symposium on Applied computing
Classes of terminating logic programs
Theory and Practice of Logic Programming
XML and multilingual document authoring: convergent trends
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 1
An Embedded Microprocessor for Intelligent Control
Journal of Intelligent and Robotic Systems
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proving correctness and completeness of normal programs – a declarative approach
Theory and Practice of Logic Programming
Efficient reconfigurable embedded parsers
Computer Languages, Systems and Structures
On the complexity of regular-grammars with integer attributes
Journal of Computer and System Sciences
An efficient hardware implementation for AI applications
SETN'06 Proceedings of the 4th Helenic conference on Advances in Artificial Intelligence
| Hi-index | 0.00 |