Sciweavers

5415 search results - page 279 / 1083
» The Implementation of Functional Programming Languages
Sort
View
ARTS
1997
Springer
15 years 5 months ago
PLC-Automata: A New Class of Implementable Real-Time Automata
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
Henning Dierks
CLIMA
2010
15 years 2 months ago
An Agent Language with Destructive Assignment and Model-Theoretic Semantics
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
Robert A. Kowalski, Fariba Sadri
GPCE
2009
Springer
15 years 6 months ago
Algorithms for user interfaces
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
Jaakko Järvi, Mat Marcus, Sean Parent, John F...
IWMM
2009
Springer
164views Hardware» more  IWMM 2009»
15 years 8 months ago
Live heap space analysis for languages with garbage collection
The peak heap consumption of a program is the maximum size of the live data on the heap during the execution of the program, i.e., the minimum amount of heap space needed to run t...
Elvira Albert, Samir Genaim, Miguel Gómez-Z...
SPLC
2004
15 years 2 months ago
Dynamic Configuration of Software Product Lines in ArchJava
Abstract. This paper considers the use of a state-of-the-art, generalpurpose, component programming language, specifically ArchJava, to implement software product lines. Component ...
Sebastian Pavel, Jacques Noyé, Jean-Claude ...