Sciweavers

10622 search results - page 483 / 2125
» Python Programming Language
Sort
View
ENTCS
2007
104views more  ENTCS 2007»
15 years 6 months ago
Algorithmic Debugging of Java Programs
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
Rafael Caballero, Christian Hermanns, Herbert Kuch...
ICFP
2003
ACM
16 years 6 months ago
A theory of aspects
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...
David Walker, Steve Zdancewic, Jay Ligatti
ICLP
2009
Springer
16 years 7 months ago
Qualified Computations in Functional Logic Programming
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
Rafael Caballero, Mario Rodríguez-Artalejo,...
161
Voted
COMPSAC
2007
IEEE
16 years 1 months ago
A Virtual Machine-Based Programming Environment for Rapid Sensor Application Development
In recent years, TinyOS and nesC are gradually becoming the de facto software development platform for implementing sensor applications. However, developing sensor applications is...
Jui-Nan Lin, Jiun-Long Huang
PADL
2005
Springer
16 years 4 days ago
Safe Programming with Pointers Through Stateful Views
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...
Dengping Zhu, Hongwei Xi