2604 search results - page 302 / 521 » General constant expressions for system programming language... |
121
click to vote
SIGADA
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
143
click to vote
HASKELL
2008
ACM
15 years 5 months ago
2008
ACM
The quality of a programming language itself is only one component in the ability of application writers to get the job done. Programming languages can succeed or fail based on th...
103
click to vote
KI
2002
Springer
15 years 4 months ago
2002
Springer
We present an extension of state-based planning from traditional Strips to function application, allowing to express operator effects as updates. As proposed in PDDL, fluent variab...
153
click to vote
IEEEPACT
2008
IEEE
15 years 11 months ago
2008
IEEE
This work proposes and evaluates improvements to previously known algorithms for redundancy elimination. Enhanced Scalar Replacement combines two classic techniques, scalar replac...
126
Voted
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...