2859 search results - page 274 / 572 » A Programming Environment for Bousi-Prolog |
165
click to vote
TPHOL
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
193
click to vote
WCRE
2007
IEEE
16 years 28 days ago
2007
IEEE
The notion of functional or modular dependency is fundamental to understand the architecture and inner workings of any software system. In this paper, we propose to extend that no...
199
click to vote
EUROSYS
2010
ACM
16 years 24 days ago
2010
ACM
The mainstream adoption of cluster, grid, and most recently cloud computing models have broadened the applicability of parallel programming from scientific communities to
the bus...
155
click to vote
PEPM
2007
ACM
16 years 23 days ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
168
click to vote
ICALT
2006
IEEE
16 years 21 days ago
2006
IEEE
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. An agency app...