Sciweavers

1932 search results - page 152 / 387
» A Functional Quantum Programming Language
Sort
View
WCFLP
2005
ACM
16 years 19 hour 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
PPDP
2004
Springer
15 years 11 months ago
A semantics for tracing declarative multi-paradigm programs
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
Bernd Brassel, Michael Hanus, Frank Huch, Germ&aac...
152
Voted
ENTCS
2006
166views more  ENTCS 2006»
15 years 6 months ago
Arrows, like Monads, are Monoids
Monads are by now well-established as programming construct in functional languages. Recently, the notion of "Arrow" was introduced by Hughes as an extension, not with o...
Chris Heunen, Bart Jacobs
SOCO
2010
Springer
15 years 4 months ago
Event-Specific Software Composition in Context-Oriented Programming
Context-oriented programming (COP) introduces dedicated abstractions for the modularization and dynamic composition of crosscutting context-specific functionality. While existing C...
Malte Appeltauer, Robert Hirschfeld, Hidehiko Masu...
IWPC
2006
IEEE
16 years 14 days ago
Reverse Engineering Scripting Language Extensions
Software systems are often written in more than one programming language. During development, programmers need to understand not only the dependencies among code in a particular l...
Daniel L. Moise, Kenny Wong, H. James Hoover, Daqi...