Sciweavers

2736 search results - page 6 / 548
» Understanding programmer language
Sort
View
ICFEM
1998
Springer
15 years 1 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
HASKELL
2008
ACM
14 years 10 months ago
Making monads first-class with template haskell
Monads as an organizing principle for programming and semantics are notoriously difficult to grasp, yet they are a central and powerraction in Haskell. This paper introduces a do...
Pericles S. Kariotis, Adam M. Procter, William L. ...
INFSOF
2002
65views more  INFSOF 2002»
14 years 9 months ago
The documentary structure of source code
Many tools designed to help programmers view and manipulate source code exploit the formal structure of the programming language. Language-based tools use information derived via ...
Michael L. Van de Vanter
EUROPLOP
2006
14 years 11 months ago
Relationship Aspect Patterns
Relationships between objects are almost as important to designs as the objects themselves. Most programming languages do not support relationships well, so programmers must imple...
David J. Pearce, James Noble