Výsledky vyhľadávania - "Language Constructs and Features—data types and structures"
-
1
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: TLDI 2012 - Seventh ACM SIGPLAN Workshop on Types in Language Design and Implementation ; https://hal.science/hal-00650341 ; TLDI 2012 - Seventh ACM SIGPLAN Workshop on Types in Language Design and Implementation, Jan 2012, Philadelphia, United States
Predmety: incrementality, type checking, logical framework, ver- sion control, 3.3 [Language Constructs and Features]: Data types and structures, F.3.1 [Logics and Mean- ings of Programs]: Specifying and Verifying and Reasoning about Programs -- Logics of programs, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Geografické téma: United States
Time: Philadelphia, United States
Relation: hal-00650341; https://hal.science/hal-00650341; https://hal.science/hal-00650341/document; https://hal.science/hal-00650341/file/abstract.pdf
-
2
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: TLDI 2012 - Seventh ACM SIGPLAN Workshop on Types in Language Design and Implementation ; https://hal.science/hal-00650341 ; TLDI 2012 - Seventh ACM SIGPLAN Workshop on Types in Language Design and Implementation, Jan 2012, Philadelphia, United States
Predmety: incrementality, type checking, logical framework, ver- sion control, 3.3 [Language Constructs and Features]: Data types and structures, F.3.1 [Logics and Mean- ings of Programs]: Specifying and Verifying and Reasoning about Programs -- Logics of programs, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Geografické téma: United States
Time: Philadelphia, United States
-
3
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features—Data types and structures, Patterns General Terms Design, Performance
Popis súboru: application/pdf
-
4
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: C2.4 [Computer Communication Networks, Distributed Systems—distributed applications, D3.3 [Programming Languages, Language Constructs and Features—Data types and structures
Popis súboru: application/pdf
-
5
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features—Data types and structures, D.3.4 [Programming Languages, Processors, E.2 [Data, Data Storage Representations General Terms Languages, Design, Experimentation Keywords Binary decision diagrams, relations, language design, Java, program analysis, boolean
Popis súboru: application/pdf
-
6
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging--- symbolic execution, D.3.3 [Programming Languages, Language Constructs and Features---data types and structures, dynamic storage management, D.3.4 [Programming Languages, Processors---optimization, E.1 [Data, Data Structures---graphs, lists, trees, E.2 [Data, Data Storage
Popis súboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.2415; http://www.math.tau.ac.il/~sagiv/toplas97.ps
-
7
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—symbolic execution, D.3.3 [Programming Languages, Language Constructs and Features—data types and structures, dynamic storage management, E.1 [Data, Data Structures—graphs, lists, trees, E.2 [Data, Data Storage Representations—composite structures, linked representations, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—assertions, invariants General Terms, Algorithms, Languages, Theory, Verification Additional Key Words and Phrases, Abstract Interpretation, Verification, Concurrency, Shapeanalysis, Safety Properties, Java
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.353.6913; http://www.cs.technion.ac.il/~yahave/papers/toplas10.pdf
-
8
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, D.3.3 [Programming Languages, Language Constructs and Features—data types and structures General Terms, Embedded Systems, Actor-Oriented Design Additional Key Words and Phrases, actors, components, interfaces, type systems
Popis súboru: application/pdf
-
9
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features – data types and structures, frameworks. General Terms Algorithms, Performance, Design, Human Factors, Languages. Keywords XML, Java, translation, binding framework, metalanguage
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.379.7703; http://ecologylab.net/technicalReports/ecolabXML_TR_08_06.pdf
-
10
Autori:
Prispievatelia:
Predmety: D.3.3 [Programming Languages, Language Constructs and Features—data types and structures General Terms, Languages Additional Key Words and Phrases, Compilation, polymorphism, record calculus, type inference, type
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.1543; http://www.pllab.riec.tohoku.ac.jp/~ohori/research/toplas95.pdf
-
11
Autori:
Prispievatelia:
Zdroj: http://www.tu-chemnitz.de/phil/english/chairs/linguist/real/independent/TechPresent/texts/refs.pdf.
Predmety: Categories and Subject Descriptors, D.1.5 [Programming Techniques, Object-Oriented Pro- gramming, D.2.5 [Software Engineering, Testing and Debugging-debugging aids, D.3.3 [Programming Languages, Language Constructs and Features—data types and structures, dynamic storage management General Terms, Languages, Reliability Additional Key Words and Phrases, Dangling pointers, smart pointers
Popis súboru: application/pdf
-
12
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: D.3.3 [Programming Languages, Language Constructs and Features – data types and structures, frameworks. General Terms Design, Human Factors, Languages. Keywords XML, Java, object-oriented programming, translation, binding framework
Popis súboru: application/pdf
-
13
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors, D.3.3 [Programming Languages, Language Constructs and Features [data types and structures, inheritance] General Terms, Languages, Design
Popis súboru: application/pdf
-
14
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming-parallel programming, D.2.4 [Software Engineering, Software/Program Verification-reliability, D.3.3 [Programming Languages, Language Constructs and Features — Data types and structures, F.3.1 [Logics And Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms, Languages, Theory Additional Key Words and Phrases, Concurrent Object-Oriented Programming, Data Races, Serializability, Programming Model
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.5514; http://www.cs.purdue.edu/homes/jv/pubs/toplas12.pdf
-
15
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/program Verification—Assertion checkers, D.2.5 [Software Engineering, Testing and Debugging—symbolic execution, D.3.3 [Programming Languages, Language Constructs and Features—data types and structures, dynamic storage management, Procedures, functions and subroutines, Recursion, E.1 [Data, Data Structures—Lists, stacks and queues, Trees, E.2 [Data, Data Storage
Popis súboru: application/pdf
Nájsť tento článok vo Web of Science