Search Results - MultiJava language*

MultiJava: design, implementation, and evaluation of a Java-compatible language supporting modular open classes and symmetric multiple dispatch

Authors: Clifton, Curtis Computer Science Department of Computer Science

Contributors: Clifton, Curtis Computer Science Department of Computer Science

Subject Terms: Java language, subtyping, separate compilation, open objects, extensible classes, Computer science, multiple dispatch, static typechecking, Programming Languages and Compilers, single dispatch, Multimethods, object-oriented programming languages, encapsulation, inheritance, generic functions, external methods, MultiJava language, modularity

File Description: application/pdf

Access URL: https://dr.lib.iastate.edu/bitstreams/c3ffa794-8320-4545-8166-3e2b1b3b50ce/download

MultiJava: Design rationale, compiler implementation, and applications

Authors: Clifton, Curtis Millstein, Todd Leavens, Gary et al.

Contributors: Clifton, Curtis Millstein, Todd Leavens, Gary et al.

Source: ACM Transactions on Programming Languages and Systems. 28:517-575

Subject Terms: Extensible External Methods, Open Objects, Single Dispatch, Modularity, Open Classes, Java Language, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Augmenting Method Problem, Subtyping, Method Families, Separate Compilation, Binary Method Problem, Multimethods, 0202 electrical engineering, electronic engineering, information engineering, % so people searching on this term can find it Object-oriented Programming Languages, Inheritance, Extensible Classes, Static Typechecking, Generic Functions, Multiple Dispatch, External Methods, Programming Languages and Compilers, MultiJava Language, Expression Problem, Encapsulation

File Description: application/pdf

MultiJava: Design, implementation, and evaluation of a Java-compatible language supporting modular open classes and symmetric multiple dispatch

Authors: Clifton, Curtis Computer Science

Contributors: Clifton, Curtis Computer Science

Source: archive/lib.dr.iastate.edu/cs_techreports/304/tr01_10.pdf|||Fri Jan 14 23:28:43 UTC 2022

Subject Terms: Programming Languages and Compilers, Multimethods, generic functions, object-oriented programming languages, single dispatch, multiple dispatch, encapsulation, modularity, static typechecking, subtyping, inheritance, open objects, extensible classes, external methods, Java language, MultiJava language, separate compilation

File Description: application/pdf

Relation: archive/lib.dr.iastate.edu/cs_techreports/304/; 1303; 5498487; cs_techreports/304; https://dr.lib.iastate.edu/handle/20.500.12876/20133

Availability: https://dr.lib.iastate.edu/handle/20.500.12876/20133
https://hdl.handle.net/20.500.12876/20133

MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java

Authors: Curtis Clifton Gary T. Leavens Craig Chambers et al.

Contributors: Curtis Clifton Gary T. Leavens Craig Chambers et al.

Source: ftp://ftp.cs.iastate.edu/pub/techreports/TR00-06/TR.ps.gz

Subject Terms: Open classes, open objects, extensible classes, extensible external methods, external methods, multimethods, generic functions, object-oriented programming languages, single dispatch, multiple dispatch, encapsulation, modularity, static typechecking, subtyping, inheritance, Java language, MultiJava language, separate

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.7341

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.7341

MultiJava: Modular symmetric multiple dispatch and extensible classes for Java

Authors: Todd Millstein Curtis Clifton Gary T. Leavens et al.

Contributors: Todd Millstein Curtis Clifton Gary T. Leavens et al.

Source: http://archives.cs.iastate.edu/documents/disk0/00/00/02/14/00000214-01/TR00-06.pdf.

Subject Terms: languages, single dispatch

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.7832

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.7832
http://archives.cs.iastate.edu/documents/disk0/00/00/02/14/00000214-01/TR00-06.pdf

MultiJava: Design Rationale, Compiler Implementation, and Applications

Authors: Clifton, Curtis Millstein, Todd Leavens, Gary et al.

Contributors: Clifton, Curtis Millstein, Todd Leavens, Gary et al.

Source: archive/lib.dr.iastate.edu/cs_techreports/326/paper.pdf|||Fri Jan 14 23:36:17 UTC 2022

Subject Terms: Programming Languages and Compilers, Open Classes, Open Objects, Extensible Classes, Extensible External Methods, External Methods, Multimethods, Method Families, Generic Functions, % so people searching on this term can find it Object-oriented Programming Languages, Single Dispatch, Multiple Dispatch, Encapsulation, Modularity, Static Typechecking, Subtyping, Inheritance, Java Language, MultiJava Language, Separate Compilation, Expression Problem, Binary Method Problem, Augmenting Method Problem

File Description: application/pdf

Relation: archive/lib.dr.iastate.edu/cs_techreports/326/; 1309; 5539905; cs_techreports/326; https://dr.lib.iastate.edu/handle/20.500.12876/20156

Availability: https://dr.lib.iastate.edu/handle/20.500.12876/20156
https://hdl.handle.net/20.500.12876/20156

