6149 search results - page 148 / 1230 » Revealing the programming process |
135
Voted
ICFP
1999
ACM
15 years 5 months ago
1999
ACM
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
193
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiat...
113
Voted
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
Speed and Accuracy of programming large floating gate array is limited by precision of current measurement and pulse generator. In this paper a novel floating gate programming m...
114
Voted
DSS
2006
15 years 26 days ago
2006
Inspired by the way SAP R/3 and other transactional information systems log events, we focus on the problem to decide whether a process model and a frequency profile "fit"...