4370 search results - page 492 / 874 » Algebra of Logic Programming |
117
click to vote
ENTCS
2008
15 years 3 months ago
2008
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmer...
125
click to vote
ENTCS
2006
15 years 3 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
122
Voted
FTEDA
2007
15 years 3 months ago
2007
Field-Programmable Gate Arrays (FPGAs) have become one of the key digital circuit implementation media over the last decade. A crucial part of their creation lies in their archite...
240
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
116
Voted
PLPV
2010
ACM
16 years 20 days ago
2010
ACM
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...