• Suche: "Modular programming"

Treffer 121 - 140 von 1.123

121

PCMSolver: an Open-Source Library for Solvation Modeling
Di Remigio, Roberto ; Steindal, Arnfinn Hykkerud ; Mozgawa, Krzysztof ; et al.

VDP::Mathematics and nat... VDP::Matematikk og Natur... continuum solvation modular programming open‐source
Fachzeitschrift
Zu den Favoriten
122

Towards a formal semantics for AspectJ weaving
BELBLIDIA, Nadia ; DEBBABI, Mourad
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :155-171

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
123

The missing link : Dynamic components for ML
ROSSBERG, Andreas
Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (ICFP'06), September 18-20, 2006 - Portland, Oregon, USAACM SIGPLAN notices. 41(9):99-110

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
124

The dining philosophers problem revisited
GUTKNECHT, Jürg
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :377-382

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
125

Symbolic analysis of imperative programming languages
BURGSTALLER, Bernd ; SCHOLZ, Bernhard ; BLIEBERGER, Johann
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :172-194

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
126

Recursive modules for programming
NAKATA, Keiko ; GARRIGUE, Jacques
Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (ICFP'06), September 18-20, 2006 - Portland, Oregon, USAACM SIGPLAN notices. 41(9):74-86

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
127

Reconciling virtual classes with genericity
ERNST, Erik
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :57-72

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
128

Programming language concepts for multimedia application development
LAMPL, Oliver ; STELLNBERGER, Elmar ; BÖSZÖNNENYI, Laszlo
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :23-36

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
129

Polymorphism and separation in hoare type theory
NANEVSKI, Aleksandar ; MORRISETT, Greg ; BIRKEDAL, Lars
Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (ICFP'06), September 18-20, 2006 - Portland, Oregon, USAACM SIGPLAN notices. 41(9):62-73

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
130

Object-oriented language processing
POHJALAINEN, Pietu
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :104-115

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
131

Oberon script : A lightweight compiler and runtime system for the web
SOMMERER, Ralph
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :73-83

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
132

Nearly optimal register allocation with PBQP
HAMES, Lang ; SCHOLZ, Bernhard
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :346-361

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
133

Modules for prolog revisited
HAEMMERLE, Rémy ; FAGES, Francois
Logic programming (22nd international conference, ICLP 2006)0ICLP 2006. :41-55

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
134

Modular development of certified program verifiers with a proof assistant
CHLIPALA, Adam
Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (ICFP'06), September 18-20, 2006 - Portland, Oregon, USAACM SIGPLAN notices. 41(9):160-171

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
135

Metamodelica : A unified equation-based semantical and mathematical modeling language
POP, Adrian ; FRITZSON, Peter
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :211-229

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
136

Macros, macro calls and use of ensembles in modular answer set programming
BARAL, Chitta ; DZIFCAK, Juraj ; TAKAHASHI, Hiro
Logic programming (22nd international conference, ICLP 2006)0ICLP 2006. :376-390

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
137

Internal and external token-based synchronization in object-oriented languages
PUNTIGAM, Franz
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :251-270

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
138

Improve component-based programs with connectors
FRÖHLICH, Joachim H ; SCHWARZINGER, Manuel
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :306-325

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
139

Implicit and dynamic parameters in C++
HEINLEIN, Christian
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :37-56

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
140

Flexible type-safe linking of components for java-like languages
ANCONA, Davide ; LAGORIO, Giovanni ; ZUCCA, Elena
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :136-154

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter