7342 search results - page 1365 / 1469 » Optimal Language Learning |
128
Voted
CAV
1997
Springer
15 years 5 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
163
Voted
TACAS
2000
Springer
15 years 5 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
101
click to vote
DAC
1995
ACM
15 years 5 months ago
1995
ACM
— Software components for embedded reactive real-time applications must satisfy tight code size and runtime constraints. Cooperating finite state machines provide a convenient i...
105
click to vote
HPCN
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing syste...
94
Voted
ICSE
1995
IEEE-ACM
15 years 5 months ago
1995
IEEE-ACM
Compilers and other programming environment tools derive information from the source code of programs; derived information includes compiled code, interprocedural summary informat...