Suchergebnisse - D.3.3 [Programming Languages] Language Constructs and Features — Modules
-
1
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features—Modules, packages General Terms Design, Languages Keywords C, Information Hiding, Module Systems, Type-Safety
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.3692; http://www.cs.umd.edu/~mwh/papers/cmod.pdf
-
2
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.2.4 [Software Engineering, Program Verification—class invariants, D.3.3 [Programming Languages, Language Constructs and Features—modules, packages General Terms, Languages, Theory, Verification Keywords, Separation Logic, Modularity, Resource Protection
Dateibeschreibung: application/pdf
-
3
Autoren:
Weitere Verfasser:
Schlagwörter: Information hiding, visibility, behavioral interface specification language, proof obligation, public, protected, private, client, JML language. 2006 CR Categories, D.2.1 [Software Engineering] Requirements/Specifications — Languages, D.2.4 [Software Engineering] Software/Program Verification — Assertion checkers, class invariants, correctness proofs, formal methods, programming by contract, reliability, tools, Spec, Eiffel, JML, D.3.3 [Programming Languages] Language Constructs and Features — Modules, Packages, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, invariants, logics of programs, pre- and post-conditions, specification techniques
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.166.130; http://www.sct.inf.ethz.ch/teaching/ws2006/SemSpecVer/papers/Information_Hiding_and_Visibility_in_Interface_Specifications.pdf
-
4
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.2.2 [Software Engineering, Tools and Techniques--- Modules and interfaces, D.3.3 [Programming Languages, Language Constructs and Features---Modules, packages Additional Key Words and Phrases, Modularity, compilation management
Dateibeschreibung: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.2829; http://www.cs.Princeton.edu/~appel/papers/cm.ps
-
5
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.2.1 [Software Engineering, Requirements/Specifications, D.2.2 [Software Engineering, Tools and Techniques—software libraries, D.3.3 [Programming Languages, Language Constructs and Features—modules, packages, procedures, functions, and subroutines, F.3.1 [Logics and Meanings of Programs, Specifying and
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.1506; http://www.cs.cmu.edu/%7Ewing/publications/ZaremskiWing97.pdf
-
6
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features—Modules, packages General Terms Design, Languages Keywords Objective Caml, Standard ML, signatures, interfaces, signature manipulation, programming
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.4146; http://www.eecs.harvard.edu/~govereau/signatures/els.pdf
-
7
-
8
Autoren:
Weitere Verfasser:
Schlagwörter: variants, D.3.3 [Programming Languages, Language Constructs and Features—Modules, packages, D.3.3 [Programming Langua- ges, Language Constructs and Features—Classes and inheritance General Terms Languages, Theory, Verification Keywords Separation Logic, Modularity, Resources, Abstract data types, Class- es
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.597.8752; http://www2.tcs.ifi.lmu.de/~mhofmann/appsem2/papers/parkinson.pdf
-
9
Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives
Schlagwörter: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features—Modules, packages General Terms Design, Languages Keywords C, Information Hiding, Module Systems, Type-Safety
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.4393; http://www.cs.umd.edu/~jfoster/papers/tldi07.pdf
-
10
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features—Modules, packages General Terms Languages Keywords EventCJ, Atomic and composite layers, Implicit layer activation
Dateibeschreibung: application/pdf
-
11
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.3.2 [Language Classifications, Specialized Application Languages – model transformation languages. D.3.3 [Programming Languages, Language Constructs and Features – modules, packages. D.2.13 [Reusable Software, Reusable Libraries. General Terms Design, Languages Keywords Modular translational semantics, Model-based DSLs, Separation of concerns, model transformations, Model engineering
Dateibeschreibung: application/pdf
-
12
Autoren: et al.
Quelle: ACM Transactions on Programming Languages & Systems; Nov2014, Vol. 37 Issue 1, p4:1-4:51, 51p
-
13
Autoren:
Quelle: ACM Transactions on Programming Languages & Systems; Nov2014, Vol. 37 Issue 1, p3:1-3:53, 53p
-
14
Autoren:
Quelle: ACM Transactions on Embedded Computing Systems; Jan2013, Vol. 12 Issue 1, p1-21, 21p
-
15
Autoren:
Quelle: Journal of the ACM; Nov2005, Vol. 52 Issue 6, p894-960, 67p
-
16
Autoren: et al.
Quelle: Computers in Entertainment; Dec2008, Vol. 6 Issue 4, p57-57-35, 35p, 6 Color Photographs, 3 Diagrams
Schlagwörter: SEMANTICS, VIDEO games, SIMULATION games, VIRTUAL reality, COMPUTER graphics
-
17
Autoren:
Weitere Verfasser:
Quelle: http://www-2.cs.cmu.edu/~rwh/courses/modules/papers/blume-appel99/paper.pdf.
Schlagwörter: packages General Terms, Design, Languages, Management Additional Key Words and Phrases, Compilation management, linking, modularity, modules, name visibility
Dateibeschreibung: application/pdf
Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.6421
http://www-2.cs.cmu.edu/~rwh/courses/modules/papers/blume-appel99/paper.pdf -
18
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: implicit-invocation languages, aspect-oriented programming languages, event types, event expressions, concurrent languages. CR Categories
Dateibeschreibung: application/pdf
-
19
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: concurrency, modularity, synergy CR Categories
Dateibeschreibung: application/pdf
-
20
Autoren:
Weitere Verfasser:
Schlagwörter: types and effects, concurrency, safety CR Categories, D.2.10 [Software Engineering] Design
Dateibeschreibung: application/pdf
Nájsť tento článok vo Web of Science
Full Text Finder