Sciweavers

4743 search results - page 374 / 949
» Introduction to Functional Programming
Sort
View
SIGPLAN
2002
15 years 6 months ago
An embedded language approach to teaching hardware compilation
This paper describes a course in hardware description and synthesis (hardware compilation), taught as an introductory graduate course at Chalmers University of Technology, and as a...
Koen Claessen, Gordon J. Pace
HASKELL
2009
ACM
16 years 1 months ago
Type-safe observable sharing in Haskell
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...
Andy Gill
SCAM
2003
IEEE
16 years 13 hour ago
CPP Denotational Semantics
This paper shows that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files a...
Jean-Marie Favre
IFL
2001
Springer
15 years 11 months ago
Runtime Behavior of Conversion Interpretation of Subtyping
A programming language with subtyping can be translated into a language without subtyping by inserting conversion functions. Previous studies of this interpretation showed only the...
Yasuhiko Minamide
ICSM
1998
IEEE
15 years 11 months ago
Reengineering Object-Oriented Code
In this paper, we describe the reengineering of a deteriorated object-oriented industrial program written in C++. The main problem of the program was misplaced code, most often fu...
Richard Fanta, Václav Rajlich