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: 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

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

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

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

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

A Framework for Modular Linking in OO Languages.

Authors: Lightfoot, David E. Szyperski, Clemens A. McDirmid, Sean et al.

Source: Modular Programming Languages (9783540409274); 2006, p116-135, 20p

Expressive and Modular Predicate Dispatch for Java.

Authors: MILLSTEIN, TODD FROST, CHRISTOPHER RYDER, JASON et al.

Source: ACM Transactions on Programming Languages & Systems; Feb2009, Vol. 31 Issue 2, p7:1-7:54, 54p, 43 Diagrams, 2 Charts

Subject Terms: JAVA programming language, OBJECT-oriented programming, MODULAR programming, ALGORITHMS, CASE studies, EQUALITY, FUNCTIONAL programming (Computer science)

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

Object-oriented software extensions in practice.

Authors: Robbes, Romain Röthlisberger, David Tanter, Éric

Source: Empirical Software Engineering; Jun2015, Vol. 20 Issue 3, p745-782, 38p

Subject Terms: DECISION support systems, COMPUTER software, COMPUTER programming, PROGRAMMING languages, COMPUTER science

A Framework for the Checking and Refactoring of Crosscutting Concepts.

Authors: Shonle, Macneil Griswold, William G. Lerner, Sorin

Source: ACM Transactions on Software Engineering & Methodology; Jun2012, Vol. 21 Issue 3, p15:1-15:47, 47p

Subject Terms: SOFTWARE refactoring, COMPUTER programming, SOFTWARE engineering, PROGRAMMING language semantics, IDIOMS

Type safety for feature-oriented product lines.

Authors: Apel, Sven Kästner, Christian Größlinger, Armin et al.

Source: Automated Software Engineering; Sep2010, Vol. 17 Issue 3, p251-300, 50p

Subject Terms: COMPUTER software safety measures, COMPUTER software, SOFTWARE configuration management, SOURCE code, SOFTWARE engineering, COMPUTER systems, JAVA programming language

Scaling Step-Wise Refinement.

Authors: Batory, Don Sarvela, Jacob Neal Rauschmayer, Axel

Source: IEEE Transactions on Software Engineering; Jun2004, Vol. 30 Issue 6, p355-371, 17p, 3 Black and White Photographs, 9 Diagrams, 9 Charts, 1 Graph

Subject Terms: COMPUTER software development, JAVA programming language, PROGRAMMING languages, MATHEMATICAL models, OBJECT-oriented programming, COMPUTER science