MultiJava: Modular Symmetric Multiple Dispatch and Extensible Classes for Java

Authors: Clifton, Curtis Leavens, Gary Chambers, Craig et al.

Contributors: Clifton, Curtis Leavens, Gary Chambers, Craig et al.

Source: archive/lib.dr.iastate.edu/cs_techreports/56/TR00_06.pdf|||Sat Jan 15 00:56:33 UTC 2022

Subject Terms: Programming Languages and Compilers, Multimethods, generic functions, object-oriented programming languages, single dispatch, multiple dispatch, encapsulation, modularity, static typechecking, subtyping, inheritance, open objects, extensible classes, external methods, Java language, MultiJava language, separate compilation

File Description: application/pdf

Relation: archive/lib.dr.iastate.edu/cs_techreports/56/; 1050; 5282208; cs_techreports/56; https://dr.lib.iastate.edu/handle/20.500.12876/20242

Availability: https://dr.lib.iastate.edu/handle/20.500.12876/20242
https://hdl.handle.net/20.500.12876/20242

Relaxed MultiJava: balancing extensibility and modular typechecking

Authors: Todd Millstein Mark Reay Craig Chambers

Source: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications. :224-240

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

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

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

Scoped Extension Methods in Dynamically-Typed Languages

Authors: Polito, Guillermo Teruel, Camille Ducasse, Stéphane et al.

Index Terms: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/1708.01679

Relaxed MultiJava ; balancing extensibility and modular typechecking

Authors: Millstein, Todd Reay, Mark Chambers, Craig

Source: Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA '03

Availability: https://doi.org/10.1145/949323.949325
https://dl.acm.org/ft_gateway.cfm?id=949325%26ftid=241402%26dwn=1

MultiJava ; modular open classes and symmetric multiple dispatch for Java

Authors: Clifton, Curtis Leavens, Gary T. Chambers, Craig et al.

Source: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications ; page 130-145

Availability: https://doi.org/10.1145/353171.353181
https://dl.acm.org/doi/10.1145/353171.353181
https://dl.acm.org/doi/pdf/10.1145/353171.353181

MultiJava: Design rationale, compiler implementation, and applications

Authors: Curtis Clifton Todd Millstein Gary T. Leavens et al.

Contributors: Curtis Clifton Todd Millstein Gary T. Leavens et al.

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

File Description: application/pdf

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

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

Taming the Merge Operator.

Authors: HUANG, XUEJING ZHAO, JINXU OLIVEIRA, BRUNO C. D. S.

Source: Journal of Functional Programming; 2021, Vol. 31 Issue 1/2, p1-67, 67p

Subject Terms: JAVASCRIPT programming language, PROGRAMMING language semantics, COMPUTER programming, COMPUTER programmers, ALGORITHMS

Compositional Language Engineering Using Generated, Extensible, Static Type-Safe Visitors.

Authors: Heim, Robert Mir Seyed Nazari, Pedram Rumpe, Bernhard et al.

Source: Modelling Foundations & Applications (9783319420608); 2016, p67-82, 16p

Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning

Authors: Clifton, Curtis Leavens, Gary Computer Science

Contributors: Clifton, Curtis Leavens, Gary Computer Science

Source: archive/lib.dr.iastate.edu/cs_techreports/328/tr02_04.pdf|||Fri Jan 14 23:36:48 UTC 2022

Subject Terms: Programming Languages and Compilers, Observers, assistants, aspect-oriented programming languages, modular reasoning, specification, composition, AspectJ language, Java language, JML language, MultiJava language

File Description: application/pdf

Relation: archive/lib.dr.iastate.edu/cs_techreports/328/; 1307; 5539884; cs_techreports/328; https://dr.lib.iastate.edu/handle/20.500.12876/20158

Availability: https://dr.lib.iastate.edu/handle/20.500.12876/20158
https://hdl.handle.net/20.500.12876/20158

DYNAMIC OVERLOADING WITH COPY SEMANTICS IN OBJECT-ORIENTED LANGUAGES: A FORMAL ACCOUNT.

Authors: BETTINI, LORENZO CAPECCHI, SARA VENNERI, BETTI

Source: RAIRO - Theoretical Informatics & Applications; 2009, Vol. 43 Issue 3, p517-565, 49p, 10 Charts

Subject Terms: SEMANTICS, COMPARATIVE linguistics, LANGUAGE & languages, INFORMATION theory, MEANING (Psychology), LEXICOLOGY, LINGUISTICS

Extending MultiJava with generics

Authors: Chen, Tongjie Department of Computer Science

Contributors: Chen, Tongjie Department of Computer Science

Subject Terms: Computer science

File Description: application/pdf

Access URL: https://dr.lib.iastate.edu/bitstreams/61d400ed-9409-4591-95ee-2608e60645be/download

Efficient Multimethods in a Single Dispatch Language.

Authors: Black, Andrew P. Foote, Brian Johnson, Ralph E. et al.

Source: ECOOP 2005 - Object-Oriented Programming; 2005, p337-361, 25p