9595 search results - page 100 / 1919 » Functional programming in C |
103
click to vote
JUCS
2007
15 years 2 months ago
2007
Scripting languages are used in conjuction with C code in two ways: as extension languages, where the interpreter is embedded as a library into an application; or as extensible lan...
100
click to vote
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
144
click to vote
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravari...
95
Voted
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
106
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM