|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 29071 occurrences of 10331 keywords
|
|
|
Results
Found 35342 publication records. Showing 35342 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno |
A polymorphic modal type system for lisp-like multi-staged languages. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
let-polymorphism, modal types, multi-staged languages, polymorphic types, quasi-quotation, record type, type systems, lisp, ML, scheme, type inference |
21 | Yi Lu 0003, John Potter |
Protecting representation with effect encapsulation. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
object encapsulation, representation exposure, types, ownership types, effect systems |
21 | DeLesley Hutchins |
The power of symmetry: unifying inheritance and generative programming. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
covariant specialization, generative components, mixin layers, virtual types, aspect-oriented programming, prototypes, code generation, generative programming, partial evaluation, aspects, meta-programming, parametric polymorphism, multiple inheritance, mixins, transformation systems, virtual classes, generic types, join points |
21 | Derek Dreyer, Karl Crary, Robert Harper 0001 |
A type system for higher-order modules. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
modularity, generativity, abstract data types, type theory, computational effects, singleton types, functors |
21 | Nikos A. Lorentzos |
DBMS Support for Nonmetric Measurement Systems. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
units (measurement), nonmetric measurement systems, numeric data types, nonnumeric measurement system, generic data type is, composite number, data structures, database management systems, DBMS, temporal databases, temporal databases, abstract data types, precision, arithmetic, arithmetic operations, integrity checking |
21 | Xue-Miao Lu, Tharam S. Dillon |
An Algebraic Theory of Object-Oriented Systems. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
net objects, complex database models, formal specification, object-oriented programming, object-oriented programming, object-oriented databases, polymorphism, abstract data types, abstract data types, algebraic specification, object-oriented systems, multiple inheritance, object-oriented paradigms, nested relations, hierarchical approach, algebraic theory |
21 | Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul N. Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf |
Validating The Utility Of Abstraction Techniques. |
ACM Annual Conference (1) |
1978 |
DBLP DOI BibTeX RDF |
Abstraction and representation, Verification, Formal specification, Validation, Programming languages, Correctness, Types, Abstract data types, Encapsulation, Programming methodology, Proofs of correctness, Modular decomposition |
21 | James McKinna |
Why dependent types matter. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Anne H. H. Ngu, David Buttler, Terence Critchlow |
Automatic Generation of Data Types for Classification of Deep Web Sources. |
DILS |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Francis Jeffry Pelletier, Renee Elio |
Enumerating the Preconditions of Agent Message Types. |
AI |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Kresten Krab Thorup, Mads Torgersen |
Unifying Genericity - Combining the Benefits of Virtual Types and Parameterized Classes. |
ECOOP |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Martin Andersson, Tuomas Sandholm |
Sequencing of Contract Types for Anytime Task Reallocation. |
AMET |
1998 |
DBLP DOI BibTeX RDF |
Multiagent systems, Negotiation, Contracting, Task allocation, Performance profiles |
21 | Joseph E. Beck, Jack Mostow |
How Who Should Practice: Using Learning Decomposition to Evaluate the Efficacy of Different Types of Practice for Different Types of Students. |
Intelligent Tutoring Systems |
2008 |
DBLP DOI BibTeX RDF |
learning decomposition, bottom-up processing, learning curves, educational data mining |
21 | Paulo Sérgio Almeida |
Balloon Types: Controlling Sharing of State in Data Types. |
ECOOP |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Franck Binard, Amy P. Felty |
An abstraction-based genetic programming system. |
GECCO (Companion) |
2007 |
DBLP DOI BibTeX RDF |
genetic programming, polymorphism, types, lambda calculus |
20 | Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn |
Simple unification-based type inference for GADTs. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
type inference, generalized algebraic data types |
20 | Brian E. Weinrich, Markus Schneider 0001 |
Use of rational numbers in the design of robust geometric primitives for three-dimensional spatial database systems. |
GIS |
2005 |
DBLP DOI BibTeX RDF |
3D spatial data types, GIS, spatial database, geometric primitives, rational numbers, discrete model |
20 | Lijie Wen, Jianmin Wang 0001, Wil M. P. van der Aalst, Biqing Huang, Jiaguang Sun 0001 |
A novel approach for process mining based on event types. |
J. Intell. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Event types, WF-nets, DWF-nets, Data mining, Petri nets, Process mining, Workflow mining |
20 | Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary |
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination |
20 | Jim Jiunde Lee, Chih-Yi Chao |
The Effects of Quest Types and Gaming Motivations on Players' Knowledge Acquisitions in an Online Role-Playing Game Environment. |
HCI (4) |
2009 |
DBLP DOI BibTeX RDF |
Online Role-Playing Games, Quest Types, Gaming Motivations, Declarative Knowledge, Procedural Knowledge |
20 | Neil Sculthorpe, Henrik Nilsson |
Safe functional reactive programming through dependent types. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
DSELS, FRP, synchronous data-flow, functional programming, domain-specific languages, dependent types, reactive programming |
20 | Victoria Sakhnini, Orit Hazzan |
Reducing Abstraction in High School Computer Science Education: The Case of Definition, Implementation, and Use of Abstract Data Types. |
ACM J. Educ. Resour. Comput. |
2008 |
DBLP DOI BibTeX RDF |
reducing abstraction, abstraction, computer science education, problem solving, abstract data types |
20 | Krzysztof Janowicz, Carsten Keßler, Ilija Panov, Marc Wilkes, Martin Espeter, Mirco Schwarz |
A Study on the Cognitive Plausibility of SIM-DL Similarity Rankings for Geographic Feature Types. |
AGILE Conf. |
2008 |
DBLP DOI BibTeX RDF |
SIM-DL, geographic feature types, similarity measurement, Web Ontology Language |
20 | Franck Binard, Amy P. Felty |
Genetic programming with polymorphic types and higher-order functions. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
genetic programming, polymorphism, types, lambda calculus |
20 | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
Bounded Relational Analysis of Free Data Types. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
SAT checking, model checking, verification, formal methods, theorem proving, First-order logic, abstract data types |
20 | Marie-Laure Ryan |
Interactive Narrative, Plot Types, and Interpersonal Relations. |
ICIDS |
2008 |
DBLP DOI BibTeX RDF |
design of interactive narrative, user role, plot types, epic plot, epistemic plot, dramatic plot, interpersonal relations, ludic immersion, narrative immersion, computer games, Interactive narrative, agency |
20 | Matthias Kunzelmann, Juho Mäkiö |
Innovative order types as success factors in stock exchange competition. |
Inf. Syst. E Bus. Manag. |
2007 |
DBLP DOI BibTeX RDF |
Exchange competition, Generic trading system, Order types, Market engineering |
20 | Manuel Fähndrich, Songtao Xia |
Establishing object invariants with delayed types. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
non-null types, object invariants, initialization |
20 | Eli Mayfield, John Kyle Roth, Daniel Selifonov, Nathan Dahlberg, Elena Machkasova |
Optimizing java programs using generic types. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
java, specialization, generic types |
20 | Dariusz Kusmierek |
The Inhabitation Problem for Rank Two Intersection Types. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
type inhabitation problem, lambda calculus, intersection types, alternating Turing machine |
20 | Penny Drennan, Dominique A. Keeffe |
Virtual Consumption: Using Player Types to Explore Virtual Consumer Behavior. |
ICEC |
2007 |
DBLP DOI BibTeX RDF |
player types, virtual consumption, consumer behavior |
20 | Nuno Cardoso, Mário J. Silva |
Query expansion through geographical feature types. |
GIR |
2007 |
DBLP DOI BibTeX RDF |
feature types, geographical relevance, query parsing, ontologies, query expansion, features, geographical IR |
20 | Lucas Layman, Travis Cornwell, Laurie A. Williams |
Personality types, learning styles, and an agile approach to software engineering education. |
SIGCSE |
2006 |
DBLP DOI BibTeX RDF |
software engineering education, agile methods, learning styles, personality types |
20 | Andrew Kennedy, Claudio V. Russo |
Generalized algebraic data types and object-oriented programming. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
constraints, generics, generalized algebraic data types |
20 | James Canning, William Moloney, Ali Rafieymehr, Demetrio Rey |
Reading types in C using the right left walk method. |
ACM SIGCSE Bull. |
2004 |
DBLP DOI BibTeX RDF |
C declarators, object type, verbalizing C types, verbalizing a declarator |
20 | Marcelo P. Fiore |
Isomorphisms of generic recursive polynomial types. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
Gröbner bases, type isomorphism, data structure, type theory, recursive types, word problem, semigroups, rigs |
20 | William Van Lepthien, Kenneth M. Anderson |
Unifying structure, behavior, and data with themis types and templates. |
Hypertext |
2004 |
DBLP DOI BibTeX RDF |
Themis, types, templates, structural computing, Chimera |
20 | Manuel Fähndrich, K. Rustan M. Leino |
Declaring and checking non-null types in an object-oriented language. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
non-null types, null references, Java, type system, c# |
20 | Vincent Simonet |
An extension of HM(X) with bounded existential and universal data-types. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
existential and universal data-types, structural subtyping, constraint-based type inference |
20 | Manuel Fähndrich, Robert DeLine |
Adoption and Focus: Practical Linear Types for Imperative Programming. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
heap aliasing, linear types, region-based memory management |
20 | Thorsten Altenkirch, Bernhard Reus |
Monadic Presentations of Lambda Terms Using Generalized Inductive Types. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
inductive types, Type Theory, category theory, ?-calculus |
20 | Hirotaka Sakasegawa, Takeshi Kawashima |
On the equivalence of three types of blocking in non-Markovian tandem queues. |
Queueing Syst. Theory Appl. |
1994 |
DBLP DOI BibTeX RDF |
blocking types, general service times, Tandem queues, sample path analysis |
20 | Jeannette M. Wing |
Verifying Atomic Data Types. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
fault-tolerance, distributed systems, program verification, transactions, Atomicity, abstract data types |
20 | P. A. Subrahmanyam |
Nondeterminism in Abstract Data Types. |
ICALP |
1981 |
DBLP DOI BibTeX RDF |
nondeterministic operations, extraction equivalence, observable behavior, implementations, correctness, abstract data types, nondeterminism |
20 | Bengt Nordstrüm |
Assignments and high level data types. |
ACM Annual Conference (2) |
1978 |
DBLP DOI BibTeX RDF |
Adress, Mathematical semantics, Assignment, Data types, Pointers |
19 | A. Del Río, Luis Javier Hernández-Paricio, María Teresa Rivas Rodríguez |
S-types of Global Towers of Spaces and Exterior Spaces. |
Appl. Categorical Struct. |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 55Q57, 55Q70, 54A05 |
19 | Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca |
Intersection, Universally Quantified, and Reference Types. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Amal J. Ahmed 0001 |
Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Shawn Bowers, Bertram Ludäscher |
Towards Automatic Generation of Semantic Types in Scientific Workflows. |
WISE Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Friedrich Mayer-Lindenberg |
A Management Scheme for the Basic Types in High Level Languages. |
SOFSEM |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Jordi Cabot, Antoni Olivé, Ernest Teniente |
Entity Types Derived by Symbol-Generating Rules. |
ER |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Vladimir Gapeyev, Benjamin C. Pierce |
Regular Object Types. |
ECOOP |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Davide Sangiorgi |
Taming Mobile Processes Using Types. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Joe B. Wells, Christian Haack |
Branching Types. |
ESOP |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Atsushi Igarashi, Benjamin C. Pierce |
Foundations for Virtual Types. |
ECOOP |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Jens Palsberg, Scott F. Smith 0001 |
Constrained Types and Their Expressiveness. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
constraints |
19 | Alexander Aiken, Edward L. Wimmers, T. K. Lakshman |
Soft Typing with Conditional Types. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
19 | David Aspinall 0001 |
Subtyping with Singleton Types. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Malcolm P. Atkinson 0001, Philippe Richard, Philip W. Trinder |
Bulk Types for Large Scale Programming. |
East/West Database Workshop |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Mark A. Sheldon, David K. Gifford |
Static Dependent Types for First Class Modules. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
LISP |
19 | Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman |
Empty Types in Polymorphic Lambda Calculus. |
POPL |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Alan J. Demers, James E. Donahue |
Data Types, Parameters, and Type Checking. |
POPL |
1980 |
DBLP DOI BibTeX RDF |
|
19 | Chuan-Kai Lin, Tim Sheard |
Pointwise generalized algebraic data types. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
pointwise baseline, pointwise unification, pointwise unifier, gadts |
19 | Matthias Felleisen |
Adding types to untyped languages. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
software contracts, type systems, scheme |
19 | Sami Serola |
City planners' information seeking behavior: information channels used and information types needed in varying types of perceived work tasks. |
IIiX |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Ken-etsu Fujita |
Galois Embedding from Polymorphic Types into Existential Types. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Erik Poll, Jan Zwanenburg |
A Logic for Abstract Data Types as Existential Types. |
TLCA |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Dewi Mairiza, Didar Zowghi, Nur Nurmuliani |
An investigation into the notion of non-functional requirements. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
type of system, classification, types, non-functional requirements, application domain |
18 | Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, Jan Vitek |
Integrating typed and untyped code in a scripting language. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
compilers, semantics, object-orientation, types |
18 | José A. Blakeley, Vineet Rao, Isaac Kunen, Adam Prout, Mat Henaire, Christian Kleinerman |
.NET database programmability and extensibility in microsoft SQL server. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
server programming, extensibility, abstract data types |
18 | Xuanhui Wang, Jian-Tao Sun, Zheng Chen 0001 |
Shine: search heterogeneous interrelated entities. |
CIKM |
2007 |
DBLP DOI BibTeX RDF |
heterogeneous interrelated entities, multiple types, shine, search |
18 | Giuseppe Castagna, Alain Frisch |
A gentle introduction to semantic subtyping. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
negation types, typing, subtyping, intersection, union |
18 | Morten Rhiger |
A foundation for embedded languages. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
phantom types, Haskell, completeness, Standard ML, type safety, higher-order abstract syntax, Embedded languages, type soundness |
18 | Matthew Hennessy, James Riely |
Information flow vs. resource access in the asynchronous pi-calculus. |
ACM Trans. Program. Lang. Syst. |
2002 |
DBLP DOI BibTeX RDF |
Distributed process language, I/O subtyping, may testing, security types, security, information flow, pi-calculus, noninterference |
18 | Alexandra Poulovassilis, Mark Levene |
A Nested-Graph Model for the Representation and Manipulation of Complex Objects. |
ACM Trans. Inf. Syst. |
1994 |
DBLP DOI BibTeX RDF |
nested graph, object store, rule-based query and update language, types, complex object |
18 | Luiz Fernando Capretz, Faheem Ahmed |
Making Sense of Software Development and Personality Types. |
IT Prof. |
2010 |
DBLP DOI BibTeX RDF |
human factors in software engineering, diversity in software development, MBTI, IT workforce, software psychology, personality types |
18 | Michael Meier 0002, Michael Schmidt 0002, Fang Wei 0001, Georg Lausen |
Semantic query optimization in the presence of types. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
constraints, query optimization, types, chase |
18 | Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers |
Let should not be generalized. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
type families, haskell, type inference, type classes, generalized algebraic data types |
18 | Saugata Basu |
On the Number of Topological Types Occurring in a Parameterized Family of Arrangements. |
Discret. Comput. Geom. |
2008 |
DBLP DOI BibTeX RDF |
O-minimal structures, Homotopy types, Arrangements, Combinatorial complexity |
18 | Yi Zhang, Zongbin Li, Jikong Wang |
Hierarchical Reasoning Model of Tolerance Information and Its Using in Reasoning Technique of Geometric Tolerance Types. |
ICIRA (2) |
2008 |
DBLP DOI BibTeX RDF |
Tolerance information, Reasoning model, Polychromatic sets, Tolerance types |
18 | Stefan Wagner 0001 |
Defect classification and defect types revisited. |
DEFECTS |
2008 |
DBLP DOI BibTeX RDF |
defect taxonomy, defect types, faults, defects, bugs, defect classification |
18 | Vincent Simonet, François Pottier |
A constraint-based approach to guarded algebraic data types. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
GADTs, Generalized algebraic data types, constraint-based type inference |
18 | Azamatbek Mametjanov |
Types and program transformations. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
transformations, types, type-checking |
18 | Andrzej Filinski, Kristian Støvring |
Inductive reasoning about effectful data types. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
abstract effects, streams, monads, backtracking, logical relations, recursive types, equational reasoning |
18 | Nick Benton, Peter Buchlovsky |
Semantics of an effect analysis for exceptions. |
TLDI |
2007 |
DBLP DOI BibTeX RDF |
partial equivalence relations, program analysis, types, optimizing compilation, exceptions, denotational semantics, effect systems |
18 | Pradeep Kumar |
Modal logic & ownership types: uniting three worlds. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
split-objects, modal logic, roles, delegation, ownership types, dynamic binding, ownership transfer |
18 | Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck |
Type-based verification of assembly language for compiler debugging. |
TLDI |
2005 |
DBLP DOI BibTeX RDF |
abstract interpretation, dependent types, bytecode verification, certified compilation, assembly code |
18 | Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani |
Types for path correctness of XML queries. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
XML types, XML queries, type correctness |
18 | Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper 0001, Perry Cheng |
Typed compilation of recursive datatypes. |
TLDI |
2003 |
DBLP DOI BibTeX RDF |
typed compilation, standard ML, recursive types, coercions |
18 | Naoki Kobayashi 0001 |
Time regions and effects for resource usage analysis. |
TLDI |
2003 |
DBLP DOI BibTeX RDF |
program analysis, types, effects, resource usage |
18 | Dan Grossman |
Type-safe multithreading in cyclone. |
TLDI |
2003 |
DBLP DOI BibTeX RDF |
types, data races, cyclone |
18 | James Milton, Anastasia Garbi |
Error Types in the Computer-Aided Translation of Tourism Texts. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
error types, computer aided translation, tourism texts, European-funded project, MLIS programm, computer-driven translation package, formulaic language, tourism brochures, translation equivalence, sentence level, multilanguage format, computer translators, interlanguage equivalence, translation packages, language translation, business communication, MIS |
18 | Sang Hyuk Son |
An Adaptive Checkpointing Scheme for Distributed Databases with Mixed Types of Transactions. |
IEEE Trans. Knowl. Data Eng. |
1989 |
DBLP DOI BibTeX RDF |
adaptive checkpointing scheme, mixed types of transactions, distributed databases, distributed databases, transaction processing |
18 | William E. Weihl |
Commutativity-Based Concurrency Control for Abstract Data Types. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
local atomicity property, dynamic atomicity, nondeterministic, recovery methods, intentions lists, undo logs, parallel processing, concurrency control, abstract data types, serializability, commutativity, concurrency algorithms, partial |
18 | David K. Probst, Hon Fung Li |
Abstract Specification of Synchronous Data Types for VLSI and Proving the Correctness of Systolic Network Implementations. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
correctness proving, abstract specification, synchronous data types, systolic network implementations, Parnas trace method, VLSI, VLSI, data structures, data flow, control flow, cellular arrays, software modules |
17 | Martin Plümicke |
Typeless programming in Java 5.0 with wildcards. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
program design and implementation, code generation, type system, type inference, language design |
17 | Peter V. Homeier |
A Design Structure for Higher Order Quotients. |
TPHOLs |
2005 |
DBLP DOI BibTeX RDF |
|
17 | J. Philip Benkard |
Functions and data can dance as equal partners. |
APL |
1999 |
DBLP DOI BibTeX RDF |
APL |
17 | C. Faure |
A Meta Simplifier. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Erik Meineche Schmidt, Michael I. Schwartzbach |
An Imperative Type Hierarchy with Partial Products. |
MFCS |
1989 |
DBLP DOI BibTeX RDF |
|
|
|