-
1Academic Journal
Συγγραφείς: Guy Golan-gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming, D.3.1 [Programming Languages, Formal Definitions and Theory, D.3.3 [Programming Languages, Language Constructs and Features—Abstract data types, Concurrent programming structures, Data types and structures Keywords Concurrency, Composition, Transactions, Data Structures, Automatic Synchronization
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.407.7801; http://www.cs.tau.ac.il/~ggolan/papers/pldi13.pdf
-
2Academic Journal
Συγγραφείς: Vincent Gramoli, Rachid Guerraoui
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Parallel programming, D.3.3 [Programming Lan- guages, Language Constructs and Features—Abstract data types, Concurrent programming structures, D.3.2 [Software Engineering, Reusable Software—Reusable libraries General Terms Algorithms, Theory, Languages, Performance Keywords Concurrency, Library 1. TRANSACTIONS FOR EXPERTS
Περιγραφή αρχείου: application/pdf
-
3Academic Journal
Συγγραφείς: Steve M. Shaner
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: ming by contract, D.3.3 [Programming Languages] Language Constructs and Features — abstract data types, classes and objects, control structures, frameworks, procedures, functions, and subroutines, F.3.1
Περιγραφή αρχείου: application/pdf
-
4Academic Journal
Συγγραφείς: Renato Cherini, Javier O. Blanco
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.1.4 [Programming Techniques, Sequential Program- ming, D.2.2 [Software Engineering, Design Tools and Techniques—Modules and interfaces, D.2.4 [Software En- gineering, Software/Program Verification—Validation, Formal methods, Correctness proofs, D.3.3 [Programming Languages, Language Constructs and Features—Abstract data types, Constraints, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Languages, Reliability, Verification Keywords separation logic
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.565.6420; http://www.cs.famaf.unc.edu.ar/~renato/sites/default/files/pubs/lreasoning.pdf
-
5Academic Journal
Συγγραφείς: Mehdi Dastani, Dirk Hobo, John-jules Ch. Meyer
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features—Abstract data types, Control structures Keywords Agent Programming Language, Cognitive Agents
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.2380; http://www.staff.science.uu.nl/~dasta101/publication/2aplAAMAS07.pdf
-
6Academic Journal
Συγγραφείς: Vincent Simonet, François Pottier
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.3.3 [Programming Languages, Language Constructs and Features—Abstract data types, Data types and structures, Patterns, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Functional constructs, Type structure General Terms, Languages, Theory
Περιγραφή αρχείου: application/pdf
-
7Academic Journal
Συγγραφείς: Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton Jones
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.3.3 [PROGRAMMINGLANGUAGES, Language Constructs and Features--abstract data types, polymorphism General Terms Languages, Theory Keywords impredicativity, higher-rank types, type inference
Περιγραφή αρχείου: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.2253; http://www.cis.upenn.edu/~dimitriv/boxy/boxy.ps
-
8Academic Journal
Συγγραφείς: Vincent Simonet, Francois Pottier
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.3.3 [Programming Languages, Language Constructs and Features---Abstract data types, Data types and structures, Patterns, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs---Functional constructs, Type structure General Terms, Languages, Theory
Περιγραφή αρχείου: application/postscript
-
9Academic Journal
Συγγραφείς: Eijiro Sumii, Benjamin C. Pierce
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Πηγή: http://basics.sjtu.edu.cn/~yuehg/popl/a bisimulation for type abstraction and recursion (2005).pdf.
Θεματικοί όροι: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features—abstract data types, F.3.3 [Logics and Mean- ings of Programs, Studies of Program Constructs—Type structure General Terms Theory, Languages Keywords Lambda-Calculus, Contextual Equivalence, Bisimulations, Logical Relations, Existential Types, Recursive Types
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.522.6406; http://basics.sjtu.edu.cn/~yuehg/popl/a bisimulation for type abstraction and recursion (2005).pdf
Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.522.6406
http://basics.sjtu.edu.cn/~yuehg/popl/a bisimulation for type abstraction and recursion (2005).pdf -
10Academic Journal
Συγγραφείς: Jens Gößner, Philip Mayer, Friedrich Steimann
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: D.3.3 [Programming Languages, Language Constructs and Features – Abstract data types, Classes and objects, Data types and structures, Frameworks, Inheritance, Patterns, Polymor- phism General Terms Measurement, Design, Experimentation, Languages. Keywords Metrics, Interfaces, JAVA, Refactorings
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.538.5480; http://www.pst.ifi.lmu.de/~mayer/papers/2004_01_PPPJ_Interface_utilization_JDK.pdf
-
11Academic Journal
Συγγραφείς: Margaret M. Burnett, Herkimer J. Gottfried
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Πηγή: ftp://ftp.cs.orst.edu/pub/burnett/TOCHI.gestures.pdf
Θεματικοί όροι: Categories and Subject Descriptors, D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.1.7 [Programming Techniques, Visual Programming, D.3.3 [Programming Languages, Language Constructs and Features—abstract data types, data types and structures, H.4.1 [Information Systems Applications, Office Automation—spreadsheets General Terms, Design, Human Factors, Languages Additional Key Words and Phrases, Direct manipulation, Forms/3, Gestures, Programming by
Περιγραφή αρχείου: application/pdf
-
12Academic Journal
Συγγραφείς: Margaret Burnett, Herkimer Gottfried
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Πηγή: ftp://ftp.cs.orst.edu/pub/burnett/tochi.gestures.ps
Θεματικοί όροι: Categories and Subject Descriptors, D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.1.7 [Programming Techniques, Visual Programming, D.3.3 [Programming Languages, Language Constructs and Features---abstract data types, Language Constructs and Features---data types
Περιγραφή αρχείου: application/postscript
-
13Academic Journal
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Languages, Language Constructs and Features – abstract data types, classes and objects, modules. General Terms Design, Reliability
Περιγραφή αρχείου: application/pdf
-
14Academic Journal
Συγγραφείς: Friedrich Steimann, Thomas Pawlitzki, Fernuniversität In Hagen, Sven Apel, Christian K ¨astner
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.3.3 [Programming Languages, Language Constructs and Features—Abstract data types, polymorphism, control structures General Terms, Design, Languages Additional Key Words and Phrases, Implicit invocation, event-driven programming, publish/ subscribe, aspect-oriented programming, modularity, typing Authors ’ addresses, F. Steimann and T. Pawlitzki, Lehrgebiet Programmiersysteme, Fakultät
Περιγραφή αρχείου: application/pdf
-
15Academic Journal
Συγγραφείς: Steve M. Shaner, Gary T. Leavens, David A. Naumann
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: ware/Program Verification — correctness proofs, formal methods, programming by contract, D.3.3 [Programming Languages] Language Constructs and Features — abstract data types, classes and objects, control structures, frameworks, procedures, func- tions, and subroutines, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs —
Περιγραφή αρχείου: application/pdf
-
16Academic Journal
Συγγραφείς: Steve M. Shaner, Gary T. Leavens, David A. Naumann
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: ware/Program Verification — correctness proofs, formal methods, programming by contract, D.3.3 [Programming Languages] Language Constructs and Features — abstract data types, classes and objects, control structures, frameworks, procedures, func- tions, and subroutines, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs —
Περιγραφή αρχείου: application/pdf
-
17Academic Journal
Συγγραφείς: Friedrich Steimann, Thomas Pawlitzki, Fernuniversität In Hagen, Sven Apel, Universität Passau, Christian Kästner, Universität Magdeburg
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.3.3 [Programming Languages, Language Constructs and Features – abstract data types, polymorphism, control structures. General Terms, Design, Languages Additional Key Words and Phrases, implicit invocation, event-driven programming, publish/subscribe, aspect- oriented programming, modularity, typing
Περιγραφή αρχείου: application/pdf
-
18Academic Journal
Συγγραφείς: Philip Mayer
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features – abstract data types, frameworks, polymorphism. General Terms Measurement, Design, Languages Keywords interfaces, partial interfaces, context-specific interfaces, roles, OO programming, Java, metrics, tool support, refactorings
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.530.2110; http://www.pst.ifi.lmu.de/~mayer/papers/2003_01_OOPSLA_Analyzing_the_use.pdf
-
19Academic Journal
Συγγραφείς: A Catalog
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Πηγή: http://hillside.net/plop/2006/Papers/ACMConferenceProceedings/Intimacy_Gradient/a17-bachmann.pdf.
Θεματικοί όροι: D.3.3 [Programming Languages, Language Constructs and Features—Abstract Data Types, Frameworks, Polymorphism, D.4.0 [Operating Systems, General—Microsoft
Περιγραφή αρχείου: application/pdf
-
20Academic Journal
Συγγραφείς: Guy Golan-gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming, D.3.1 [Programming Languages, Formal Definitions and Theory, D.3.3 [Programming Languages, Language Constructs and Features—Abstract data types, Concurrent programming structures, Data types and structures Keywords Concurrency, Composition, Transactions, Data Structures, Automatic Synchronization
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.352.8450; http://www.cs.technion.ac.il/~yahave/papers/pldi13.pdf