Font Size:
a
A
A
Keyword [Languages]
Result: 161 - 180 | Page: 9 of 10
161.
Methode pour la definition des langages dedies basee sur le metamodele ISO/IEC 24744
162.
Compiling imperative languages to use modern programmable graphics hardware
163.
Design recovery of a PT Pascal compiler
164.
Domain specific test case generation using higher ordered typed languages for specification
165.
On theory and applications of reuse of multiple extensible markup languages (XMLs)
166.
An Approach to Design Pattern and Anti-Pattern Detection in MOF-Based Modeling Languages
167.
Well-definedness, semantic type-checking, and type inference for database query languages
168.
Modular finite state machines for logic control: Theory, verification and applications to reconfigurable manufacturing systems
169.
A comparison of two programming languages: Java and C#
170.
Abstraction as the Key to Programming, with Issues for Software Verification in Functional Languages
171.
Elements of cyclic syntax: Agree and Merge
172.
Heterogeneous Metaprogramming
173.
Compilation Techniques for Embedded Data Parallel Languages
174.
Rapid prototyping of domain-specific languages: Applying the null-object pattern in an object-oriented compiler compiler
175.
Modeling dependencies in natural languages with latent variables
176.
Dataflow Synthesis and Verification for Parallel Object-Oriented Programming Languages
177.
Developing the distributed component of a framework for processing intensional programming languages
178.
Data mining languages for business intelligenc
179.
Formal verification of projection-based software systems
180.
Type-based specialization in a telescoping compiler for Matlab
<<First
<Prev
Next>
Last>>
Jump to
