Sciweavers

11022 search results - page 102 / 2205
» Programming Systems for Autonomy
Sort
View
ERSHOV
2003
Springer
15 years 10 months ago
ProgDOC - A New Program Documentation System
Though programming languages and programming styles evolve with remarkable speed today, there is no such evolution in the field of program documentation. And although there exist ...
Volker Simonis, Roland Weiss
PLILP
1994
Springer
15 years 8 months ago
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
John Field, Frank Tip
PADL
2001
Springer
15 years 9 months ago
An A-Prolog Decision Support System for the Space Shuttle
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
Monica Nogueira, Marcello Balduccini, Michael Gelf...
POPL
1989
ACM
15 years 8 months ago
The Modula-3 Type System
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
Luca Cardelli, James E. Donahue, Mick J. Jordan, B...
ICAD
2004
15 years 6 months ago
External Auditory Representations of Programs: Past, Present, and Future an Aesthetic Perspective
This paper provides a summary of previous work done in the area of external auditory representations of programs (known as program auralisation). A brief historical review is give...
Paul Vickers