Sciweavers

10666 search results - page 213 / 2134
» Quantum programming languages
Sort
View
IWFM
1998
134views Formal Methods» more  IWFM 1998»
14 years 4 days 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
ICFP
2008
ACM
14 years 10 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
ECOOP
2007
Springer
14 years 5 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
SIGCSE
2006
ACM
146views Education» more  SIGCSE 2006»
14 years 4 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
ATAL
2007
Springer
14 years 5 months ago
Practical extensions in agent programming languages
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer