• Suche: "Modular programming"

Treffer 181 - 200 von 1.123

181

A type system for higher-order modules
DREYER, Derek ; CRARY, Karl ; HARPER, Robert
Conference record of POPL® 2003: the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages®, New Orleans, Louisiana, USA, January 15-17, 2003ACM SIGPLAN notices. 38(1):236-249

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

MODULAR PROGRAMMING LANGUAGES
LASZLO BOSZORMENYI, Editor

E-Book
Zu den Favoriten
183

MAKER: Remote Control of Festo Modular Production System for Education on Programmable Logic Control (PLC) and Robotics.
Juan Song ; Sheng-Jen "Tony" Hsieh ; Sherry, Daniel M.
Proceedings of the ASEE Annual Conference & Exposition; 2017, p6325-6337, 13p

REMOTE control PROGRAMMABLE controllers EDUCATION ROBOTICS MODULAR programming
Konferenz
Zu den Favoriten
184

Visual specifications for Modular reasoning about asynchronous systems
AMLA, Nina ; EMERSON, E. Allen ; NAMJOSHI, Kedar S ; et al.
Formal techniques for networked and distributed systems - FORTE 2002 (Houston TX, 11-14 November 2002)Lecture notes in computer science. :226-242

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

Verification of Java's AbstractCollection class: A case study
HUISMAN, Marieke
MPC 2002 : mathematics of program construction (Dagstuhl Castle, 8-10 July 2002)Lecture notes in computer science. :175-194

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
186

Unit testing for CASL architectural specifications
MACHADO, Patricia D. L ; SANNELLA, Donald
MFCS 2002 : mathematical foundations of computer science (Warsaw, 26-30 August 2002)Lecture notes in computer science. :506-518

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
187

Two-level meta-reasoning in Coq
FELTY, Amy P
TPHOLs 2002 : theorem proving in higher order logics (Hampton VA, 20-23 August 2002)Lecture notes in computer science. :198-213

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

Towards a modular program derivation via fusion and tupling
CHIN, Wei-Ngan ; ZHENJIANG HU
GPCE 2002 : generative programming and component engineering (Pittsburgh PA, 6-8 October 2002)Lecture notes in computer science. :140-155

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

Programming language optimizations for modular router configurations
KOHLER, Eddie ; MORRIS, Robert ; CHEN, Benjie
ASPLOS-X: proceedings of the tenth international conference on architectural support for programming languages and operating systems, San Jose, California, USA, October 5-9, 2002Operating systems review. 36(5):251-263

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

On specification logics for algebra-coalgebra structures: Reconciling reachability and observability
CIRSTEA, Corina
FOSSACS 2002 : foundations of software science and computation structures (Grenoble, 8-12 April 2002)Lecture notes in computer science. :82-97

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

Modular typechecking for hierarchically extensible datatypes and functions
MILLSTEIN, Todd ; BLECKNER, Colin ; CHAMBERS, Craig
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP'02)ACM SIGPLAN notices. 37(9):110-122

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

Modular static program analysis
COUSOT, Patrick ; COUSOT, Radhia
CC 2002 : compiler construction (Grenoble, 8-12 April 2002)Lecture notes in computer science. :159-178

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

Modular Internet programming with cells
RINAT, Ran ; SMITH, Scott
ECOOP 2002 : object-oriented programming (Malaga, 10-14 June 2002)Lecture notes in computer science. :257-280

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

Mixin modules in a call-by-value setting
HIRSCHOWITZ, Tom ; LEROY, Xavier
Programming languages and systems (Grenoble, 8-12 April 2002)Lecture notes in computer science. :6-20

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

Forwarding in attribute grammars for modular language design
VAN WYK, Eric ; DE MOOR, Oege ; BACKHOUSE, Kevin ; et al.
CC 2002 : compiler construction (Grenoble, 8-12 April 2002)Lecture notes in computer science. :128-142

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

Composing monads using coproducts
LÜTH, Christoph ; GHANI, Neil
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP'02)ACM SIGPLAN notices. 37(9):133-143

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

Component-based synthesis of dependable embedded software
JHUMKA, Arshad ; HILLER, Martin ; SURI, Neeraj
FTRTFT 2002 : formal techniques in real-time and fault-tolerant systems (Oldenburg, 9-12 September 2002)Lecture notes in computer science. :111-128

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

A modular checker for multithreaded programs
FLANAGAN, Cormac ; QADEER, Shaz ; SESHIA, Sanjit A
CAV 2002 : computer aided verification (Copenhagen, 27-31 July 2002)Lecture notes in computer science. :180-194

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

Enabling efficient reprogramming through reduction of executable modules in networked embedded systems
WEI DONG ; CHUN CHEN ; JIAJUN BU ; et al.
Ad hoc networks. 11(1):473-489

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

Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems
SCHMIDT, Klaus Werner
IEEE transactions on systems, man, and cybernetics. Systems (Print). 43(5):1130-1140

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn... …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter