Search Results - Languages Keywords Relaxed MultiJava

Relaxed MultiJava: Balancing . . .

Authors: Todd Millstein The Pennsylvania State University CiteSeerX Archives

Contributors: Todd Millstein The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.ucla.edu/~todd/research/oopsla03.pdf.

Subject Terms: Algorithms, Design, Languages Keywords Relaxed MultiJava, Balancing Extensibility and Modular Typechecking

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.4827; http://www.cs.ucla.edu/~todd/research/oopsla03.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.4827
http://www.cs.ucla.edu/~todd/research/oopsla03.pdf

Programming Languages and Systems

Authors: Amal Ahmed

Resource Type: eBook.

Subjects: Programming languages (Electronic computers), Computer organization, Computer science, Computers

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

JavaGI: The Interaction of Type Classes with Interfaces and Inheritance.

Authors: Wehr, Stefan Thiemann, Peter

Source: ACM Transactions on Programming Languages & Systems; Jul2011, Vol. 33 Issue 4, p12:1-12:83, 83p

Subject Terms: JAVA programming language, COMPUTER interfaces, BINARY-coded decimal system, COMPILERS (Computer programs), CODE generators, COMPUTER software

JavaGI: Generalized Interfaces for Java.

Authors: Wehr, Stefan Lämmel, Ralf Thiemann, Peter

Source: Ecoop 2007 - Object-oriented Programming; 2007, p347-372, 26p

Join Point Interfaces for Safe and Flexible Decoupling of Aspects.

Authors: BODDEN, ERIC TANTER, ÉRIC INOSTROZA, MILTON

Source: ACM Transactions on Software Engineering & Methodology; Feb2014, Vol. 23 Issue 1, p7:1-7:41, 41p

Subject Terms: ASPECT-oriented programming, MATHEMATICAL decoupling, PREDICATE calculus, MODULAR design, OPEN source software, SEMANTICS

Programming Languages and Systems

Authors: Xinyu Feng Sungwoo Park

Resource Type: eBook.

Subjects: Compilers (Computer programs), Software engineering, Computer science, Machine theory

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General

Software Language Engineering

Authors: Martin Erwig Richard F. Paige Eric Van Wyk

Resource Type: eBook.

Subjects: Compilers (Computer programs), Software engineering, Machine theory, Artificial intelligence, Computer simulation, Electronic data processing—Management

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Simulation

Programming Languages and Systems

Authors: Chung-chien Shan

Resource Type: eBook.

Subjects: Compilers (Computer programs), Software engineering, Computer science, Machine theory

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General

Software Language Engineering

Authors: Krzysztof Czarnecki Görel Hedin

Resource Type: eBook.

Subjects: Compilers (Computer programs), Software engineering, Machine theory, Artificial intelligence, Computer simulation, Electronic data processing—Management

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Simulation

Modular Programming Languages

Authors: David Lightfoot Clemens Szyperski

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Modular programming--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Operating Systems / General, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Model Driven Engineering Languages and Systems

Authors: Andy Schürr Bran V. Selic

Resource Type: eBook.

Subjects: Denver (Colo., 2009), Kongress, Computer software--Development--Congresses, UML (Computer science)--Congresses, Modellgetriebene Entwicklung--Formale Methode --, Modellgetriebene Entwicklung--Metamodell--Entw, Modellgetriebene Entwicklung--UML--Denver , Modelltransformation--Denver --Ko, Systementwicklung--Modellgetriebene Entwicklung, Entwurfssprache

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, COMPUTERS / User Interfaces, COMPUTERS / Human-Computer Interaction (HCI)

The Logic of Software. A Tasting Menu of Formal Methods

Authors: Wolfgang Ahrendt Bernhard Beckert Richard Bubel et al.

Resource Type: eBook.

Subjects: Software engineering, Computer engineering, Computer networks, Computer science

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

ECOOP 2012 -- Object-Oriented Programming

Authors: James Noble

Resource Type: eBook.

Subjects: Computer programming, Software engineering, Compilers (Computer programs), Computer science, Machine theory, Computer networks

Categories: COMPUTERS / Programming / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General

Langages et Modèles à Objets : LMO'05 (L'Objet logiciel, bases de données, réseaux RSTI série l'Objet Vol. 11 N° 1-2/2005)

Authors: NIERSTRASZ Oscar HUCHARD Marianne DUCASSE Stéphane

Resource Type: eBook.

Categories: COMPUTERS / Languages / General

ECOOP 2013 -- Object-Oriented Programming

Authors: Giuseppe Castagna

Resource Type: eBook.

Subjects: Computer programming, Software engineering, Compilers (Computer programs), Computer science, Machine theory, Computer networks

Categories: COMPUTERS / Programming / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General

Transactions on Aspect-Oriented Software Development IX

Authors: Gary T. Leavens Shigeru Chiba Michael Haupt et al.

Resource Type: eBook.

Subjects: Software engineering, Compilers (Computer programs), Computer science, Computer programming, Computer simulation, Electronic data processing—Management

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Management Information Systems, COMPUTERS / Programming / General, COMPUTERS / Computer Simulation

ECOOP - Object-Oriented Programming

Authors: Erik Ernst

Resource Type: eBook.

Subjects: Object-oriented programming (Computer science)--Congresses, Object-oriented methods (Computer science)--Congresses

Categories: COMPUTERS / Programming / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Management Information Systems, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General

Certified Programs and Proofs

Authors: Jean-Pierre Jouannaud Zhong Shao

Resource Type: eBook.

Subjects: Computer industry--Certification--Congresses, Electronic data processing personnel--Certificat

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Algebra / General

ECOOP 2006 - Object-Oriented Programming

Authors: Dave Thomas

Resource Type: eBook.

Subjects: Object-oriented programming (Computer science)--Congresses, Object-oriented methods (Computer science)--Congresses

Categories: COMPUTERS / Programming / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Management Information Systems, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General

Transactions on Aspect-Oriented Software Development I

Authors: Awais Rashid Mehmet Aksit

Resource Type: eBook.

Subjects: Computer software--Development, Object-oriented programming (Computer science)

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Open Source