Sciweavers

7124 search results - page 194 / 1425
» Programming Languages and Operating Systems
Sort
View
HASKELL
2009
ACM
16 years 1 months ago
Types are calling conventions
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
Maximilian C. Bolingbroke, Simon L. Peyton Jones
FDL
2006
IEEE
15 years 10 months ago
System Description Aspects as Syntactic Sugar
Many different system description and specification languages are used in modern design flows to emphasize different aspects like modular architecture, multibehavior, abstract act...
Jens Brandt, Klaus Schneider
CASES
2006
ACM
16 years 15 days ago
Syntax-driven implementation of software programming language control constructs and expressions on FPGAs
This paper considers the efficient parallel implementation of control constructs and expressions written in a common software programming language and synthesised to FPGA platform...
Neil C. Audsley, Michael Ward
ATAL
2003
Springer
15 years 11 months ago
Programming agent deliberation: an approach illustrated using the 3APL language
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
Mehdi Dastani, Frank S. de Boer, Frank Dignum, Joh...
PLDI
2005
ACM
16 years 2 days ago
Essential language support for generic programming
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
Jeremy G. Siek, Andrew Lumsdaine