|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10432 occurrences of 4161 keywords
|
|
|
Results
Found 13114 publication records. Showing 13114 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Anthony McIsaac |
A Formalization of Abstraction in LAMBDA. |
HUG |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Alan Burns 0001, Gordon Davies, Andy J. Wellings |
A Modula-2 implementation of a real-time process abstraction. |
ACM SIGPLAN Notices |
1988 |
DBLP DOI BibTeX RDF |
Modula-2 |
16 | Richard C. Waters |
Program Translation via Abstraction and Reimplementation. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
abstract understanding, reimplementation, Programmer's Apprentice, Hibol, business data processing language, PDP-11 object code, Pascal programs, data structures, data structures, compilers, knowledge based system, expert systems, Pascal, translator, program compilers, Cobol, COBOL, program interpreters |
16 | Nachum Dershowitz |
Program Abstraction and Instantiation. |
ACM Trans. Program. Lang. Syst. |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Viswanathan Santhanam, John R. Potochnik |
Data abstraction for Pascal programmers. |
AFIPS National Computer Conference |
1982 |
DBLP DOI BibTeX RDF |
|
16 | James B. Morris |
Data abstraction: A static implementation strategy. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
Generic procedure, Inline procedure, Open procedure, Programming languages, Abstract data type, Data type |
16 | Nicolas Spyratos, François Bancilhon |
Name Independence and Database Abstraction in the Relational Model. |
MFCS |
1978 |
DBLP DOI BibTeX RDF |
|
14 | Jeong-ho Ahn, Jong-Chul Yoon, In-Kwon Lee |
Depth-based Anisotropic Kuwahara Filtering. |
SIGGRAPH Posters |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Sourish Dasgupta |
A Logic-based Formalism for Pervasive Workflow. |
PerCom |
2009 |
DBLP DOI BibTeX RDF |
|
14 | László Angyal, László Lengyel, Hassan Charaf |
A Synchronizing Technique for Syntactic Model-Code Round-Trip Engineering. |
ECBS |
2008 |
DBLP DOI BibTeX RDF |
Three-way AST Differencing, AST Merging, Model-Code Synchronization, Model-Driven Development, Domain-Specific Models |
14 | Tonglaga Bao, Michael D. Jones |
Model Checking Abstract Components within Concrete Software Environments. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Shashidhar Mysore, Bita Mazloom, Banit Agrawal, Timothy Sherwood |
Understanding and visualizing full systems with data flow tomography. |
ASPLOS |
2008 |
DBLP DOI BibTeX RDF |
data flow tracking, virtual machine, tomography |
14 | Xuanhua Li, Donald Yeung |
Application-Level Correctness and its Impact on Fault Tolerance. |
HPCA |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Malkis, Andreas Podelski, Andrey Rybalchenko |
Precise Thread-Modular Verification. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Tobe Toben |
Non-interference Properties for Data-Type Reduction of Communicating Systems. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Xiaofeng Zhang 0002, William K. Cheung 0001 |
A Game Theoretic Approach to Active Distributed Data Mining. |
IAT |
2007 |
DBLP DOI BibTeX RDF |
game theory, active learning, privacy preservation, Distributed data mining |
14 | Bendik Bygstad, Bjørn Erik Munkvold |
The Significance of Member Validation in Qualitative Analysis: Experiences from a Longitudinal Case Study. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen |
The when, why and why not of the BETA programming language. |
HOPL |
2007 |
DBLP DOI BibTeX RDF |
history of programming, object-oriented programming, programming languages, object-oriented design, object-oriented modeling, object-oriented analysis |
14 | Björn Wachter, Bernd Westphal |
The Spotlight Principle. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Ball, Orna Kupferman |
Better Under-Approximation of Programs by Hiding Variables. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Harald Fecher, Michael Huth 0001 |
More Precise Partition Abstractions. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
14 | C. Maria Keet |
Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions. |
AI*IA |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre |
Modelling Remote Concurrency with Ada. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Guang Yang 0004, Xi Chen 0024, Felice Balarin, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli |
Communication and co-simulation infrastructure for heterogeneous system integration. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv |
Abstract Counterexample-Based Refinement for Powerset Domains. |
Program Analysis and Compilation |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Rogério de Lemos |
Architectural Fault Tolerance Using Exception Handling. |
WADS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Michael F. Spear, Tom Roeder, Orion Hodson, Galen C. Hunt, Steven Levi |
Solving the starting problem: device drivers as self-describing artifacts. |
EuroSys |
2006 |
DBLP DOI BibTeX RDF |
declarative configuration, dependable computing, experience with existing systems, programming language support, operating systems |
14 | Hai Huang 0011, Wei-Tek Tsai, Raymond A. Paul |
Proof Slicing with Application to Model Checking Web Services. |
ISORC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Rajagopal Rajugan, Elizabeth Chang 0001, Tharam S. Dillon, Ling Feng |
Engineering XML Solutions Using Views. |
CIT |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Brian Hackett, Radu Rugina |
Region-based shape analysis with tracked locations. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
static error detection, memory management, shape analysis, memory leaks |
14 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
The BLAST Software Verification System. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Francesco Ranzato, Francesco Tapparo |
An Abstract Interpretation Perspective on Linear vs. Branching Time. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Steffen Helke, Florian Kammüller |
Structure Preserving Data Abstractions for Statecharts. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Anthony C. J. Fox |
An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Shuvendu K. Lahiri, Randal E. Bryant |
Indexed Predicate Discovery for Unbounded System Verification. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Quentin Limbourg, Jean Vanderdonckt, Benjamin Michotte, Laurent Bouillon, Víctor López-Jaquero |
USIXML: A Language Supporting Multi-path Development of User Interfaces. |
EHCI/DS-VIS |
2004 |
DBLP DOI BibTeX RDF |
context-sensitive user interface, modality independence, multi-path development, rendering independence, model-driven architecture, development processes, user interface description language, model-to-model transformation |
14 | Asit Dan, Catalin Dumitrescu, Matei Ripeanu |
Connecting client objectives with resource capabilities: an essential component for grid service managent infrastructures. |
ICSOC |
2004 |
DBLP DOI BibTeX RDF |
management of service-level agreents, grid computing, resource managements, service oriented computing |
14 | Arend Rensink |
Canonical Graph Shapes. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Adam Donlin |
Transaction level modeling: flows and use models. |
CODES+ISSS |
2004 |
DBLP DOI BibTeX RDF |
design abstractions, use models, design flows, TLM |
14 | Fabiano Hessel, Vitor M. da Rosa, Igor M. Reis, Ricardo Planner, César A. M. Marcon, Altamiro Amadeu Susin |
Abstract RTOS Modeling for Embedded Systems. |
IEEE International Workshop on Rapid System Prototyping |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Rajesh K. Gupta 0001, Sandeep K. Shukla |
Should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation? |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Friedrich Steimann, Jens Gößner, Thomas A. Mück |
On the Key Role of Compositioning Object-Oriented Modelling. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Trong Dung Nguyen, Saori Kawasaki, Tu Bao Ho |
Discovery of Trends and States in Irregular Medical Temporal Data. |
Discovery Science |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Alan Faulkner, Suchendra M. Bhandarkar |
An Interactive Tool for Segmentation, Visualization, and Navigation of Magnetic Resonance Images. |
CBMS |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Fabio Somenzi |
The Charme of Abstract Entities. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Nadine Gergel, Shana Craft, John C. Lach |
Modeling QCA for area minimization in logic synthesis. |
ACM Great Lakes Symposium on VLSI |
2003 |
DBLP DOI BibTeX RDF |
CAD, interconnect, logic synthesis, nanotechnology, QCA |
14 | Kedar S. Namjoshi |
Lifting Temporal Proofs through Abstractions. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Bastian Pochon |
Distributed Programming for Dummies: A Shifting Transformation Technique. |
SRDS |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Masaaki Narita, Makoto Haraguchi, Yoshiaki Okubo |
Data Abstractions for Numerical Attributes in Data Mining. |
IDEAL |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Paulo Tabuada, George J. Pappas, Pedro U. Lima |
Composing Abstractions of Hybrid Systems. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Guanling Chen, David Kotz |
Context Aggregation and Dissemination in Ubiquitous Computing Systems. |
WMCSA |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Dieter Gollmann, Catherine A. Meadows, Eiji Okamoto |
Editorial. |
Int. J. Inf. Sec. |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Kalyan Moy Gupta |
Taxonomic Conversational Case-Based Reasoning. |
ICCBR |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Rainer Schmidt 0002, Lothar Gierl |
Temporal Abstractions and Case-Based Reasoning for Medical Course Data: Two Prognostic Applications. |
MLDM |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Bernd Grobauer |
Cost Recurrences for DML Programs. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
ML |
14 | Alessandro Fin, Franco Fummi, Maurizio Martignano, Mirko Signoretto |
SystemC: a homogenous environment to test embedded systems. |
CODES |
2001 |
DBLP DOI BibTeX RDF |
C++ models, embedded systems verification, functional testing |
14 | Lorenza Saitta, Jean-Daniel Zucker |
Perception-Based Granularity Levels in Concept Representation. |
ISMIS |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Tetsuya Saito, Tatsuya Hagino |
Commons: resource sharing and protection in mobile appliance OS. |
ACM SIGOPS European Workshop |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Germano Caronni, Sandeep Kumar, Christoph L. Schuba, Glenn Scott |
Virtual Enterprise Networks: The Next Generation of Secure Enterprise Networking. |
ACSAC |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Hassen Saïdi, Natarajan Shankar |
Abstract and Model Check While You Prove. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Roland Olsson 0001 |
How to Invent Functions. |
EuroGP |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Atef Bader, Tzilla Elrad |
The Adaptive Arena: Language Constructs and Architectural Abstractions for Concurrent Object-Oriented Systems. |
ICPADS |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani |
Symbolic Exploration of transition Hierarchies. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Maogang Wang, Prithviraj Banerjee, Majid Sarrafzadeh |
Potential-NRG: Placement with Incomplete Data. |
DAC |
1998 |
DBLP DOI BibTeX RDF |
congestion, global routing, quadratic placement, routing models, supply-demand, relaxed pins |
14 | Thomas Kunz, David J. Taylor, James P. Black |
Poet: Target-System-Independent Visualizations of Complex Distributed Executions. |
HICSS (1) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Christoph M. Hoffmann, Jarek Rossignac |
A Road Map To Solid Modeling. |
IEEE Trans. Vis. Comput. Graph. |
1996 |
DBLP DOI BibTeX RDF |
solid representations, conversion between solid representations, constraint-based design, Solid modeling, feature-based design |
14 | Gerda Janssens, Maurice Bruynooghe, Vincent Englebert |
Abstracting Numerical Values in CLP(H, N). |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
14 | William R. Cook |
Object-Oriented Programming Versus Abstract Data Types. |
REX Workshop |
1990 |
DBLP DOI BibTeX RDF |
higher-order procedures, object-oriented programming, typing, extensibility, abstract data type, incremental programming |
14 | Raphael A. Finkel |
Run-time Print Values. |
ACM SIGPLAN Notices |
1983 |
DBLP DOI BibTeX RDF |
|
14 | Manfred Jackel |
Context Senitive Formatting. |
ACM SIGPLAN Notices |
1983 |
DBLP DOI BibTeX RDF |
|
14 | Arol Ambler, Robert Trawick |
Chatin's Graph Coloring Algorithm as a Method for Assigning Positions to Diana Attributes. |
ACM SIGPLAN Notices |
1983 |
DBLP DOI BibTeX RDF |
|
14 | Stephen Magill, Ming-Hsien Tsai 0001, Peter Lee 0001, Yih-Kuen Tsay |
Automatic numeric abstractions for heap-manipulating programs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
abstraction, program verification, termination, shape analysis, separation logic |
14 | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
Nested interpolants. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
floyd-hoare logic, nested words, static analysis, interpolants, abstract interpretation, recursion, software model checking, abstraction refinement |
14 | Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali |
Compositional may-must program analysis: unleashing the power of alternation. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
software model checking, abstraction refinement, directed testing |
14 | Neha Rungta, Eric Mercer |
Slicing and dicing bugs in concurrent programs. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
underapproximation, concurrency, abstraction-refinement |
14 | Aditya V. Nori, Sriram K. Rajamani |
An empirical study of optimizations in YOGI. |
ICSE (1) |
2010 |
DBLP DOI BibTeX RDF |
testing, software model checking, abstraction refinement, directed testing |
14 | ByongChan Lim, Jaeha Kim, Mark A. Horowitz |
An efficient test vector generation for checking analog/mixed-signal functional models. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
linear abstraction, validation, equivalence checking, verilog, functional model, test vector, mixed-signal circuits |
14 | Yingxu Wang 0001 |
Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations. |
Trans. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
knowledge science, properties of knowledge, generic information model, formal knowledge system, LRMB, HAM, OAR, modeling, knowledge engineering, manipulation, computational intelligence, Cognitive informatics, knowledge creation, abstraction levels, acquisition, cognitive computing |
14 | Oliver Witt, Morten Grandt, Heinz Küttelwesch |
Direct Perception Displays for Military Radar-Based Air Surveillance. |
HCI (17) |
2009 |
DBLP DOI BibTeX RDF |
polar diagram, military combat direction systems, user interface, Abstraction hierarchy |
14 | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
A calculus of atomic actions. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
abstraction, concurrent programs, reduction, atomicity |
14 | Xin Qi 0012, Andrew C. Myers |
Masked types for sound object initialization. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
conditional masks, cyclic data structures, null pointer exceptions, invariants, data abstraction |
14 | Milos Blagojevic, Majid Nabi, Teun Hendriks, Twan Basten, Marc Geilen |
Fast simulation methods to predict wireless sensor network performance. |
PE-WASUN |
2009 |
DBLP DOI BibTeX RDF |
probabilistic abstraction, simulation, wireless sensor networks, performance evaluation, shortest path, monte carlo, system modeling |
14 | Jérôme Gallard, Adrien Lebre, Geoffroy Vallée, Christine Morin, Pascal Gallard, Stephen L. Scott |
Refinement Proposal of the Goldberg's Theory. |
ICA3PP |
2009 |
DBLP DOI BibTeX RDF |
Goldberg Virtualization Theory, Partionning, Abstraction, Emulation, Identity |
14 | Hai Dong, Farookh Khadeer Hussain, Elizabeth Chang 0001 |
State of the Art in Semantic Focused Crawlers. |
ICCSA (2) |
2009 |
DBLP DOI BibTeX RDF |
semantic focused crawlers, ontology-based focused crawlers, metadata abstraction focused crawlers, semantic web, focused crawlers |
14 | Toshio Kodama, Tosiyasu L. Kunii, Yoichi Seki |
WWW Business Applications Based on the Cellular Model. |
J. Comput. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
incrementally modular abstraction hierarchy, formula expression, adjunction space, presentation level, topological space, cellular space, cyberworlds |
14 | Alex Spokoiny, Yuval Shahar |
Incremental application of knowledge to continuously arriving time-oriented data. |
J. Intell. Inf. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Incremental temporal abstraction, Continuous monitoring, Complex events monitoring, Situation recognition, Temporal reasoning |
14 | Bowei Yang, Guanghua Song, Yao Zheng |
ResourceDog: A Trusted Resource Discovery and Automatic Invocation P2P Framework. |
NPC |
2008 |
DBLP DOI BibTeX RDF |
dual level DHT, resource abstraction, P2P, reputation system |
14 | Steven Crites, Francis Hsu, Hao Chen 0003 |
OMash: enabling secure web mashups via object abstractions. |
CCS |
2008 |
DBLP DOI BibTeX RDF |
object abstraction, communication, web, mashup, protection, browser, security model, same origin policy |
14 | Boris Feigin, Alan Mycroft |
Jones optimality and hardware virtualization: a report on work in progress. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
Jones optimality, virtual machines, virtualization, full abstraction |
14 | Manfred Thaller, Volker Heydegger, Jan Schnasse, Sebastian Beyl, Elona Chudobkaite |
Significant Characteristics to Abstract Content: Long Term Preservation of Information. |
ECDL |
2008 |
DBLP DOI BibTeX RDF |
File characteristics, format definition languages, data abstraction, long term preservation |
14 | Yung Bok Kim, Marie Kim, Yong Joon Lee |
COSMOS: a middleware platform for sensor networks and a u-healthcare service. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
u-healthcare, sensor network, middleware, abstraction, distributed application, platform |
14 | Sumit Mittal, Dipanjan Chakraborty 0001, Sunil Goyal, Sougata Mukherjea |
Sewnet -: a framework for creating services utilizing telecom functionality. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
web 2.0, service composition, abstraction model, telecom |
14 | Richard M. Salter, John L. Donaldson |
Using DLSim 3: a scalable, extensible, multi-level logic simulator. |
ITiCSE |
2008 |
DBLP DOI BibTeX RDF |
logic circuit simulation, abstraction, computer architecture |
14 | Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala |
Liquid types. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
hindley-milner, type inference, dependent types, predicate abstraction |
14 | Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons |
Proofs from tests. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
abstraction refinemen, software model checking, directed testing |
14 | Walter Dosch |
Coordinating Almost Synchronous Communication Streams. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
almost synchronous stream, input/output behaviour, history abstraction, Coordination, transformation, functional modeling, state transition machine |
14 | Christopher Scaffidi, Brad A. Myers, Mary Shaw |
Topes: reusable abstractions for validating data. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
validation, abstraction, data |
14 | Emanuele Danovaro, Tadas Remencius, Alberto Sillitti, Giancarlo Succi |
PKM: knowledge management tool for environments centered on the concept of the experience factory. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
metric abstraction, pkm, prom, knowledge management, gqm, experience factory, dashboard, goal question metric |
14 | Hans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis |
Introspective Forgetting. |
Australasian Conference on Artificial Intelligence |
2008 |
DBLP DOI BibTeX RDF |
action logic, abstraction, modal logic, belief change, forgetting |
14 | Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli |
Refinement preserving approximations for the design and verification of heterogeneous systems. |
Formal Methods Syst. Des. |
2007 |
DBLP DOI BibTeX RDF |
Conservative approximation, Verification, Approximation, Reuse, Refinement, Refinement, Abstraction, Abstract interpretation, Heterogeneous, Polymorphism, Preserving, Model of computation, Galois connection, Discrete time, Continuous time, Concretization |
|
|