Sciweavers

10871 search results - page 217 / 2175
» A stable programming language
Sort
View
247
Voted
LPNMR
2011
Springer
14 years 5 months ago
Communicating ASP and the Polynomial Hierarchy
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
Kim Bauters, Steven Schockaert, Dirk Vermeir, Mart...
113
Voted
IWFM
1998
134views Formal Methods» more  IWFM 1998»
15 years 3 months ago
Facilitating Modular Property-Preserving Extensions of Programming Languages
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
Claus Pahl
109
Voted
ICFP
2008
ACM
16 years 2 months ago
Experience report: playing the DSL card
This paper describes our experience using a functional language, Haskell, to build an embedded, domain-specific language (DSL) for component configuration in large-scale, real-tim...
Mark P. Jones
112
Voted
ECOOP
2007
Springer
15 years 8 months ago
A Machine Model for Aspect-Oriented Programming
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
Michael Haupt, Hans Schippers
117
Voted
SIGCSE
2006
ACM
146views Education» more  SIGCSE 2006»
15 years 8 months ago
'Programming language paradigms' instruction through designing a new paradigm
Undergraduate and master’s students enrolled in a programming language paradigms class are given the assignment to design a new programming language paradigm. The students are a...
Hilda M. Standley