• Suche: "Modular programming"

Treffer 141 - 160 von 1.123

141

Fast profile-based partial redundancy elimination
HORSPOOL, R. Nigel ; PEREIRA, David J ; SCHOLZ, Bernhard
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :362-376

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

Event-based programming without inversion of control
HALLER, Philipp ; ODERSKY, Martin
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :4-22

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

Efficient layer activation for switching context-dependent nehavior
COSTANZA, Pascal ; HIRSCHFELD, Robert ; DE MEUTER, Wolfgang
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :84-103

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

Context-sensitive multivariant assertion checking in modular programs
PIETRZAK, Pawel ; CORREAS, Jesus ; PUEBLA, German ; et al.
Logic for programming, artificial intelligence, and reasoning (13th International conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006)0LPAR 2006. :392-406

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

Automatic object colocation based on read barriers
WIMMER, Christian ; MÖSSENBOCK, Hanspeter
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :326-345

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

Array-structured object types for mathematical programming
FRIEDRICH, Felix ; GUTKNECHT, Jürg
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :195-210

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

A new component-oriented programming language with the first-class connector
BO CHEN ; ZHOUJUN LI ; HUOWANG CHEN
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :271-286

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

A mobile agent service-oriented scripting language encoded on a process calculus
PAULINO, Hervé ; LOPES, Luis
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :383-402

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

A framework for modular linking in OO languages
MCDIRMID, Sean ; HSIEH, Wilson C ; FLATT, Matthew
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :116-135

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

A component language for structured parallel programming
BLÄSER, Luc
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :230-250

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

A component plug-in architecture for the .NET platform
WOLFINGER, Reinhard ; DHUNGANA, Deepak ; PRÄHOFER, Herbert ; et al.
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :287-305

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

A case study in concurrent programming with active objects
GLAVITSCH, Ulrike ; FREY, Thomas M
Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)0JMLC 2006. :403-414

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

MODULAR PROGRAMMING LANGUAGES
JOINT MODULAR LANGUAGES CONFERENCE (7TH: 2006:OXFORD, U.K.) ; DAVID E. LIGHTFOOT, Editor

E-Book
Zu den Favoriten
154

Symbolic computational techniques for solving games
ALUR, Rajeev ; MADHUSUDAN, P ; WONHONG NAM
International journal on software tools for technology transfer (Print). 7(2):118-128

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

PolyAML : A polymorphic aspect-oriented functional programming language
DANTAS, Daniel S ; WALKER, David ; WASHBURN, Geoffrey ; et al.
Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming (ICFP'05), September 26-28, 2005 - Tallinn, EstoniaACM SIGPLAN notices. 40(9):306-319

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

Permissive interfaces
HENZINGER, Thomas A ; JHALA, Ranjit ; MAJUMDAR, Rupak
ESEC/FSE'05 (proceedings of the joint 10th European Software engineering conference (ESEC) and the 13th ACM SIGSOFT symposium on the foundations of software engineering (FSE-13)). :31-40

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

Open modules : Modular reasoning about advice
ALDRICH, Jonathan
ECOOP 2005 : object-oriented programming (Glasgow, 25-29 July 2005)Lecture notes in computer science. :144-168

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

Micro patterns in java code
GIL, Joseph
Proceedings of the 20th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'05)ACM SIGPLAN notices. 40(10):97-116

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

Kaveri : Delivering the indus java program slicer to eclipse
JAYARAMAN, Ganeshan ; RANGANATH, Venkatesh Prasad ; HATCLIFF, John
FASE 2005 : fundamentals approaches to software engineering (Edinburgh, 4-8 April 2005)Lecture notes in computer science. :269-272

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

Extending JML for modular specification and verification of multi-threaded programs
RODRIGUEZ, Edwin ; DWYER, Matthew ; FLANAGAN, Cormac ; et al.
ECOOP 2005 : object-oriented programming (Glasgow, 25-29 July 2005)Lecture notes in computer science. :551-576

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