Sciweavers

10871 search results - page 328 / 2175
» A stable programming language
Sort
View
GPCE
2005
Springer
16 years 6 days ago
abc: The AspectBench Compiler for AspectJ
Aspect-oriented programming (AOP) is gaining popularity as a new way of modularising cross-cutting concerns. The aspectbench compiler (abc) is a new workbench for AOP research whi...
Chris Allan, Pavel Avgustinov, Aske Simon Christen...
ECOOP
2011
Springer
14 years 6 months ago
Verifying Multi-object Invariants with Relationships
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-oriented programming languages allow the programmer to explicitly ...
Stephanie Balzer, Thomas R. Gross
ATAL
2008
Springer
15 years 8 months ago
Cognitive agents with non-monotonic reasoning
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
Peter Novák
ICESS
2004
Springer
16 years 1 days ago
Resource-Aware Programming
Abstract. Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for desig...
Walid Taha
ERLANG
2003
ACM
15 years 12 months ago
A soft-typing system for Erlang
This paper presents a soft-typing system for the programming language Erlang. The system is based on two concepts; a (forward) data flow analysis that determines upper approximat...
Sven-Olof Nyström