Sciweavers

6149 search results - page 146 / 1230
» Revealing the programming process
Sort
View
AFP
2004
Springer
117views Formal Methods» more  AFP 2004»
15 years 6 months ago
Refactoring Functional Programs
Abstract. Refactoring is the process of improving the design of existing programs without changing their functionality. These notes cover refactoring in functional languages, using...
Simon Thompson
LISA
1996
15 years 2 months ago
How to Avoid Learning Expect -or- Automating Automating Interactive Programs
: Expect is a tool for automating interactive programs. Expect is controlled by writing Tcl scripts, traditionally a manual process. This paper describes Autoexpect
Don Libes
91
Voted
COORDINATION
2007
Springer
15 years 7 months ago
Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...
John Field, Maria-Cristina V. Marinescu, Christian...
115
Voted
FORMATS
2009
Springer
15 years 7 months ago
Analyzing Real-Time Event-Driven Programs
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
Pierre Ganty, Rupak Majumdar
107
Voted
CICLING
2010
Springer
15 years 6 months ago
Integer Linear Programming for Dutch Sentence Compression
Sentence compression is a valuable task in the framework of text summarization. In this paper we compress sentences from news articles from Dutch and Flemish newspapers written in ...
Jan De Belder, Marie-Francine Moens