6201 search results - page 361 / 1241 » Implementation of Axiomatic Language |
191
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some i...
195
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Scripting languages enjoy great popularity due their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powe...
152
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
155
click to vote
AOSD
2006
ACM
16 years 24 days ago
2006
ACM
OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program’s actions (verbs) to become scatte...
130
click to vote
ASPLOS
2006
ACM
16 years 24 days ago
2006
ACM
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...