Sciweavers

469 search results - page 25 / 94
» Language and library support for practical PRAM programming
Sort
View
ICSOFT
2008
15 years 2 months ago
Aria Language - Towards Agent Orientation Paradigm
As building large-scale software systems is complex, several software engineering paradigms have been devised. Agent oriented paradigm is one of the most predominant contributions...
Mohsen Lesani, Niloufar Montazeri
POPL
2006
ACM
16 years 1 months ago
A polymorphic modal type system for lisp-like multi-staged languages
This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-...
Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno
CP
2005
Springer
15 years 6 months ago
Modeling Constraint Programs with Software Technology Standards
There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP ...
Matthias Hoche, Stefan Jähnichen
WCRE
2003
IEEE
15 years 6 months ago
Toward an environment for comprehending distributed systems
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
Maher Salah, Spiros Mancoridis
WCFLP
2005
ACM
15 years 6 months ago
A generic analysis environment for declarative programs
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
Michael Hanus